diff options
Diffstat (limited to 'new-luxc/test/test/luxc')
12 files changed, 101 insertions, 101 deletions
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) <failure>)))] - [success true false] - [failure false true] + [success #1 #0] + [failure #0 #1] ) (do-template [<name> <success> <failure>] @@ -71,8 +71,8 @@ (#e.Error error) <failure>)))] - [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<Meta> [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 <param-expr>])))] ["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 <subject-expr>])))] ["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 @@ (<comp> (<reference> param subject) (:coerce <outputT> valueT)) _ - false)))] + #0)))] ["lux frac +" f/+ Frac f/=] ["lux frac -" f/- Frac f/=] @@ -143,7 +143,7 @@ (<test> (: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 '" <name> "' procedure.") (|> (run (` (<name> (~ (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 '" <name> "' procedure.") (|> (run (` (<name> (~ (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<Random> [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 @@ (<=> (<pre> angle) (:coerce <type> 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 @@ (<test> <sample> (:coerce <cast> 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 @@ (<test> <sample> (:coerce <cast> 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 @@ (<test> <sample> (:coerce <cast> 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 <type> valueT)) (#e.Error error) - false)))] + #0)))] [(format "jvm " <domain> " +") <+>] [(format "jvm " <domain> " -") <->] @@ -180,7 +180,7 @@ (:coerce Nat valueT)) (#e.Error error) - false)))] + #0)))] [(format "jvm " <domain> " and") bit.and] [(format "jvm " <domain> " or") bit.or] @@ -214,7 +214,7 @@ (:coerce <type> valueT)) (#e.Error error) - false)))] + #0)))] [(format "jvm " <domain> " shl") bit.left-shift Nat n/= id code.nat] [(format "jvm " <domain> " 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 " <domain> " =") <=>] [(format "jvm " <domain> " <") <<>] @@ -301,7 +301,7 @@ (<test> <value> (:coerce <type> outputZ)) (#e.Error error) - false)))] + #0)))] ["boolean" Bit valueZ bit/= (code.bit valueZ) id] @@ -349,7 +349,7 @@ (<test> <value> (:coerce <type> 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<Meta> [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<Meta> [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<Meta> [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<Meta> [_ 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<Meta> [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<Meta> [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<Meta> [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<Meta> [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<Meta> [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<Meta> [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<Meta> [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<Meta> [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) |