| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
|
| |
- allow more than one implicit binding
- harmonize syntax in expressions and blocks
|
| |
|
|
|
|
|
|
|
| |
Lots of other changes to make positions work out everywhere.
One important change is that now trees can be shared, just
as types can. This change improves memory requirements (a bit)
and also makes positions in shared trees more robust.
|
|
|
|
|
|
| |
If PolyTypes are to become value types we want to keep `=>` as the arrow
for consistency. `->` should be reserved for PolyTypes that do not have
side effects on instantiation.
|
|
|