diff options
| author | Eduardo Julian | 2015-05-01 21:58:55 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2015-05-01 21:58:55 -0400 |
| commit | 6bb629a6917176ec46fee119b3b21fb1781cba78 (patch) | |
| tree | 24cbff805c7489d1d6bbae6c80ed3cf8da0bc460 /source | |
| parent | 52d428514631cf9ed54e2f8ad418ea21165011c7 (diff) | |
- Added existential types via #ExT.
- Removed the (now useless) lux.type/is-Type? function.
Diffstat (limited to 'source')
| -rw-r--r-- | source/lux.lux | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/source/lux.lux b/source/lux.lux index 06a9a1e58..e97d01759 100644 --- a/source/lux.lux +++ b/source/lux.lux @@ -69,7 +69,8 @@ (#Cons [["lux;VarT" Int] (#Cons [["lux;AllT" (#TupleT (#Cons [(#AppT [Maybe TypeEnv]) (#Cons [Text (#Cons [Text (#Cons [Type #Nil])])])]))] (#Cons [["lux;AppT" (#TupleT (#Cons [Type (#Cons [Type #Nil])]))] - #Nil])])])])])])])])]))]) + (#Cons [["lux;ExT" Int] + #Nil])])])])])])])])])]))]) Void])))) (export' Type) |