aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/typer/TypeAssigner.scala
Commit message (Expand)AuthorAgeFilesLines
* Avoid reference to local bindings in Inlined nodesMartin Odersky2016-10-021-1/+7
* Get rid of SelectFromType tree node.Martin Odersky2016-09-251-3/+0
* Drop PairMartin Odersky2016-09-251-3/+0
* Swap order of elements in AnnotatedMartin Odersky2016-09-241-1/+1
* Merge pull request #1534 from OlivierBlanvillain/clean-up-printersFelix Mulder2016-09-231-5/+6
|\
| * Clean up config.Printers importsOlivier Blanvillain2016-09-231-5/+6
* | Merge pull request #1514 from OlivierBlanvillain/fix-1513odersky2016-09-161-11/+21
|\ \
| * | Fix #1513: misaligned by name type parameter type boundsOlivier Blanvillain2016-09-151-11/+21
| |/
* | fixup #1470Nicolas Stucki2016-09-051-4/+5
* | Fix #1470: Fix dynamic selection in presence of inaccessible members.Nicolas Stucki2016-09-051-2/+3
|/
* implementation of exhaustivity and redundancy checkliu fengyun2016-08-241-1/+1
* Fix to avoidance of singleton type argumentsMartin Odersky2016-08-181-1/+4
* Add clause for HKApply in TypeAssigner#avoidMartin Odersky2016-08-171-1/+3
* Fix merge conflictMartin Odersky2016-08-171-6/+6
* New string infterpolatorsMartin Odersky2016-08-161-10/+12
* Print kind of missing memberMartin Odersky2016-07-291-4/+4
* Merge pull request #1291 from nicolasstucki/implement-scala-dynamicDmitry Petrashko2016-07-151-2/+7
|\
| * Fix #657: Add scala.Dynamic support.Nicolas Stucki2016-07-071-2/+7
* | Remove refinement encoding of hk typesMartin Odersky2016-07-111-14/+4
* | Don't make * types higher-kinded in avoidMartin Odersky2016-07-111-2/+4
* | Start new, direct HK schemeMartin Odersky2016-07-111-9/+12
* | Avoid accidental creation of hk typesMartin Odersky2016-07-111-2/+3
* | Turn on new hk schemeMartin Odersky2016-07-111-1/+1
* | Abstract type parameters out from type symbolsMartin Odersky2016-07-111-2/+2
* | Introduce recursive typesMartin Odersky2016-07-111-2/+2
* | New type lambda scheme for hk typesMartin Odersky2016-07-111-0/+10
* | Allow general recursion in refined types.Martin Odersky2016-07-111-2/+2
|/
* Adapt type assignment for AppliedTypeTrees to new named paramsMartin Odersky2016-03-301-6/+4
* Fix error message output.Martin Odersky2016-03-301-1/+1
* Simplify and fix avoid logicMartin Odersky2016-03-301-19/+10
* Add second field to SeqLiteralMartin Odersky2016-03-101-8/+6
* Merge pull request #1066 from dotty-staging/fix-#997odersky2016-02-191-2/+2
|\
| * Merge parentsWithArgs and instantiatedParentsMartin Odersky2016-02-191-2/+2
* | Fix merge breakage.Martin Odersky2016-02-191-0/+1
* | Allow Named Arguments in TypeArgsMartin Odersky2016-02-191-4/+40
* | Use hasNamedArgs instead of repeating test inline.Martin Odersky2016-02-191-1/+1
* | Address reviewer commentsMartin Odersky2016-02-191-0/+1
* | Avoid cyclic reference error when building dotty.Martin Odersky2016-02-191-2/+1
* | First version of named type argumentsMartin Odersky2016-02-191-3/+23
|/
* Allow enclosing module as qualifying classMartin Odersky2016-02-121-1/+6
* Fix higher-kinded unions and intersectionsMartin Odersky2015-12-181-1/+1
* Drop redundant conditionMartin Odersky2015-12-141-1/+1
* Make some types of definitions symbolicMartin Odersky2015-12-141-3/+20
* Swap order of arguments in annotationsMartin Odersky2015-11-221-1/+1
* Fix #938 - escaping reference.Martin Odersky2015-11-171-4/+3
* Renamings in DefinitionsMartin Odersky2015-11-091-1/+1
* Allow existential types in hk typesMartin Odersky2015-10-241-2/+1
* TypeAssigner#avoid: do not lose type parameters when the base type changes.Guillaume Martres2015-10-091-6/+21
* TypeAssigner#avoid: don't miss escaping refs in complex typesGuillaume Martres2015-10-091-14/+11
* TypeAssigner#avoid: more precise types for inner classesGuillaume Martres2015-10-091-2/+10
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-14 18:41:12 +0000