From 1137f61adeb416d89436a6849a07f28c8f329fc1 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sat, 14 Jul 2018 03:23:38 -0400 Subject: Switched to using new bit syntax in new-luxc. --- new-luxc/test/test/luxc/lang/analysis/host.jvm.lux | 8 +-- new-luxc/test/test/luxc/lang/analysis/type.lux | 6 +- new-luxc/test/test/luxc/lang/synthesis/loop.lux | 8 +-- .../test/test/luxc/lang/synthesis/procedure.lux | 2 +- new-luxc/test/test/luxc/lang/translation/case.lux | 8 +-- .../test/test/luxc/lang/translation/common.lux | 78 +++++++++++----------- .../test/test/luxc/lang/translation/function.lux | 6 +- new-luxc/test/test/luxc/lang/translation/js.lux | 24 +++---- new-luxc/test/test/luxc/lang/translation/jvm.lux | 52 +++++++-------- .../test/test/luxc/lang/translation/primitive.lux | 2 +- .../test/test/luxc/lang/translation/reference.lux | 4 +- .../test/test/luxc/lang/translation/structure.lux | 4 +- 12 files changed, 101 insertions(+), 101 deletions(-) (limited to 'new-luxc/test') diff --git a/new-luxc/test/test/luxc/lang/analysis/host.jvm.lux b/new-luxc/test/test/luxc/lang/analysis/host.jvm.lux index 1e6cafdfc..fcdcfbe6a 100644 --- a/new-luxc/test/test/luxc/lang/analysis/host.jvm.lux +++ b/new-luxc/test/test/luxc/lang/analysis/host.jvm.lux @@ -50,8 +50,8 @@ (#e.Error error) )))] - [success true false] - [failure false true] + [success #1 #0] + [failure #0 #1] ) (do-template [ ] @@ -71,8 +71,8 @@ (#e.Error error) )))] - [success' true false] - [failure' false true] + [success' #1 #0] + [failure' #0 #1] ) (context: "Conversions [double + float]." diff --git a/new-luxc/test/test/luxc/lang/analysis/type.lux b/new-luxc/test/test/luxc/lang/analysis/type.lux index b2d819ec5..707565fca 100644 --- a/new-luxc/test/test/luxc/lang/analysis/type.lux +++ b/new-luxc/test/test/luxc/lang/analysis/type.lux @@ -73,10 +73,10 @@ [#.Text text/=]) _ - false)) + #0)) (#e.Error error) - false))) + #0))) (test (format "Can analyse type-coercion.") (|> (do Monad [runtime-bytecode @runtime.translate] @@ -89,5 +89,5 @@ (type/= codeT analysisT) (#e.Error error) - false))) + #0))) )))) diff --git a/new-luxc/test/test/luxc/lang/synthesis/loop.lux b/new-luxc/test/test/luxc/lang/synthesis/loop.lux index af818255b..c6efa7dbf 100644 --- a/new-luxc/test/test/luxc/lang/synthesis/loop.lux +++ b/new-luxc/test/test/luxc/lang/synthesis/loop.lux @@ -35,7 +35,7 @@ (does-recursion? arity bodyS) _ - false)) + #0)) (^ [_ (#.Form (list& [_ (#.Text "lux recur")] argsS))]) (n/= arity (list.size argsS)) @@ -48,7 +48,7 @@ (recur elseS)) _ - false + #0 ))) (def: (gen-body arity output) @@ -139,7 +139,7 @@ (and (n/= arity _arity))) _ - false)))))) + #0)))))) (context: "Loop." (<| (times +100) @@ -159,4 +159,4 @@ (loopS.contains-self-reference? _bodyS) _ - false)))))) + #0)))))) diff --git a/new-luxc/test/test/luxc/lang/synthesis/procedure.lux b/new-luxc/test/test/luxc/lang/synthesis/procedure.lux index 9648e5add..ab6c9de6f 100644 --- a/new-luxc/test/test/luxc/lang/synthesis/procedure.lux +++ b/new-luxc/test/test/luxc/lang/synthesis/procedure.lux @@ -30,5 +30,5 @@ (list.zip2 argsA argsS))) _ - false))) + #0))) )))) diff --git a/new-luxc/test/test/luxc/lang/translation/case.lux b/new-luxc/test/test/luxc/lang/translation/case.lux index 20d072651..391dc5ad8 100644 --- a/new-luxc/test/test/luxc/lang/translation/case.lux +++ b/new-luxc/test/test/luxc/lang/translation/case.lux @@ -70,15 +70,15 @@ (|> (run (` ("lux case" (~ valueS) ("lux case alt" ("lux case seq" (~ pathS) - ("lux case exec" true)) + ("lux case exec" #1)) ("lux case seq" ("lux case bind" +0) - ("lux case exec" false)))))) + ("lux case exec" #0)))))) (case> (#e.Success valueT) (:coerce Bit valueT) (#e.Error error) (exec (log! error) - false)))) + #0)))) (test "Can bind values." (|> (run (` ("lux case" (~ (code.nat to-bind)) ("lux case seq" ("lux case bind" +0) @@ -88,7 +88,7 @@ (#e.Error error) (exec (log! error) - false)))) + #0)))) ))) (context: "[JVM] Pattern-matching." diff --git a/new-luxc/test/test/luxc/lang/translation/common.lux b/new-luxc/test/test/luxc/lang/translation/common.lux index 9aba56d6b..769aea3f5 100644 --- a/new-luxc/test/test/luxc/lang/translation/common.lux +++ b/new-luxc/test/test/luxc/lang/translation/common.lux @@ -34,7 +34,7 @@ (#e.Error error) (exec (log! error) - false)) + #0)) (let [param ])))] ["lux bit and" bit.and param] @@ -55,7 +55,7 @@ (#e.Error error) (exec (log! error) - false)) + #0)) (let [param (n/% +64 param)]))) )))) @@ -75,7 +75,7 @@ (#e.Error error) (exec (log! error) - false)) + #0)) (let [subject ])))] ["lux int to-frac" Frac int-to-frac f/= subject] @@ -93,7 +93,7 @@ (#e.Error error) (exec (log! error) - false)))))] + #0)))))] ["lux int +" i/+ Int i/=] ["lux int -" i/- Int i/=] @@ -117,7 +117,7 @@ ( ( param subject) (:coerce valueT)) _ - false)))] + #0)))] ["lux frac +" f/+ Frac f/=] ["lux frac -" f/- Frac f/=] @@ -143,7 +143,7 @@ ( (:coerce Frac valueT)) _ - false)))] + #0)))] ["lux frac min" (f/= frac/bottom)] ["lux frac max" (f/= frac/top)] @@ -157,7 +157,7 @@ (#e.Error error) (exec (log! error) - false))))] + #0))))] ["lux frac to-int" "lux int to-frac" (f/< 1.0)])) )))) @@ -205,34 +205,34 @@ (:coerce Bit valueV) _ - false)) + #0)) (|> (run (` ("lux text =" (~ sample0S) (~ sample1S)))) (case> (#e.Success valueV) (not (:coerce Bit valueV)) _ - false)))) + #0)))) (test "Can compare texts for order." (|> (run (` ("lux text <" (~ sample1S) (~ sample0S)))) (case> (#e.Success valueV) (:coerce Bit valueV) _ - false))) + #0))) (test "Can get length of text." (|> (run (` ("lux text size" (~ sample0S)))) (case> (#e.Success valueV) (n/= sample-size (:coerce Nat valueV)) _ - false))) + #0))) (test "Can concatenate text." (|> (run (` ("lux text size" (~ concatenatedS)))) (case> (#e.Success valueV) (n/= (n/* +2 sample-size) (:coerce Nat valueV)) _ - false))) + #0))) (test "Can find index of sub-text." (and (|> (run (` ("lux text index" (~ concatenatedS) (~ sample0S) +0))) (case> (^multi (#e.Success valueV) @@ -240,14 +240,14 @@ (n/= +0 valueV) _ - false)) + #0)) (|> (run (` ("lux text index" (~ concatenatedS) (~ sample1S) +0))) (case> (^multi (#e.Success valueV) [(:coerce (Maybe Nat) valueV) (#.Some valueV)]) (n/= sample-size valueV) _ - false)))) + #0)))) (let [test-clip (function (_ from to expected) (|> (run (` ("lux text clip" (~ concatenatedS) @@ -258,7 +258,7 @@ (text/= expected valueV) _ - false)))] + #0)))] (test "Can clip text to extract sub-text." (and (test-clip +0 sample-size sample0) (test-clip sample-size (n/* +2 sample-size) sample1)))) @@ -272,7 +272,7 @@ sample0) _ - false))) + #0))) ))) (def: (array-spec run) @@ -291,22 +291,22 @@ (#e.Error error) (exec (log! error) - false)))) + #0)))) (test "Can get element from array (if it exists)." (and (|> (run (` ("lux array get" (~ array0S) (~ (code.nat idx))))) (case> (^multi (#e.Success valueV) [(:coerce (Maybe Nat) valueV) #.None]) - true + #1 _ - false)) + #0)) (|> (run (` ("lux array get" (~ array1S) (~ (code.nat idx))))) (case> (^multi (#e.Success valueV) [(:coerce (Maybe Nat) valueV) (#.Some valueV)]) (n/= value valueV) _ - false)))) + #0)))) (test "Can remove element from array." (|> (run (` ("lux array get" ("lux array remove" (~ array1S) @@ -314,10 +314,10 @@ (~ (code.nat idx))))) (case> (^multi (#e.Success valueV) [(:coerce (Maybe Nat) valueV) #.None]) - true + #1 _ - false))) + #0))) ))) (def: (math-spec run) @@ -330,11 +330,11 @@ [(test (format "Can apply '" "' procedure.") (|> (run (` ( (~ (code.frac subject))))) (case> (#e.Success valueV) - true + #1 (#e.Error error) (exec (log! error) - false))))] + #0))))] ["lux math cos"] ["lux math sin"] @@ -350,11 +350,11 @@ [(test (format "Can apply '" "' procedure.") (|> (run (` ( (~ (code.frac subject)) (~ (code.frac param))))) (case> (#e.Success valueV) - true + #1 (#e.Error error) (exec (log! error) - false))))] + #0))))] ["lux math pow"])) )))) @@ -367,11 +367,11 @@ (test "Can log messages." (|> (run (` ("lux io log" (~ (code.text (format "LOG: " message)))))) (case> (#e.Success valueV) - true + #1 (#e.Error error) (exec (log! error) - false)))) + #0)))) (test "Can throw runtime errors." (and (|> (run (` ("lux try" ("lux function" +1 [] ("lux io error" (~ (code.text message))))))) @@ -380,7 +380,7 @@ (text.contains? message error) _ - false)) + #0)) (|> (run (` ("lux try" ("lux function" +1 [] (~ (code.text message)))))) (case> (^multi (#e.Success valueV) @@ -388,7 +388,7 @@ (text/= message valueV) _ - false)))) + #0)))) (test "Can obtain current time in milli-seconds." (|> (run (` [("lux io current-time") ("lux io current-time")])) (case> (#e.Success valueV) @@ -397,7 +397,7 @@ (#e.Error error) (exec (log! error) - false)))) + #0)))) ))) (def: (atom-spec run) @@ -416,7 +416,7 @@ (#e.Error error) (exec (log! error) - false)))) + #0)))) (test "Can compare-and-swap atoms." (and (|> (run (` ("lux let" +0 (~ preS) ("lux let" +1 ("lux atom new" (0)) @@ -429,7 +429,7 @@ (#e.Error error) (exec (log! error) - false))) + #0))) (|> (run (` ("lux let" +0 (~ preS) ("lux let" +1 ("lux atom new" (0)) [("lux atom compare-and-swap" (1) (~ postS) (~ postS)) @@ -441,7 +441,7 @@ (#e.Error error) (exec (log! error) - false))))) + #0))))) ))) (def: (box-spec run) @@ -460,7 +460,7 @@ (#e.Error error) (exec (log! error) - false)))) + #0)))) (test "Can write boxes." (|> (run (` ("lux let" +0 (~ boxS) ("lux let" +1 ("lux box write" (~ postS) (0)) @@ -470,7 +470,7 @@ (#e.Error error) (exec (log! error) - false)))) + #0)))) ))) (def: (process-spec run) @@ -483,7 +483,7 @@ (#e.Error error) (exec (log! error) - false)))) + #0)))) (do r.Monad [delay (|> r.nat (:: @ map (n/% +10))) message (r.text +5)] @@ -493,11 +493,11 @@ ("lux function" +1 [] ("lux io log" (~ (code.text (format "SCHEDULE: " message)))))))) (case> (#e.Success valueV) - true + #1 (#e.Error error) (exec (log! error) - false))))) + #0))))) )) (def: (all-specs run) diff --git a/new-luxc/test/test/luxc/lang/translation/function.lux b/new-luxc/test/test/luxc/lang/translation/function.lux index fd96aeeb9..9eb25d380 100644 --- a/new-luxc/test/test/luxc/lang/translation/function.lux +++ b/new-luxc/test/test/luxc/lang/translation/function.lux @@ -55,7 +55,7 @@ (#e.Error error) (exec (log! error) - false)))) + #0)))) (test "Can partially apply functions." (or (n/= +1 arity) (let [partial-arity (n/inc cut-off) @@ -69,7 +69,7 @@ (#e.Error error) (exec (log! error) - false)))))) + #0)))))) (test "Can read environment." (or (n/= +1 arity) (let [env (|> (list.n/range +0 cut-off) @@ -88,7 +88,7 @@ (#e.Error error) (exec (log! error) - false)))))) + #0)))))) ))) (context: "[JVM] Function." diff --git a/new-luxc/test/test/luxc/lang/translation/js.lux b/new-luxc/test/test/luxc/lang/translation/js.lux index 42947b580..8175e82fc 100644 --- a/new-luxc/test/test/luxc/lang/translation/js.lux +++ b/new-luxc/test/test/luxc/lang/translation/js.lux @@ -26,7 +26,7 @@ (:coerce Bit valueV) _ - false))) + #0))) (type: Check (-> (e.Error Any) Bit)) @@ -37,7 +37,7 @@ (<=> (
 angle) (:coerce  valueV))
                  
                  (#e.Error error)
-                 false)))]
+                 #0)))]
 
   [sin-check    Frac math.sin f/=]
   [length-check Nat  id       n/=]
