Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add test case | Martin Odersky | 2016-07-18 | 2 | -1/+25 |
* | Fix typing of match expressions | Martin Odersky | 2016-07-17 | 2 | -8/+13 |
* | Merge pull request #1377 from dotty-staging/#1365 | odersky | 2016-07-15 | 3 | -22/+80 |
|\ | |||||
| * | Drop superfluous code | Martin Odersky | 2016-07-15 | 1 | -5/+1 |
| * | Fix 1365: Fix bindings in patterns | Martin Odersky | 2016-07-09 | 3 | -22/+84 |
* | | Merge pull request #1291 from nicolasstucki/implement-scala-dynamic | Dmitry Petrashko | 2016-07-15 | 44 | -20/+626 |
|\ \ | |||||
| * | | Fix TypeOps.featureEnabled ignoring import disabling. | Nicolas Stucki | 2016-07-07 | 2 | -9/+20 |
| * | | Add scala.Dynamic language feature check. | Nicolas Stucki | 2016-07-07 | 7 | -4/+55 |
| * | | Fix #657: Add scala.Dynamic support. | Nicolas Stucki | 2016-07-07 | 38 | -7/+551 |
* | | | Merge pull request #1334 from dotty-jvican/implement-no-predef-no-import | Dmitry Petrashko | 2016-07-15 | 6 | -6/+28 |
|\ \ \ | |||||
| * | | | Implement -Yno-predef and -Yno-imports | jvican | 2016-06-29 | 6 | -6/+28 |
* | | | | Merge pull request #1343 from dotty-staging/change-hk-direct2 | odersky | 2016-07-15 | 103 | -1417/+2375 |
|\ \ \ \ | |||||
| * | | | | Bounds of type lambdas compare contravariantly | Martin Odersky | 2016-07-15 | 3 | -13/+27 |
| * | | | | Add test case for hk bounds checking | Martin Odersky | 2016-07-14 | 1 | -0/+23 |
| * | | | | Fix bounds checking of hk applied typed | Martin Odersky | 2016-07-14 | 7 | -53/+67 |
| * | | | | Allow hk parameters in lower bounds | Martin Odersky | 2016-07-13 | 7 | -28/+23 |
| * | | | | Simplify variance computations | Martin Odersky | 2016-07-13 | 1 | -6/+2 |
| * | | | | Make rewritings of hk applications configurable | Martin Odersky | 2016-07-13 | 4 | -18/+42 |
| * | | | | Optimize hk comparisons | Martin Odersky | 2016-07-13 | 2 | -11/+24 |
| * | | | | Enable test for fixed #1181: Typer should preserve aliases in TypeTrees | Guillaume Martres | 2016-07-12 | 1 | -0/+0 |
| * | | | | Drop restriction to 2nd order hk types | Martin Odersky | 2016-07-12 | 6 | -12/+60 |
| * | | | | Avoid dealiasing on type application | Martin Odersky | 2016-07-12 | 10 | -66/+103 |
| * | | | | Allow definition of new types in refinements | Martin Odersky | 2016-07-12 | 7 | -11/+65 |
| * | | | | ExtractAPI: Add support for RecType | Guillaume Martres | 2016-07-12 | 1 | -2/+14 |
| * | | | | ExtractAPI: Add support for TypeLambdas | Guillaume Martres | 2016-07-12 | 1 | -4/+11 |
| * | | | | ExtractAPI: Do not miss value parameters of PolyTypes | Guillaume Martres | 2016-07-12 | 8 | -0/+55 |
| * | | | | Address reviewers comments | Martin Odersky | 2016-07-11 | 11 | -49/+55 |
| * | | | | Fix SI-2712 | Martin Odersky | 2016-07-11 | 13 | -22/+163 |
| * | | | | More tests | Martin Odersky | 2016-07-11 | 2 | -0/+24 |
| * | | | | Drop compareAliasedRefined | Martin Odersky | 2016-07-11 | 2 | -37/+4 |
| * | | | | Refactor Typevar instantiation | Martin Odersky | 2016-07-11 | 2 | -43/+52 |
| * | | | | Add a case where caching was missing. | Martin Odersky | 2016-07-11 | 2 | -3/+5 |
| * | | | | Do the right thing for NoDenotation.mapInfo | Martin Odersky | 2016-07-11 | 1 | -0/+1 |
| * | | | | Unify aliases when taking a lub. | Martin Odersky | 2016-07-11 | 1 | -2/+18 |
| * | | | | Less eager removal of type parameters from constraint | Martin Odersky | 2016-07-11 | 3 | -24/+26 |
| * | | | | Disallow higher-kinded types that simulate general existential types | Martin Odersky | 2016-07-11 | 7 | -7/+125 |
| * | | | | Fix bug in printing untyped New nodes. | Martin Odersky | 2016-07-11 | 1 | -1/+5 |
| * | | | | Avoid orphan parameters in Constraint#replace | Martin Odersky | 2016-07-11 | 1 | -1/+1 |
| * | | | | Drop Config.checkKinds | Martin Odersky | 2016-07-11 | 13 | -107/+20 |
| * | | | | Refactorings of GenericTypes and underlying/upperbound | Martin Odersky | 2016-07-11 | 9 | -146/+100 |
| * | | | | Revert complications in asMemberOf | Martin Odersky | 2016-07-11 | 2 | -25/+4 |
| * | | | | Cleanup of Signature matching | Martin Odersky | 2016-07-11 | 4 | -14/+19 |
| * | | | | Simplify appliedTo | Martin Odersky | 2016-07-11 | 1 | -23/+9 |
| * | | | | Get rid of BindingKind | Martin Odersky | 2016-07-11 | 5 | -65/+17 |
| * | | | | Handle signatures over uninstantiated type variables | Martin Odersky | 2016-07-11 | 5 | -12/+40 |
| * | | | | Remove refinement encoding of hk types | Martin Odersky | 2016-07-11 | 17 | -653/+112 |
| * | | | | Fixes for printing under -Ytest-pickler | Martin Odersky | 2016-07-11 | 2 | -2/+3 |
| * | | | | Fix parameter unpickling | Martin Odersky | 2016-07-11 | 1 | -10/+10 |
| * | | | | Drop assertion in TypeMap | Martin Odersky | 2016-07-11 | 2 | -6/+6 |
| * | | | | Special case for TypeRefs in upperbound | Martin Odersky | 2016-07-11 | 1 | -1/+6 |