aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/typer
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #889 from dotty-staging/fix-#877odersky2015-11-051-1/+3
|\
| * Make a new fresh name creator for each unitMartin Odersky2015-10-301-1/+3
* | Merge pull request #901 from dotty-staging/fix-#851Dmitry Petrashko2015-11-031-1/+2
|\ \
| * | Allow -Xprint:parser option to print parse treesMartin Odersky2015-11-011-1/+2
* | | Enable <:< implicits as conversions.Martin Odersky2015-11-031-1/+3
* | | Make isDefined override if necessaryMartin Odersky2015-11-021-1/+3
* | | Merge pull request #860 from dotty-staging/change-allow-ex-in-hkDmitry Petrashko2015-11-023-33/+3
|\ \ \
| * | | Remove redundant testsMartin Odersky2015-10-241-3/+1
| * | | Allow existential types in hk typesMartin Odersky2015-10-242-30/+2
* | | | Merge pull request #887 from dotty-staging/fix-#873odersky2015-11-021-10/+13
|\ \ \ \ | |_|/ / |/| | |
| * | | Also handle SAM functions when adaptiing arity of case lambdas.Martin Odersky2015-10-301-14/+13
| * | | Allow pattern matching anonymous functions of arity > 1Martin Odersky2015-10-301-1/+5
* | | | Fix #879Martin Odersky2015-10-301-1/+1
| |_|/ |/| |
* | | Merge pull request #886 from dotty-staging/fix-#884Guillaume Martres2015-10-301-1/+1
|\ \ \ | |/ / |/| |
| * | Fix #884 - misdiagnosed ambiguous definition.Martin Odersky2015-10-291-1/+1
* | | Shorten ctx.typerState.reporter to ctx.reporterMartin Odersky2015-10-262-2/+2
|/ /
* | Readd `.widen` which was accidentally removed from the previous commitGuillaume Martres2015-10-251-1/+1
* | Simplify logic in adaptMartin Odersky2015-10-251-10/+2
* | Fix issue that prevented instantiating some tvars before implicit searchGuillaume Martres2015-10-251-1/+1
* | Less eager tvar interpolation: wait until method calls are fully appliedGuillaume Martres2015-10-251-2/+11
|/
* Merge pull request #832 from dotty-staging/fix-#815-hk-constructor-aliasDmitry Petrashko2015-10-231-1/+6
|\
| * Fix #815.Martin Odersky2015-10-201-1/+6
* | Check for cyclic inheritance.Martin Odersky2015-10-221-1/+8
* | Merge pull request #841 from dotty-staging/fix-#831-object-selfodersky2015-10-221-17/+24
|\ \
| * | Adapt sourceModule to new selfInfo scheme.Martin Odersky2015-10-221-1/+1
| * | Fix #831Martin Odersky2015-10-221-17/+24
* | | Merge pull request #835 from dotty-staging/add-more-testsodersky2015-10-221-1/+1
|\ \ \ | |/ / |/| |
| * | Remove disgnostic printlnMartin Odersky2015-10-211-1/+1
* | | Avoid mutation in checkWellFormedMartin Odersky2015-10-221-4/+5
* | | Add well-formedness checking for created symbolsMartin Odersky2015-10-222-2/+61
|/ /
* | Merge pull request #811 from dotty-staging/fix-objects-mixinDmitry Petrashko2015-10-211-2/+0
|\ \ | |/ |/|
| * Typer: remove unused TyperContextOpsDmitry Petrashko2015-09-291-2/+0
* | Merge pull request #821 from dotty-staging/fix-check-simple-kindedDmitry Petrashko2015-10-202-3/+16
|\ \
| * | Check that some types are not higher-kinded.Martin Odersky2015-10-072-3/+16
* | | Merge pull request #823 from smarter/fix/lifting-and-inferenceGuillaume Martres2015-10-195-44/+49
|\ \ \
| * | | Always fully define the types of lifted expressionsGuillaume Martres2015-10-191-1/+3
| * | | Move Inferencing out of the Typer cakeGuillaume Martres2015-10-094-43/+46
* | | | Merge pull request #817 from smarter/fix/avoidGuillaume Martres2015-10-121-21/+41
|\ \ \ \ | |/ / / |/| | |
| * | | 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
| |/ /
* | | Merge pull request #799 from dotty-staging/change-inferenceodersky2015-10-072-14/+97
|\ \ \ | |/ / |/| |
| * | Generalize set of typevars instantiated before implicit searchMartin Odersky2015-09-181-22/+35
| * | Fixes #739Martin Odersky2015-09-182-6/+40
| * | Change algorithm that computes instantiation directionMartin Odersky2015-09-181-8/+44
* | | Merge pull request #804 from svalaskevicius/fix-compiling-ScalaRunTimeodersky2015-10-021-1/+1
|\ \ \
| * | | fix compiling ScalaRunTime.scalaSarunas Valaskevicius2015-09-251-1/+1
| | |/ | |/|
* | | Refinements to signature matchingMartin Odersky2015-09-301-1/+1
* | | Fix problem with avoid.Martin Odersky2015-09-291-3/+4
* | | Matching denotations should take infos into accountMartin Odersky2015-09-292-2/+3
|/ /
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-21 12:05:19 +0000