aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/typer/Checking.scala
Commit message (Expand)AuthorAgeFilesLines
* 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
* Add well-formedness checking for created symbolsMartin Odersky2015-10-221-0/+43
* Check that some types are not higher-kinded.Martin Odersky2015-10-071-0/+13
* Matching denotations should take infos into accountMartin Odersky2015-09-291-1/+1
* Eta expand $apply projected types if neededMartin Odersky2015-09-211-12/+2
* Fill in missing #Apply projections in checkNonCyclicMartin Odersky2015-09-111-2/+18
* Merge pull request #668 from lampepfl/fix/#650-self-typesodersky2015-06-221-2/+5
|\
| * Fix checking whether types are instantiable.Martin Odersky2015-06-191-2/+5
* | Implement checking for illegal parent trait constructor calls.Martin Odersky2015-06-191-3/+11
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-18 02:51:55 +0000