diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux.lux | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/stdlib/source/lux.lux b/stdlib/source/lux.lux index 7aa9a96a6..bf77ca259 100644 --- a/stdlib/source/lux.lux +++ b/stdlib/source/lux.lux @@ -185,11 +185,11 @@ ## ) ("lux def" Type (+12 ["lux" "Type"] - ("lux case" (+11 (+6 +1) (+6 +0)) + ("lux case" ("lux check type" (+11 (+6 +1) (+6 +0))) Type - ("lux case" (+11 Type List) + ("lux case" ("lux check type" (+11 Type List)) Type-List - ("lux case" (+4 Type Type) + ("lux case" ("lux check type" (+4 Type Type)) Type-Pair (+11 Void (+9 #Nil @@ -336,11 +336,11 @@ ## (#Record (List [(w (Code' w)) (w (Code' w))]))) ("lux def" Code' (#Named ["lux" "Code'"] - ("lux case" (#Apply (#Apply (#Bound +1) - (#Bound +0)) - (#Bound +1)) + ("lux case" ("lux check type" (#Apply (#Apply (#Bound +1) + (#Bound +0)) + (#Bound +1))) Code - ("lux case" (#Apply Code List) + ("lux case" ("lux check type" (#Apply Code List)) Code-List (#UnivQ #Nil (#Sum ## "lux;Bool" @@ -393,7 +393,7 @@ ## (Ann Cursor (Code' (Ann Cursor)))) ("lux def" Code (#Named ["lux" "Code"] - ("lux case" (#Apply Cursor Ann) + ("lux case" ("lux check type" (#Apply Cursor Ann)) w (#Apply (#Apply w Code') w))) [dummy-cursor @@ -866,7 +866,7 @@ (#Cons body #Nil)))))) #Nil)))))) #Nil)) - + _ (fail "Wrong syntax for function''")))) (record$ default-macro-meta)) |