https://github.com/Helium4Haskell/lvm
Revision 76002404fa588c0855f2883e67a15d88830c8d3a authored by Mias van Klei on 10 May 2020, 09:04:59 UTC, committed by Mias van Klei on 10 May 2020, 17:02:01 UTC
- Parse/pretty print uniqueness annotations on the arrow - Parse/pretty print qualified types The type of a uniqueness function is now of the following form: - test :: r:t ->:q s:t, [p <= q] global functions/constants are assumed to be used shared. For the helium typecheck to deal with these extra annotations/constraints, there is a function typeRemoveAnn which removes all annotations/constraints during typecheck of Core/Iridium
1 parent 293b90a
Tip revision: 76002404fa588c0855f2883e67a15d88830c8d3a authored by Mias van Klei on 10 May 2020, 09:04:59 UTC
Support for the following syntax is added:
Support for the following syntax is added:
Tip revision: 7600240
| File | Mode | Size |
|---|---|---|
| src | ||
| test | ||
| .gitignore | -rw-r--r-- | 40 bytes |
| README.md | -rw-r--r-- | 1.6 KB |
Computing file changes ...