@@ -75,10 +75,10 @@
                   (|> (run-js (` ("js object get" (~ field) (~ empty-object))))
                       (case> (^multi (#e.Success valueV)
                                      [(:coerce (Maybe Int) valueV) #.None])
-                             true
+                             #1
 
                              _
-                             false)))
+                             #0)))
             (test "Can get fields from objects."
                   (|> (run-js (` ("js object get" (~ field) (~ object))))
                       (case> (^multi (#e.Success valueV)
@@ -86,16 +86,16 @@
                              (i/= value (:coerce Int valueV))
 
                              _
-                             false)))
+                             #0)))
             (test "Can delete fields from objects."
                   (|> (run-js (let [post-delete (` ("js object delete" (~ field) (~ object)))]
                                 (` ("js object get" (~ field) (~ post-delete)))))
                       (case> (^multi (#e.Success valueV)
                                      [(:coerce (Maybe Int) valueV) #.None])
-                             true
+                             #1
 
                              _
-                             false)))
+                             #0)))
             (test "Can instance new objects."
                   (let [base (` ("js object new" ("js global" "Number") (~ (code.text (%f frac-value)))))]
                     (|> (run-js (` ("lux frac +" (~ base) 0.0)))
@@ -103,7 +103,7 @@
                                (f/= frac-value (:coerce Frac valueV))
 
                                (#e.Error error)
-                               false))))
+                               #0))))
             (test "Can call methods on objects."
                   (|> (run-js (` ("js object call" ("js global" "Math") "sin" (~ (code.text (%f frac-value))))))
                       (sin-check frac-value)))
@@ -130,7 +130,7 @@
                              (n/= reference sample)
 
                              _
-                             false)))
+                             #0)))
             (test "Can write an element into an array."
                   (let [idxS (code.nat idx)
                         overwriteS (code.nat overwrite)]
@@ -142,7 +142,7 @@
                                (n/= overwrite sample)
 
                                _
-                               false))))
+                               #0))))
             (test "Can delete an element from an array."
                   (let [idxS (code.nat idx)
                         deleteS (` ("js array delete" (~ idxS) (~ arrayS)))]
@@ -152,9 +152,9 @@
                              (case> (^multi (#e.Success elemV)
                                             [(:coerce (Maybe Nat) elemV)
                                              #.None])
-                                    true
+                                    #1
 
                                     _
-                                    false))
+                                    #0))
                          )))
             ))))
diff --git a/new-luxc/test/test/luxc/lang/translation/jvm.lux b/new-luxc/test/test/luxc/lang/translation/jvm.lux
index 34f1af508..f31496b08 100644
--- a/new-luxc/test/test/luxc/lang/translation/jvm.lux
+++ b/new-luxc/test/test/luxc/lang/translation/jvm.lux
@@ -40,7 +40,7 @@
                                                       (  (:coerce  valueT))
 
                                                       (#e.Error error)
-                                                      false)))]
+                                                      #0)))]
 
                                     ["jvm convert double-to-float" "jvm convert float-to-double" code.frac frac-sample Frac f/=]
                                     ["jvm convert double-to-int"   "jvm convert int-to-double" code.frac frac-sample Frac f/=]
