aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source')
-rw-r--r--stdlib/source/lux.lux18
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))