Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Further refactorings | Martin Odersky | 2017-04-06 | 1 | -4/+4 |
| | | | | | - Use TypeLambda instead of PolyType. - Further harmonize factory operations | ||||
* | Make PolyTypes subtypes of LambdaTypes | Martin Odersky | 2017-04-06 | 1 | -9/+9 |
| | | | | Also, rename LambdaOver{Type,Term}s to {Type,Term}Lambda | ||||
* | Rename PolyParam --> TypeParamRef | Martin Odersky | 2017-04-06 | 1 | -21/+21 |
| | |||||
* | Make alignArgsInAnd safe and turn it on by default | Martin Odersky | 2017-03-01 | 1 | -6/+0 |
| | | | | | | | Turned out hmaps.scala requires the arg alignment to compile. So we have our first counterexample that we cannot drop this hack. Now it is made safe in the sense that no constraints get lost anymore. | ||||
* | Move compiler and compiler tests to compiler dir | Felix Mulder | 2016-11-22 | 1 | -0/+154 |