diff options
Diffstat (limited to 'source/lux.lux')
| -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) |