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/data/io.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/data/io.lux')
| -rw-r--r-- | source/lux/data/io.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/source/lux/data/io.lux b/source/lux/data/io.lux index ae71f9f34..f03dbddc6 100644 --- a/source/lux/data/io.lux +++ b/source/lux/data/io.lux @@ -30,16 +30,16 @@ ## [Structures] (defstruct #export IO/Functor (F;Functor IO) - (def (map f ma) + (def (F;map f ma) (io (f (ma []))))) (defstruct #export IO/Monad (M;Monad IO) - (def _functor IO/Functor) + (def M;_functor IO/Functor) - (def (wrap x) + (def (M;wrap x) (io x)) - (def (join mma) + (def (M;join mma) (mma []))) ## [Functions] |