diff options
Diffstat (limited to 'stdlib/source/test/lux.lux')
| -rw-r--r-- | stdlib/source/test/lux.lux | 21 |
1 files changed, 12 insertions, 9 deletions
diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux index d40709cf6..fefe5270e 100644 --- a/stdlib/source/test/lux.lux +++ b/stdlib/source/test/lux.lux @@ -329,13 +329,14 @@ (/.' #..example)) (code\= (code.form (list (code.nat 6) (code.int +7) (code.rev .8))) (/.' (6 +7 .8))) + (code\= (code.variant (list (code.frac +9.0) + (code.text "9") + (code.identifier ["" "i8"]))) + (/.' {+9.0 "9" i8})) (code\= (code.tuple (list (code.frac +9.0) (code.text "9") (code.identifier ["" "i8"]))) (/.' [+9.0 "9" i8])) - (code\= (code.record (list [(code.identifier [/.prelude_module "i7"]) - (code.identifier [..current_module "i6"])])) - (/.' {.i7 ..i6})) (not (code\= (code.nat example_nat) (/.' (~ (code.nat example_nat))))) )))) @@ -364,13 +365,14 @@ (/.` #..example)) (code\= (code.form (list (code.nat 6) (code.int +7) (code.rev .8))) (/.` (6 +7 .8))) + (code\= (code.variant (list (code.frac +9.0) + (code.text "9") + (code.identifier [..current_module "i8"]))) + (/.` {+9.0 "9" i8})) (code\= (code.tuple (list (code.frac +9.0) (code.text "9") (code.identifier [..current_module "i8"]))) (/.` [+9.0 "9" i8])) - (code\= (code.record (list [(code.identifier [/.prelude_module "i7"]) - (code.identifier [..current_module "i6"])])) - (/.` {.i7 ..i6})) (code\= (code.nat example_nat) (/.` (~ (code.nat example_nat)))))))) @@ -398,13 +400,14 @@ (/.`' #..example)) (code\= (code.form (list (code.nat 6) (code.int +7) (code.rev .8))) (/.`' (6 +7 .8))) + (code\= (code.variant (list (code.frac +9.0) + (code.text "9") + (code.identifier ["" "i8"]))) + (/.`' {+9.0 "9" i8})) (code\= (code.tuple (list (code.frac +9.0) (code.text "9") (code.identifier ["" "i8"]))) (/.`' [+9.0 "9" i8])) - (code\= (code.record (list [(code.identifier [/.prelude_module "i7"]) - (code.identifier [..current_module "i6"])])) - (/.`' {.i7 ..i6})) (code\= (code.nat example_nat) (/.`' (~ (code.nat example_nat)))))))) |