aboutsummaryrefslogtreecommitdiff
path: root/source
diff options
context:
space:
mode:
authorEduardo Julian2015-05-01 21:58:55 -0400
committerEduardo Julian2015-05-01 21:58:55 -0400
commit6bb629a6917176ec46fee119b3b21fb1781cba78 (patch)
tree24cbff805c7489d1d6bbae6c80ed3cf8da0bc460 /source
parent52d428514631cf9ed54e2f8ad418ea21165011c7 (diff)
- Added existential types via #ExT.
- Removed the (now useless) lux.type/is-Type? function.
Diffstat (limited to 'source')
-rw-r--r--source/lux.lux3
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)