diff options
| author | Eduardo Julian | 2015-08-17 16:59:18 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2015-08-17 16:59:18 -0400 |
| commit | 1b48e9e06cb90187b28381bcadbeeba60806964d (patch) | |
| tree | 1e30e61bd5ec7f5d3b0c2c12f1f549bc23b5ee48 /source/lux/codata/function.lux | |
| parent | df3e4ba2df6462812174e69ea5c334a7edbbd5c7 (diff) | |
- Finished turning tags into indices.
- As an unexpected bonus, the compiler has become 2.5x faster.
- Fixed some minor bugs.
- Tag declarations now include associated types.
- Tag declarations info is now stored twice (one from the perspective of tags, the other from the perspective of types).
- Changed the named of the "types" member of the Compiler type, to "type-vars" to avoid collision with the "types" member of the Module type.
Diffstat (limited to 'source/lux/codata/function.lux')
| -rw-r--r-- | source/lux/codata/function.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/source/lux/codata/function.lux b/source/lux/codata/function.lux index 8eb87c00b..7898e998d 100644 --- a/source/lux/codata/function.lux +++ b/source/lux/codata/function.lux @@ -26,5 +26,5 @@ ## [Structures] (defstruct #export Comp/Monoid (All [a] (m;Monoid (-> a a))) - (def unit id) - (def ++ .)) + (def m;unit id) + (def m;++ .)) |