aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/typer/Typer.scala
Commit message (Expand)AuthorAgeFilesLines
...
* | Fix problem affecting recursive inlinesMartin Odersky2016-10-021-1/+1
* | Make inline annotation @scala.inline.Martin Odersky2016-10-021-0/+2
* | Harden ReTyper so that it's fit for inliningMartin Odersky2016-10-021-1/+1
* | Avoid reference to local bindings in Inlined nodesMartin Odersky2016-10-021-2/+2
* | Don't inline after typer.Martin Odersky2016-10-021-1/+3
* | Fix some problems in InlinerMartin Odersky2016-10-021-1/+1
* | Implement inline ifMartin Odersky2016-10-021-1/+1
* | Add Inlined tree nodeMartin Odersky2016-10-021-2/+12
* | First version of inline schemeMartin Odersky2016-10-021-3/+15
* | Simplify typedSelect logicMartin Odersky2016-09-251-25/+22
* | Get rid of SelectFromType tree node.Martin Odersky2016-09-251-36/+39
* | Drop PairMartin Odersky2016-09-251-20/+13
* | Swap order of elements in AnnotatedMartin Odersky2016-09-241-1/+1
* | Make positions fit for metaMartin Odersky2016-09-241-1/+1
* | Merge pull request #1534 from OlivierBlanvillain/clean-up-printersFelix Mulder2016-09-231-1/+1
|\ \
| * | Clean up config.Printers importsOlivier Blanvillain2016-09-231-1/+1
* | | Address reviewer commentsMartin Odersky2016-09-181-1/+6
* | | Fix #1503 - be careful where to insert an apply.Martin Odersky2016-09-171-8/+8
* | | Merge pull request #1465 from dotty-staging/fix-#1457odersky2016-09-161-45/+91
|\ \ \
| * | | Refactoring of findRefMartin Odersky2016-09-161-58/+83
| * | | Accommodate Scala2 name resolution schemeMartin Odersky2016-08-261-5/+26
* | | | Reformat code after fixes on scala.Dynamic.Nicolas Stucki2016-09-051-13/+4
* | | | Fix #1468: Add type parameter support for scala.DynamicNicolas Stucki2016-09-051-5/+7
| |/ / |/| |
* | | Handle case where expected type of a SeqLiteral has an undetermined element t...Martin Odersky2016-08-261-1/+5
* | | Type annotations in context enclosing the annotated definitionMartin Odersky2016-08-261-1/+2
* | | Implement alternative desugaring of for-if to filter.Martin Odersky2016-08-261-3/+9
* | | Retracting special case depending on Ycheck.Martin Odersky2016-08-261-3/+2
* | | Be more careful with inserted casts.Martin Odersky2016-08-261-2/+9
* | | Make expressions using GADTs type check in later phasesMartin Odersky2016-08-261-1/+4
* | | Merge pull request #1460 from dotty-staging/fix-t1756odersky2016-08-261-6/+3
|\ \ \
| * | | Make sure arguments are evaluated in the correct typer state.Martin Odersky2016-08-211-6/+3
* | | | implementation of exhaustivity and redundancy checkliu fengyun2016-08-241-1/+2
| |/ / |/| |
* | | Merge pull request #1456 from dotty-staging/fix-#1444odersky2016-08-211-1/+36
|\ \ \ | |/ / |/| |
| * | Fix #1444: Add implicit arguments to supertraitsMartin Odersky2016-08-201-1/+36
* | | Refinements to auto tuplingMartin Odersky2016-08-181-9/+10
|/ /
* | New string infterpolatorsMartin Odersky2016-08-161-26/+26
* | Merge pull request #1395 from dotty-staging/fix-#1378odersky2016-07-211-0/+10
|\ \
| * | Adress reviewers commentsMartin Odersky2016-07-171-1/+4
| * | Proparage function result constrains when inferring parameter typesMartin Odersky2016-07-161-0/+7
* | | Allow function prototypes to have wildcards.Martin Odersky2016-07-191-1/+4
|/ /
* | Merge pull request #1377 from dotty-staging/#1365odersky2016-07-151-14/+49
|\ \
| * | Drop superfluous codeMartin Odersky2016-07-151-5/+1
| * | Fix 1365: Fix bindings in patternsMartin Odersky2016-07-091-14/+53
* | | Merge pull request #1291 from nicolasstucki/implement-scala-dynamicDmitry Petrashko2016-07-151-5/+24
|\ \ \
| * | | Add scala.Dynamic language feature check.Nicolas Stucki2016-07-071-1/+7
| * | | Fix #657: Add scala.Dynamic support.Nicolas Stucki2016-07-071-4/+17
| |/ /
* | | Allow hk parameters in lower boundsMartin Odersky2016-07-131-1/+0
* | | Allow definition of new types in refinementsMartin Odersky2016-07-121-1/+1
* | | Remove refinement encoding of hk typesMartin Odersky2016-07-111-2/+2
* | | Various hk related fixes in typesMartin Odersky2016-07-111-1/+0