@@ -72,7 +72,7 @@
                                         (  (:coerce  valueT))
 
                                         (#e.Error error)
-                                        false)))]
+                                        #0)))]
 
                       ["jvm convert long-to-int"   "jvm convert int-to-char"  "jvm convert char-to-long"  code.int int-sample Int i/=]
                       ["jvm convert long-to-int"   "jvm convert int-to-byte"  "jvm convert byte-to-long"  code.int int-sample Int i/=]
@@ -99,7 +99,7 @@
                                         (  (:coerce  valueT))
 
                                         (#e.Error error)
-                                        false)))]
+                                        #0)))]
 
                       ["jvm convert long-to-int" "jvm convert int-to-char" "jvm convert char-to-byte" "jvm convert byte-to-long" code.int int-sample Int i/=]
                       ["jvm convert long-to-int" "jvm convert int-to-char" "jvm convert char-to-short" "jvm convert short-to-long" code.int int-sample Int i/=]
@@ -141,7 +141,7 @@
                                                                  (:coerce  valueT))
 
                                                          (#e.Error error)
-                                                         false)))]
+                                                         #0)))]
 
                                        [(format "jvm "  " +") <+>]
                                        [(format "jvm "  " -") <->]
@@ -180,7 +180,7 @@
                                                 (:coerce Nat valueT))
 
                                            (#e.Error error)
-                                           false)))]
+                                           #0)))]
 
                          [(format "jvm "  " and") bit.and]
                          [(format "jvm "  " or") bit.or]
