diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/target/lua.lux | 44 |
1 files changed, 22 insertions, 22 deletions
diff --git a/stdlib/source/test/lux/target/lua.lux b/stdlib/source/test/lux/target/lua.lux index e8c1057c5..0ada22cf1 100644 --- a/stdlib/source/test/lux/target/lua.lux +++ b/stdlib/source/test/lux/target/lua.lux @@ -35,7 +35,7 @@ ... http://www.lua.org/manual/5.3/manual.html#pdf-load (ffi.import (load [Text] "?" (-> Any Any))) -(def: (expression ??? it) +(def (expression ??? it) (-> (-> Any Bit) /.Expression Bit) (|> it /.code @@ -44,7 +44,7 @@ (maybe#each (|>> (function.on []) ???)) (maybe.else false))) -(def: test|literal +(def test|literal Test (do [! random.monad] [boolean random.bit @@ -73,7 +73,7 @@ (/.string string))) ))) -(def: test|boolean +(def test|boolean Test (do [! random.monad] [left random.bit @@ -94,7 +94,7 @@ )))) (with_template [<bits>] - [(`` (def: (~~ (template.symbol [int_ <bits>])) + [(`` (def (~~ (template.symbol [int_ <bits>])) (Random Int) (let [mask (|> 1 (i64.left_shifted (-- <bits>)) --)] (random#each (|>> (i64.and mask) .int) random.nat))))] @@ -103,7 +103,7 @@ [32] ) -(def: test|int +(def test|int Test (do [! random.monad] [left random.int @@ -146,7 +146,7 @@ (/.// (/.int parameter) (/.int subject))))) )))) -(def: test|float +(def test|float Test (do [! random.monad] [parameter (random.only (|>> (f.= +0.0) not) @@ -180,7 +180,7 @@ )) )))) -(def: test|string +(def test|string Test (do random.monad [left (random.lower_case 8) @@ -193,7 +193,7 @@ (/.concat (/.string right))))) ))) -(def: test|array +(def test|array Test (do [! random.monad] [size (at ! each (|>> (n.% 10) ++) random.nat) @@ -216,7 +216,7 @@ (/.length (/.array (list#each /.float items))))) ))) -(def: test|table +(def test|table Test (do [! random.monad] [expected random.safe_frac @@ -255,7 +255,7 @@ (/.apply (list))))) ))) -(def: test|computation +(def test|computation Test (do [! random.monad] [test random.bit @@ -304,7 +304,7 @@ (/.float then)))) ))) -(def: test|expression +(def test|expression Test (`` (all _.and (_.for [/.Literal] @@ -313,7 +313,7 @@ ..test|computation) ))) -(def: test/var +(def test/var Test (do [! random.monad] [float/0 random.safe_frac @@ -354,7 +354,7 @@ (/.apply (list (/.float float/0)))))) ))) -(def: test/location +(def test/location Test (do [! random.monad] [float/0 random.safe_frac @@ -406,7 +406,7 @@ ..test/var) ))) -(def: test|label +(def test|label Test (do [! random.monad] [input ..int_16 @@ -496,7 +496,7 @@ (/.apply (list (/.int input)))))) ))) -(def: test|loop +(def test|loop Test (do [! random.monad] [input ..int_16 @@ -554,7 +554,7 @@ ..test|label) ))) -(def: test|exception +(def test|exception Test (do [! random.monad] [expected random.safe_frac @@ -599,7 +599,7 @@ (/.apply (list))))) ))) -(def: test|function +(def test|function Test (do [! random.monad] [float/0 random.safe_frac @@ -640,7 +640,7 @@ ))) ))) -(def: test|branching +(def test|branching Test (do [! random.monad] [float/0 random.safe_frac @@ -664,7 +664,7 @@ (/.apply (list))))) ))) -(def: test|binding +(def test|binding Test (all _.and ..test|function @@ -672,7 +672,7 @@ ..test/location) )) -(def: test|control +(def test|control Test (all _.and ..test|branching @@ -680,7 +680,7 @@ ..test|exception )) -(def: test|statement +(def test|statement Test (do [! random.monad] [float/0 random.safe_frac @@ -699,7 +699,7 @@ ..test|control )))) -(def: .public test +(def .public test Test (do [! random.monad] [.let [random (at ! each /.int random.int)] |