aboutsummaryrefslogtreecommitdiff
path: root/tests/pos
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #860 from dotty-staging/change-allow-ex-in-hkDmitry Petrashko2015-11-022-0/+258
|\
| * Represent references to Scala2 inner classes as WithFixedSym typesMartin Odersky2015-10-251-6/+2
| * Add fixed version of GenTraversableFactory.Martin Odersky2015-10-241-0/+256
| * Allow existential types in hk typesMartin Odersky2015-10-241-0/+6
* | Merge pull request #887 from dotty-staging/fix-#873odersky2015-11-021-0/+10
|\ \
| * | Also handle SAM functions when adaptiing arity of case lambdas.Martin Odersky2015-10-301-0/+6
| * | Allow pattern matching anonymous functions of arity > 1Martin Odersky2015-10-301-0/+4
* | | Add tests for wildcards without typesMartin Odersky2015-11-021-0/+2
* | | Parentheses around a wildcard should not produce a lambdaMartin Odersky2015-11-021-0/+24
* | | Address reviewer commentsMartin Odersky2015-10-301-0/+0
* | | Fix #879Martin Odersky2015-10-301-0/+11
* | | Merge pull request #886 from dotty-staging/fix-#884Guillaume Martres2015-10-304-7/+10
|\ \ \ | |/ / |/| |
| * | Add missing test file.Martin Odersky2015-10-301-0/+28
| * | Fix #884 - misdiagnosed ambiguous definition.Martin Odersky2015-10-294-35/+10
* | | Set position on annotations parsed from JavaGuillaume Martres2015-10-291-0/+3
|/ /
* | Fix hole in subtyping of modulesMartin Odersky2015-10-251-0/+9
* | Fix issue that prevented instantiating some tvars before implicit searchGuillaume Martres2015-10-251-2/+28
* | Less eager tvar interpolation: wait until method calls are fully appliedGuillaume Martres2015-10-251-0/+12
* | Merge pull request #843 from dotty-staging/fix-#830odersky2015-10-251-0/+6
|\ \ | |/ |/|
| * Fix #830: Compiler hangs on implicit search with singleton &/|Martin Odersky2015-10-221-0/+6
* | Merge pull request #832 from dotty-staging/fix-#815-hk-constructor-aliasDmitry Petrashko2015-10-231-0/+11
|\ \
| * | Fix #815.Martin Odersky2015-10-201-0/+11
* | | Merge pull request #841 from dotty-staging/fix-#831-object-selfodersky2015-10-221-0/+4
|\ \ \
| * | | Fix #831Martin Odersky2015-10-221-0/+4
| | |/ | |/|
* | | Merge pull request #835 from dotty-staging/add-more-testsodersky2015-10-224-0/+53
|\ \ \ | |/ / |/| |
| * | More testsMartin Odersky2015-10-214-0/+53
| |/
* / Fix tests to survive wellformedness checksMartin Odersky2015-10-222-2/+2
|/
* Merge pull request #821 from dotty-staging/fix-check-simple-kindedDmitry Petrashko2015-10-201-1/+1
|\
| * Check that some types are not higher-kinded.Martin Odersky2015-10-071-1/+1
* | Merge pull request #823 from smarter/fix/lifting-and-inferenceGuillaume Martres2015-10-191-0/+9
|\ \
| * | Always fully define the types of lifted expressionsGuillaume Martres2015-10-191-0/+9
* | | Merge pull request #817 from smarter/fix/avoidGuillaume Martres2015-10-121-0/+42
|\ \ \ | |/ / |/| |
| * | TypeAssigner#avoid: do not lose type parameters when the base type changes.Guillaume Martres2015-10-091-0/+12
| * | Add pos test about escaping refinementsGuillaume Martres2015-10-091-0/+10
| * | TypeAssigner#avoid: don't miss escaping refs in complex typesGuillaume Martres2015-10-091-1/+9
| * | TypeAssigner#avoid: more precise types for inner classesGuillaume Martres2015-10-091-0/+12
* | | Merge pull request #799 from dotty-staging/change-inferenceodersky2015-10-071-0/+17
|\ \ \ | |_|/ |/| |
| * | Generalize set of typevars instantiated before implicit searchMartin Odersky2015-09-181-0/+7
| * | Add test caseMartin Odersky2015-09-181-0/+10
* | | Merge pull request #805 from dotty-staging/change-freeze-boundsodersky2015-10-061-0/+245
|\ \ \ | |_|/ |/| |
| * | Add test caseMartin Odersky2015-10-011-0/+245
* | | Merge pull request #804 from svalaskevicius/fix-compiling-ScalaRunTimeodersky2015-10-021-0/+9
|\ \ \ | |/ / |/| |
| * | add a test for a pattern match with ignored type paramSarunas Valaskevicius2015-09-251-0/+9
* | | Move test to posMartin Odersky2015-09-291-0/+7
|/ /
* | Fixes to comments suggested by reviewerMartin Odersky2015-09-211-4/+4
* | Eta expand $apply projected types if neededMartin Odersky2015-09-213-0/+625
* | Move failing test to pending.Martin Odersky2015-09-181-52/+0
* | Disallow wildcard arguments to higher-kinded types...Martin Odersky2015-09-181-1/+34
* | Eta expand type arguments corresponding to lambdasMartin Odersky2015-09-181-2/+2
|/
* Fix desugaring problemMartin Odersky2015-09-121-0/+565