diff options
| author | Eduardo Julian | 2017-10-30 22:22:36 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-10-30 22:22:36 -0400 |
| commit | a12eb1ae67e36ee12dd434da948a25b6b18e34d6 (patch) | |
| tree | c64bc80d48af89b449d6fff1c79c2abfe9f2d681 /stdlib/source | |
| parent | b6c3a84b536235a53bdfaf0f96d76413bc222ba7 (diff) | |
- Added "lux check type" to old compiler.
Diffstat (limited to 'stdlib/source')
| -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)) |