@@ -214,7 +214,7 @@
                                                    (:coerce  valueT))
 
                                            (#e.Error error)
-                                           false)))]
+                                           #0)))]
 
                          [(format "jvm "  " shl") bit.left-shift Nat n/= id code.nat]
                          [(format "jvm "  " shr") bit.arithmetic-right-shift Int i/= nat-to-int (|>> nat-to-int code.int)]
@@ -246,7 +246,7 @@
                                                                 (:coerce Bit valueT))
 
                                                          (#e.Error error)
-                                                         false)))]
+                                                         #0)))]
 
                                        [(format "jvm "  " =") <=>]
                                        [(format "jvm "  " <") <<>]
@@ -301,7 +301,7 @@
                                                       (  (:coerce  outputZ))
 
                                                       (#e.Error error)
-                                                      false)))]
+                                                      #0)))]
 
                                     ["boolean" Bit valueZ bit/= (code.bit valueZ)
                                      id]
@@ -349,7 +349,7 @@
                                                       (  (:coerce  outputT))
 
                                                       (#e.Error error)
-                                                      false)))]
+                                                      #0)))]
 
                                     ["char" Int valueC i/=
                                      (|> (code.int valueC) (~) "jvm convert long-to-int" "jvm convert int-to-char" (`))
@@ -377,7 +377,7 @@
                                (f/= valueD (:coerce Frac outputT))
 
                                (#e.Error error)
-                               false)))
+                               #0)))
               (test "jvm array length"
                     (|> (do macro.Monad
                           [sampleI (expressionT.translate (` ("jvm array length" ("jvm array new" +0 "java.lang.Object" (~ (code.nat size))))))]
