aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/target/js.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/lux/target/js.lux144
1 files changed, 72 insertions, 72 deletions
diff --git a/stdlib/source/test/lux/target/js.lux b/stdlib/source/test/lux/target/js.lux
index 8f1da42bb..20a49a462 100644
--- a/stdlib/source/test/lux/target/js.lux
+++ b/stdlib/source/test/lux/target/js.lux
@@ -83,16 +83,16 @@
{.#Some _} false)))
(try.else false)))
(_.cover [/.boolean]
- (expression (|>> (:as Bit) (bit#= boolean))
+ (expression (|>> (as Bit) (bit#= boolean))
(/.boolean boolean)))
(_.cover [/.number]
- (expression (|>> (:as Frac) (f.= number))
+ (expression (|>> (as Frac) (f.= number))
(/.number number)))
(_.cover [/.int]
- (expression (|>> (:as Frac) f.int (i.= int))
+ (expression (|>> (as Frac) f.int (i.= int))
(/.int int)))
(_.cover [/.string]
- (expression (|>> (:as Text) (text#= string))
+ (expression (|>> (as Text) (text#= string))
(/.string string)))
)))
@@ -105,14 +105,14 @@
(~~ (template [<js> <lux>]
[(_.cover [<js>]
(let [expected (<lux> left right)]
- (expression (|>> (:as Bit) (bit#= expected))
+ (expression (|>> (as Bit) (bit#= expected))
(<js> (/.boolean left) (/.boolean right)))))]
[/.or .or]
[/.and .and]
))
(_.cover [/.not]
- (expression (|>> (:as Bit) (bit#= (not left)))
+ (expression (|>> (as Bit) (bit#= (not left)))
(/.not (/.boolean left))))
))))
@@ -126,7 +126,7 @@
(~~ (template [<js> <lux>]
[(_.cover [<js>]
(let [expected (<lux> parameter subject)]
- (expression (|>> (:as Frac) (f.= expected))
+ (expression (|>> (as Frac) (f.= expected))
(<js> (/.number parameter) (/.number subject)))))]
[/.+ f.+]
@@ -138,7 +138,7 @@
(~~ (template [<js> <lux>]
[(_.cover [<js>]
(let [expected (<lux> parameter subject)]
- (expression (|>> (:as Bit) (bit#= expected))
+ (expression (|>> (as Bit) (bit#= expected))
(<js> (/.number parameter) (/.number subject)))))]
[/.< f.<]
@@ -162,7 +162,7 @@
(~~ (template [<js> <lux>]
[(_.cover [<js>]
(let [expected (<lux> left right)]
- (expression (|>> (:as Frac) f.int (i.= expected))
+ (expression (|>> (as Frac) f.int (i.= expected))
(<js> (/.int left) (/.int right)))))]
[/.bit_or i64.or]
@@ -170,35 +170,35 @@
[/.bit_and i64.and]
))
(_.cover [/.opposite]
- (expression (|>> (:as Frac) f.int (i.= (i.* -1 i32)))
+ (expression (|>> (as Frac) f.int (i.= (i.* -1 i32)))
(/.opposite (/.i32 i32))))
(_.cover [/.i32]
- (expression (|>> (:as Frac) f.int (i.= i32))
+ (expression (|>> (as Frac) f.int (i.= i32))
(/.i32 i32)))
(_.cover [/.to_i32]
- (expression (|>> (:as Frac) f.int (i.= i32))
+ (expression (|>> (as Frac) f.int (i.= i32))
(/.to_i32 (/.int i32))))
(_.cover [/.left_shift]
(let [expected (i64.left_shifted shift i16)]
- (expression (|>> (:as Frac) f.int (i.= expected))
+ (expression (|>> (as Frac) f.int (i.= expected))
(/.left_shift (/.int (.int shift))
(/.i32 i16)))))
(_.cover [/.logic_right_shift]
(let [expected (i64.right_shifted shift (as_int/32 i16))]
- (expression (|>> (:as Frac) f.int (i.= expected))
+ (expression (|>> (as Frac) f.int (i.= expected))
(/.logic_right_shift (/.int (.int shift))
(/.i32 i16)))))
(_.cover [/.arithmetic_right_shift]
(let [expected (i.right_shifted shift i16)]
- (expression (|>> (:as Frac) f.int (i.= expected))
+ (expression (|>> (as Frac) f.int (i.= expected))
(/.arithmetic_right_shift (/.int (.int shift))
(/.i32 i16)))))
(_.cover [/.bit_not]
(let [expected (if (i.< +0 i32)
(as_int/32 (i64.not i32))
(i64.not (as_int/32 i32)))]
- (expression (|>> (:as Frac) f.int (i.= expected))
+ (expression (|>> (as Frac) f.int (i.= expected))
(/.bit_not (/.i32 i32)))))
))))
@@ -213,10 +213,10 @@
(maybe.else f.not_a_number))]]
($_ _.and
(_.cover [/.array /.at]
- (and (expression (|>> (:as Frac) (f.= expected))
+ (and (expression (|>> (as Frac) (f.= expected))
(/.at (/.int (.int index))
(/.array (list#each /.number items))))
- (expression (|>> (:as Bit))
+ (expression (|>> (as Bit))
(|> (/.array (list#each /.number items))
(/.at (/.int (.int size)))
(/.= /.undefined)))))
@@ -235,17 +235,17 @@
items (random.list size random.safe_frac)]
($_ _.and
(_.cover [/.object /.the]
- (expression (|>> (:as Frac) (f.= expected))
+ (expression (|>> (as Frac) (f.= expected))
(/.the field (/.object (list [field (/.number expected)])))))
(let [expected (|> items
(list.item index)
(maybe.else f.not_a_number))]
(_.cover [/.do]
- (expression (|>> (:as Frac) f.int (i.= (.int index)))
+ (expression (|>> (as Frac) f.int (i.= (.int index)))
(|> (/.array (list#each /.number items))
(/.do "lastIndexOf" (list (/.number expected)))))))
(_.cover [/.undefined]
- (expression (|>> (:as Bit))
+ (expression (|>> (as Bit))
(|> (/.object (list [field (/.number expected)]))
(/.the dummy)
(/.= /.undefined))))
@@ -271,34 +271,34 @@
..test|object
(_.cover [/.?]
(let [expected (if test then else)]
- (expression (|>> (:as Frac) (f.= expected))
+ (expression (|>> (as Frac) (f.= expected))
(/.? (/.boolean test)
(/.number then)
(/.number else)))))
(_.cover [/.not_a_number?]
- (and (expression (|>> (:as Bit))
+ (and (expression (|>> (as Bit))
(/.not_a_number? (/.number f.not_a_number)))
- (expression (|>> (:as Bit) not)
+ (expression (|>> (as Bit) not)
(/.not_a_number? (/.number then)))))
(_.cover [/.type_of]
- (and (expression (|>> (:as Text) (text#= "boolean"))
+ (and (expression (|>> (as Text) (text#= "boolean"))
(/.type_of (/.boolean boolean)))
- (expression (|>> (:as Text) (text#= "number"))
+ (expression (|>> (as Text) (text#= "number"))
(/.type_of (/.number number)))
- (expression (|>> (:as Text) (text#= "string"))
+ (expression (|>> (as Text) (text#= "string"))
(/.type_of (/.string string)))
- (expression (|>> (:as Text) (text#= "object"))
+ (expression (|>> (as Text) (text#= "object"))
(/.type_of /.null))
- (expression (|>> (:as Text) (text#= "object"))
+ (expression (|>> (as Text) (text#= "object"))
(/.type_of (/.object (list [string (/.number number)]))))
- (expression (|>> (:as Text) (text#= "object"))
+ (expression (|>> (as Text) (text#= "object"))
(/.type_of (/.array (list (/.boolean boolean)
(/.number number)
(/.string string)))))
- (expression (|>> (:as Text) (text#= "undefined"))
+ (expression (|>> (as Text) (text#= "undefined"))
(/.type_of /.undefined))))
(_.cover [/.comment]
- (expression (|>> (:as Frac) (f.= then))
+ (expression (|>> (as Frac) (f.= then))
(/.comment comment
(/.number then))))
)))
@@ -314,7 +314,7 @@
(_.for [/.Computation]
..test|computation)
(_.cover [/.,]
- (expression (|>> (:as Frac) (f.= expected))
+ (expression (|>> (as Frac) (f.= expected))
(/., (/.number dummy) (/.number expected))))
))))
@@ -331,18 +331,18 @@
$local (/.var local)]]
($_ _.and
(_.cover [/.var]
- (expression (|>> (:as Frac) (f.= number/0))
+ (expression (|>> (as Frac) (f.= number/0))
(/.apply/* (/.closure (list $foreign) (/.return $foreign))
(list (/.number number/0)))))
(_.cover [/.define]
- (expression (|>> (:as Frac) (f.= number/1))
+ (expression (|>> (as Frac) (f.= number/1))
(/.apply/* (/.closure (list $foreign)
($_ /.then
(/.define $local (/.number number/1))
(/.return $local)))
(list (/.number number/0)))))
(_.cover [/.declare]
- (expression (|>> (:as Frac) (f.= number/1))
+ (expression (|>> (as Frac) (f.= number/1))
(/.apply/* (/.closure (list $foreign)
($_ /.then
(/.declare $local)
@@ -360,13 +360,13 @@
field (random.ascii/upper 10)]
($_ _.and
(_.cover [/.set]
- (and (expression (|>> (:as Frac) (f.= (f.+ number/0 number/0)))
+ (and (expression (|>> (as Frac) (f.= (f.+ number/0 number/0)))
(/.apply/* (/.closure (list $foreign)
($_ /.then
(/.set $foreign (/.+ $foreign $foreign))
(/.return $foreign)))
(list (/.number number/0))))
- (expression (|>> (:as Frac) (f.= (f.+ number/0 number/0)))
+ (expression (|>> (as Frac) (f.= (f.+ number/0 number/0)))
(let [@ (/.at (/.int +0) $foreign)]
(/.apply/* (/.closure (list $foreign)
($_ /.then
@@ -374,7 +374,7 @@
(/.set @ (/.+ @ @))
(/.return @)))
(list (/.number number/0)))))
- (expression (|>> (:as Frac) (f.= (f.+ number/0 number/0)))
+ (expression (|>> (as Frac) (f.= (f.+ number/0 number/0)))
(let [@ (/.the field $foreign)]
(/.apply/* (/.closure (list $foreign)
($_ /.then
@@ -383,17 +383,17 @@
(/.return @)))
(list (/.number number/0)))))))
(_.cover [/.delete]
- (and (and (expression (|>> (:as Bit))
+ (and (and (expression (|>> (as Bit))
(/.apply/* (/.closure (list)
($_ /.then
(/.set $foreign (/.number number/0))
(/.return (/.delete $foreign))))
(list)))
- (expression (|>> (:as Bit) not)
+ (expression (|>> (as Bit) not)
(/.apply/* (/.closure (list $foreign)
(/.return (/.delete $foreign)))
(list (/.number number/0)))))
- (expression (|>> (:as Bit))
+ (expression (|>> (as Bit))
(let [@ (/.at (/.int +0) $foreign)]
(/.apply/* (/.closure (list $foreign)
($_ /.then
@@ -401,7 +401,7 @@
(/.return (|> (/.= (/.boolean true) (/.delete @))
(/.and (/.= /.undefined @))))))
(list (/.number number/0)))))
- (expression (|>> (:as Bit))
+ (expression (|>> (as Bit))
(let [@ (/.the field $foreign)]
(/.apply/* (/.closure (list $foreign)
($_ /.then
@@ -412,13 +412,13 @@
))
(_.cover [/.Access]
(`` (and (~~ (template [<js> <lux>]
- [(expression (|>> (:as Frac) f.int (i.= (<lux> int/0)))
+ [(expression (|>> (as Frac) f.int (i.= (<lux> int/0)))
(/.apply/* (/.closure (list $foreign)
($_ /.then
(/.statement (<js> $foreign))
(/.return $foreign)))
(list (/.int int/0))))
- (expression (|>> (:as Frac) f.int (i.= (<lux> int/0)))
+ (expression (|>> (as Frac) f.int (i.= (<lux> int/0)))
(let [@ (/.at (/.int +0) $foreign)]
(/.apply/* (/.closure (list $foreign)
($_ /.then
@@ -426,7 +426,7 @@
(/.statement (<js> @))
(/.return @)))
(list (/.int int/0)))))
- (expression (|>> (:as Frac) f.int (i.= (<lux> int/0)))
+ (expression (|>> (as Frac) f.int (i.= (<lux> int/0)))
(let [@ (/.the field $foreign)]
(/.apply/* (/.closure (list $foreign)
($_ /.then
@@ -461,7 +461,7 @@
($_ _.and
(_.cover [/.break]
(let [expected (i.* (.int expected_inner_iterations) input)]
- (expression (|>> (:as Frac) f.int (i.= expected))
+ (expression (|>> (as Frac) f.int (i.= expected))
(/.apply/* (/.closure (list $input)
($_ /.then
(/.define $inner_index (/.int +0))
@@ -477,7 +477,7 @@
(list (/.int input))))))
(_.cover [/.continue]
(let [expected (i.* (.int (n.- expected_inner_iterations full_inner_iterations)) input)]
- (expression (|>> (:as Frac) f.int (i.= expected))
+ (expression (|>> (as Frac) f.int (i.= expected))
(/.apply/* (/.closure (list $input)
($_ /.then
(/.define $inner_index (/.int +0))
@@ -497,7 +497,7 @@
(let [expected (i.* (.int (n.* expected_outer_iterations
expected_inner_iterations))
input)]
- (expression (|>> (:as Frac) f.int (i.= expected))
+ (expression (|>> (as Frac) f.int (i.= expected))
(/.apply/* (/.closure (list $input)
($_ /.then
(/.define $output (/.int +0))
@@ -523,7 +523,7 @@
(let [expected (i.* (.int (n.* (n.- expected_outer_iterations full_outer_iterations)
(n.- expected_inner_iterations full_inner_iterations)))
input)]
- (expression (|>> (:as Frac) f.int (i.= expected))
+ (expression (|>> (as Frac) f.int (i.= expected))
(/.apply/* (/.closure (list $input)
($_ /.then
(/.define $output (/.int +0))
@@ -561,7 +561,7 @@
expected|do_while (i.* (.int (n.max 1 iterations)) input)]]
($_ _.and
(_.cover [/.while]
- (expression (|>> (:as Frac) f.int (i.= expected|while))
+ (expression (|>> (as Frac) f.int (i.= expected|while))
(/.apply/* (/.closure (list $input)
($_ /.then
(/.define $index (/.int +0))
@@ -574,7 +574,7 @@
(/.return $output)))
(list (/.int input)))))
(_.cover [/.do_while]
- (expression (|>> (:as Frac) f.int (i.= expected|do_while))
+ (expression (|>> (as Frac) f.int (i.= expected|do_while))
(/.apply/* (/.closure (list $input)
($_ /.then
(/.define $index (/.int +0))
@@ -587,7 +587,7 @@
(/.return $output)))
(list (/.int input)))))
(_.cover [/.for]
- (expression (|>> (:as Frac) f.int (i.= expected|while))
+ (expression (|>> (as Frac) f.int (i.= expected|while))
(/.apply/* (/.closure (list $input)
($_ /.then
(/.define $output (/.int +0))
@@ -610,13 +610,13 @@
$ex (# ! each /.var (random.ascii/lower 10))]
($_ _.and
(_.cover [/.try]
- (expression (|>> (:as Frac) (f.= expected))
+ (expression (|>> (as Frac) (f.= expected))
(/.apply/* (/.closure (list)
(/.try (/.return (/.number expected))
[$ex (/.return (/.number dummy))]))
(list))))
(_.cover [/.throw]
- (expression (|>> (:as Frac) (f.= expected))
+ (expression (|>> (as Frac) (f.= expected))
(/.apply/* (/.closure (list)
(/.try ($_ /.then
(/.throw (/.number expected))
@@ -636,22 +636,22 @@
$arg/2 (# ! each /.var (random.ascii/lower 12))]
(`` ($_ _.and
(_.cover [/.apply/1]
- (expression (|>> (:as Frac) (f.= number/0))
+ (expression (|>> (as Frac) (f.= number/0))
(/.apply/1 (/.closure (list $arg/0) (/.return $arg/0))
(/.number number/0))))
(_.cover [/.apply/2]
- (expression (|>> (:as Frac) (f.= ($_ f.+ number/0 number/1)))
+ (expression (|>> (as Frac) (f.= ($_ f.+ number/0 number/1)))
(/.apply/2 (/.closure (list $arg/0 $arg/1) (/.return ($_ /.+ $arg/0 $arg/1)))
(/.number number/0)
(/.number number/1))))
(_.cover [/.apply/3]
- (expression (|>> (:as Frac) (f.= ($_ f.+ number/0 number/1 number/2)))
+ (expression (|>> (as Frac) (f.= ($_ f.+ number/0 number/1 number/2)))
(/.apply/3 (/.closure (list $arg/0 $arg/1 $arg/2) (/.return ($_ /.+ $arg/0 $arg/1 $arg/2)))
(/.number number/0)
(/.number number/1)
(/.number number/2))))
(_.cover [/.apply/*]
- (expression (|>> (:as Frac) (f.= ($_ f.+ number/0 number/1 number/2)))
+ (expression (|>> (as Frac) (f.= ($_ f.+ number/0 number/1 number/2)))
(/.apply/* (/.closure (list $arg/0 $arg/1 $arg/2) (/.return ($_ /.+ $arg/0 $arg/1 $arg/2)))
(list (/.number number/0)
(/.number number/1)
@@ -669,18 +669,18 @@
$class (# ! each /.var (random.ascii/upper 4))]
($_ _.and
(_.cover [/.closure /.return]
- (expression (|>> (:as Frac) (f.= number/0))
+ (expression (|>> (as Frac) (f.= number/0))
(/.apply/* (/.closure (list) (/.return (/.number number/0)))
(list))))
(_.cover [/.function]
- (expression (|>> (:as Frac) f.nat (n.= iterations))
+ (expression (|>> (as Frac) f.nat (n.= iterations))
(/.apply/1 (/.function $self (list $arg/0)
(/.return (/.? (/.< (/.int (.int iterations)) $arg/0)
(/.apply/1 $self (/.+ (/.int +1) $arg/0))
$arg/0)))
(/.int +0))))
(_.cover [/.function!]
- (expression (|>> (:as Frac) f.nat (n.= iterations))
+ (expression (|>> (as Frac) f.nat (n.= iterations))
(/.apply/* (/.closure (list)
($_ /.then
(/.function! $self (list $arg/0)
@@ -691,7 +691,7 @@
(list))))
(_.cover [/.new]
(let [$this (/.var "this")]
- (expression (|>> (:as Frac) (f.= number/0))
+ (expression (|>> (as Frac) (f.= number/0))
(/.apply/1 (/.closure (list $arg/0)
($_ /.then
(/.function! $class (list)
@@ -720,14 +720,14 @@
int ..int/16]
($_ _.and
(_.cover [/.if]
- (expression (|>> (:as Frac) (f.= (if ??? number/0 number/1)))
+ (expression (|>> (as Frac) (f.= (if ??? number/0 number/1)))
(/.apply/* (/.closure (list)
(/.if (/.boolean ???)
(/.return (/.number number/0))
(/.return (/.number number/1))))
(list))))
(_.cover [/.when]
- (expression (|>> (:as Frac) (f.= (if ??? number/0 number/1)))
+ (expression (|>> (as Frac) (f.= (if ??? number/0 number/1)))
(/.apply/* (/.closure (list)
($_ /.then
(/.when (/.boolean ???)
@@ -738,21 +738,21 @@
(let [number/0' (%.frac number/0)
number/1' (%.frac number/1)
number/2' (%.frac number/2)]
- (and (expression (|>> (:as Text) (text#= number/0'))
+ (and (expression (|>> (as Text) (text#= number/0'))
(/.apply/* (/.closure (list)
(/.switch (/.number number/0)
(list [(list (/.number number/0)) (/.return (/.string number/0'))]
[(list (/.number number/1)) (/.return (/.string number/1'))])
{.#None}))
(list)))
- (expression (|>> (:as Text) (text#= number/1'))
+ (expression (|>> (as Text) (text#= number/1'))
(/.apply/* (/.closure (list)
(/.switch (/.number number/1)
(list [(list (/.number number/0)) (/.return (/.string number/0'))]
[(list (/.number number/1)) (/.return (/.string number/1'))])
{.#Some (/.return (/.string number/2'))}))
(list)))
- (expression (|>> (:as Text) (text#= number/2'))
+ (expression (|>> (as Text) (text#= number/2'))
(/.apply/* (/.closure (list)
(/.switch (/.number number/2)
(list [(list (/.number number/0)) (/.return (/.string number/0'))]
@@ -775,7 +775,7 @@
int ..int/16]
(`` ($_ _.and
(_.cover [/.statement]
- (expression (|>> (:as Frac) (f.= number/0))
+ (expression (|>> (as Frac) (f.= number/0))
(/.apply/1 (/.closure (list $arg/0)
($_ /.then
(/.statement (/.+ $arg/0 $arg/0))
@@ -783,7 +783,7 @@
(/.number number/0))))
(~~ (template [<js> <lux>]
[(_.cover [<js>]
- (expression (|>> (:as Frac) f.int (i.= (<lux> int)))
+ (expression (|>> (as Frac) f.int (i.= (<lux> int)))
(/.apply/1 (/.closure (list $arg/0)
(/.return (/., (<js> $arg/0)
$arg/0)))
@@ -793,7 +793,7 @@
[/.-- .--]
))
(_.cover [/.then]
- (expression (|>> (:as Frac) (f.= number/0))
+ (expression (|>> (as Frac) (f.= number/0))
(/.apply/2 (/.closure (list $arg/0 $arg/1)
($_ /.then
(/.return $arg/0)
@@ -801,7 +801,7 @@
(/.number number/0)
(/.number number/1))))
(_.cover [/.use_strict]
- (and (expression (|>> (:as Frac) (f.= number/0))
+ (and (expression (|>> (as Frac) (f.= number/0))
(/.apply/* (/.closure (list)
($_ /.then
/.use_strict
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-05 01:22:09 +0000