aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/typer/Checking.scala
Commit message (Expand)AuthorAgeFilesLines
* Move compiler and compiler tests to compiler dirFelix Mulder2016-11-221-557/+0
* Merge pull request #1587 from dotty-staging/change-tasty-posGuillaume Martres2016-11-041-50/+37
|\
| * Roll normalizedTree into main PostTyper transformMartin Odersky2016-10-311-51/+36
| * Don't convert to TypeTrees before picklingMartin Odersky2016-10-311-5/+7
* | Fix #1570: Allow inline parameters as inline argsMartin Odersky2016-10-141-4/+7
|/
* Merge GenericType, TypeLambda and PolyTypeMartin Odersky2016-10-121-2/+2
* Disallow singleton types in unionsMartin Odersky2016-10-111-0/+8
* Improve positions for MemberDefs using `namePos`Felix Mulder2016-10-101-4/+4
* Change owner as necessary when typing a TypedSpliceMartin Odersky2016-10-021-1/+2
* Add inline for valsMartin Odersky2016-10-021-0/+9
* Get rid of SelectFromType tree node.Martin Odersky2016-09-251-2/+0
* Merge pull request #1534 from OlivierBlanvillain/clean-up-printersFelix Mulder2016-09-231-1/+1
|\
| * Clean up config.Printers importsOlivier Blanvillain2016-09-231-1/+1
* | Fix corner case w types ALL passed by name & out of orderOlivier Blanvillain2016-09-161-1/+1
|/
* New string infterpolatorsMartin Odersky2016-08-161-19/+19
* Fix bounds checking of hk applied typedMartin Odersky2016-07-141-9/+10
* Allow hk parameters in lower boundsMartin Odersky2016-07-131-12/+0
* Make rewritings of hk applications configurableMartin Odersky2016-07-131-0/+2
* Disallow higher-kinded types that simulate general existential typesMartin Odersky2016-07-111-0/+22
* Drop Config.checkKindsMartin Odersky2016-07-111-5/+3
* Refactor handling of unpickled type paramsMartin Odersky2016-07-111-1/+4
* Refactoring of PolyType and TypeLambdaMartin Odersky2016-07-111-1/+1
* Eta-expand unapplied types that have type parametersMartin Odersky2016-07-111-1/+6
* Introduce recursive typesMartin Odersky2016-07-111-2/+6
* Allow general recursion in refined types.Martin Odersky2016-07-111-2/+2
* Fixes to checkNonCyclicMartin Odersky2016-03-301-20/+18
* Have checkNotPrivate skip over private aliases.Martin Odersky2016-03-121-21/+34
* Check that classOf gets applied to class typesMartin Odersky2016-02-201-6/+7
* Merge pull request #1066 from dotty-staging/fix-#997odersky2016-02-191-0/+40
|\
| * Merge parentsWithArgs and instantiatedParentsMartin Odersky2016-02-191-1/+1
| * Move leak detection to CheckingMartin Odersky2016-02-191-0/+40
* | Remove unused method, fix comments.Martin Odersky2016-02-191-1/+4
* | Simplify logic in matchNamedMartin Odersky2016-02-191-4/+3
* | Address reviewer commentsMartin Odersky2016-02-191-2/+2
* | Fix PostTyper normalization for named argsMartin Odersky2016-02-191-6/+4
* | Make some operations surivive partial named parameter listsMartin Odersky2016-02-191-2/+12
|/
* Big realizability refactoringMartin Odersky2016-02-091-13/+19
* Check that non-abstract classes have realizable bounds.Martin Odersky2016-02-091-0/+7
* Fix path error disgnasticsMartin Odersky2016-02-091-1/+1
* Reorganize tests to account for new typing of projectionMartin Odersky2016-02-091-5/+4
* Move realizability logic from Types to TypeOps.Martin Odersky2016-02-091-2/+2
* Realizability refactoringMartin Odersky2016-02-091-5/+15
* Check AppliedTypeTrees bounds inside AppliedTypeTreeGuillaume Martres2016-01-181-7/+10
* Check bounds everywhereMartin Odersky2016-01-181-0/+12
* Fix checkNonCyclic.Martin Odersky2016-01-161-6/+6
* Disallow hk type parameters in lower bounds.Martin Odersky2015-12-111-0/+12
* Shorten ..Class.typeRef to ..TypeMartin Odersky2015-11-091-2/+2
* Check bounds of inferred typevars in PostTyper.Martin Odersky2015-11-051-8/+7
* Remove redundant testsMartin Odersky2015-10-241-3/+1
* Avoid mutation in checkWellFormedMartin Odersky2015-10-221-4/+5
generated by cgit v1.2.3 (git 2.39.1) at 2024-04-29 08:02:40 +0000