@@ -388,7 +388,7 @@
                                (n/= size (:coerce Nat outputT))
 
                                (#e.Error error)
-                               false)))
+                               #0)))
               )))))
 
 (host.import: java/lang/Class
@@ -439,7 +439,7 @@
                              (:coerce Bit outputT)
 
                              (#e.Error error)
-                             false)))
+                             #0)))
             (test "jvm object null?"
                   (|> (do macro.Monad
                         [sampleI (expressionT.translate (` ("jvm object null?" (~ (code.int sample)))))]
@@ -450,7 +450,7 @@
                              (not (:coerce Bit outputT))
 
                              (#e.Error error)
-                             false)))
+                             #0)))
             (test "jvm object synchronized"
                   (|> (do macro.Monad
                         [sampleI (expressionT.translate (` ("jvm object synchronized" (~ (code.int monitor)) (~ (code.int sample)))))]
@@ -461,7 +461,7 @@
                              (i/= sample (:coerce Int outputT))
 
                              (#e.Error error)
-                             false)))
+                             #0)))
             (test "jvm object throw"
                   (|> (do macro.Monad
                         [_ runtimeT.translate
@@ -478,10 +478,10 @@
                                (text.contains? exception-message error)
 
                                (#e.Success outputT)
-                               false)
+                               #0)
 
                              (#e.Error error)
-                             false)))
+                             #0)))
             (test "jvm object class"
                   (|> (do macro.Monad
                         [sampleI (expressionT.translate (` ("jvm object class" (~ (code.text class)))))]
@@ -492,7 +492,7 @@
                              (|> outputT (:coerce Class) (Class::getName []) (text/= class))
 
                              (#e.Error error)
-                             false)))
+                             #0)))
             (test "jvm object instance?"
                   (|> (do macro.Monad
                         [sampleI (expressionT.translate (` ("jvm object instance?" (~ (code.text instance-class)) (~ instance))))]
@@ -503,7 +503,7 @@
                              (:coerce Bit outputT)
 
                              (#e.Error error)
-                             false)))
+                             #0)))
             ))))
 
 (host.import: java/util/GregorianCalendar
@@ -535,7 +535,7 @@
                              (i/= GregorianCalendar::AD (:coerce Int outputT))
 
                              (#e.Error error)
-                             false)))
+                             #0)))
             (test "jvm member static put"
                   (|> (do macro.Monad
                         [sampleI (expressionT.translate (` ("jvm member static put" "java.awt.datatransfer.DataFlavor" "allHtmlFlavor" "java.awt.datatransfer.DataFlavor"
@@ -547,7 +547,7 @@
                              (is? hostL.unit (:coerce Text outputT))
 
                              (#e.Error error)
-                             false)))
+                             #0)))
             (test "jvm member virtual get"
                   (|> (do macro.Monad
                         [sampleI (expressionT.translate (` ("jvm member virtual get" "org.omg.CORBA.ValueMember" "name" "java.lang.String" (~ value-memberS))))]
@@ -558,7 +558,7 @@
                              (text/= sample-string (:coerce Text outputT))
 
                              (#e.Error error)
-                             false)))
+                             #0)))
             (test "jvm member virtual put"
                   (|> (do macro.Monad
                         [sampleI (expressionT.translate (` ("jvm member virtual get" "org.omg.CORBA.ValueMember" "name" "java.lang.String"
@@ -571,7 +571,7 @@
                              (text/= other-sample-string (:coerce Text outputT))
 
                              (#e.Error error)
-                             false)))
+                             #0)))
             ))))
 
 (host.import: java/lang/Object)
@@ -600,7 +600,7 @@
                              (i/= sample (:coerce Int outputT))
 
                              (#e.Error error)
-                             false)))
+                             #0)))
             (test "jvm member invoke virtual"
                   (|> (do macro.Monad
                         [sampleI (expressionT.translate (` ("jvm object cast" "boolean" "java.lang.Boolean"
@@ -613,7 +613,7 @@
                              (:coerce Bit outputT)
 
                              (#e.Error error)
-                             false)))
+                             #0)))
             (test "jvm member invoke interface"
                   (|> (do macro.Monad
                         [sampleI (expressionT.translate (` ("jvm object cast" "boolean" "java.lang.Boolean"
@@ -626,7 +626,7 @@
                              (:coerce Bit outputT)
 
                              (#e.Error error)
-                             false)))
+                             #0)))
             (test "jvm member invoke constructor"
                   (|> (do macro.Monad
                         [sampleI (expressionT.translate array-listS)]
@@ -637,5 +637,5 @@
                              (host.instance? ArrayList (:coerce Object outputT))
 
                              (#e.Error error)
-                             false)))
+                             #0)))
             ))))
diff --git a/new-luxc/test/test/luxc/lang/translation/primitive.lux b/new-luxc/test/test/luxc/lang/translation/primitive.lux
index a58b3b97e..14a887873 100644
--- a/new-luxc/test/test/luxc/lang/translation/primitive.lux
+++ b/new-luxc/test/test/luxc/lang/translation/primitive.lux
@@ -31,7 +31,7 @@
 
                                     (#e.Error error)
                                     (exec (log! error)
-                                      false))))]
+                                      #0))))]
 
                   ["bit" Bit //synthesis.bit %bit% bit/=]
                   ["int"  Int  //synthesis.i64  %int%  i/=]
diff --git a/new-luxc/test/test/luxc/lang/translation/reference.lux b/new-luxc/test/test/luxc/lang/translation/reference.lux
index 17cd78d54..66dd8de9f 100644
--- a/new-luxc/test/test/luxc/lang/translation/reference.lux
+++ b/new-luxc/test/test/luxc/lang/translation/reference.lux
@@ -39,7 +39,7 @@
 
                      (#e.Error error)
                      (exec (log! error)
-                       false))))))
+                       #0))))))
 
 (def: (variables-spec run)
   (-> Runner Test)
@@ -55,7 +55,7 @@
 
                      (#e.Error error)
                      (exec (log! error)
-                       false))))))
+                       #0))))))
 
 (def: (references-spec run define)
   (-> Runner Definer Test)
diff --git a/new-luxc/test/test/luxc/lang/translation/structure.lux b/new-luxc/test/test/luxc/lang/translation/structure.lux
index 17068bb72..3251844b7 100644
--- a/new-luxc/test/test/luxc/lang/translation/structure.lux
+++ b/new-luxc/test/test/luxc/lang/translation/structure.lux
@@ -38,7 +38,7 @@
 
                      (#e.Error error)
                      (exec (log! error)
-                       false))))))
+                       #0))))))
 
 (def: (variants-spec run)
   (-> Runner Test)
@@ -69,7 +69,7 @@
 
                      (#e.Error error)
                      (exec (log! error)
-                       false))))))
+                       #0))))))
 
 (def: (structure-spec run)
   (-> Runner Test)
-- 
cgit v1.2.3