https://github.com/Helium4Haskell/lvm
Revision 356a32349237af752c6c1740cc50416446c074e9 authored by Mias van Klei on 09 April 2020, 16:50:47 UTC, committed by Mias van Klei on 09 April 2020, 16:50:47 UTC
in a new constructor TAnn. This constructor has two arguments for shared and uniquness respectively. These two additions/adjustions require new functions to remove/add annotations and adjustions of functions that first only expected Strict.
1 parent c96fc38
Tip revision: 356a32349237af752c6c1740cc50416446c074e9 authored by Mias van Klei on 09 April 2020, 16:50:47 UTC
Since Strictness and Uniquness are both annotations on types, merge the two
Since Strictness and Uniquness are both annotations on types, merge the two
Tip revision: 356a323
File | Mode | Size |
---|---|---|
src | ||
test | ||
.gitignore | -rw-r--r-- | 40 bytes |
README.md | -rw-r--r-- | 1.6 KB |
Computing file changes ...