aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/lux.lux')
-rw-r--r--stdlib/source/test/lux.lux110
1 files changed, 46 insertions, 64 deletions
diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux
index 6a6ef3fac..46d467058 100644
--- a/stdlib/source/test/lux.lux
+++ b/stdlib/source/test/lux.lux
@@ -176,24 +176,24 @@
($_ _.and
(_.cover [/.try]
(case (/.try expected)
- {#.Left _}
+ {.#Left _}
false
- {#.Right actual}
+ {.#Right actual}
(n.= expected actual)))
(_.cover [/.undefined]
(case (/.try (/.undefined))
- {#.Left _}
+ {.#Left _}
true
- {#.Right _}
+ {.#Right _}
false))
(_.cover [/.panic!]
(case (/.try (/.panic! expected_error))
- {#.Left actual_error}
+ {.#Left actual_error}
(text.contains? expected_error actual_error)
- {#.Right _}
+ {.#Right _}
false))
)))
@@ -321,12 +321,6 @@
(/.' .example_identifier))
(code\= (code.identifier [..current_module "example_identifier"])
(/.' ..example_identifier))
- (code\= (code.tag ["" "example"])
- (/.' #example))
- (code\= (code.tag [/.prelude_module "example"])
- (/.' #.example))
- (code\= (code.tag [..current_module "example"])
- (/.' #..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)
@@ -357,12 +351,6 @@
(/.` .example_identifier))
(code\= (code.identifier [..current_module "example_identifier"])
(/.` ..example_identifier))
- (code\= (code.tag [..current_module "example"])
- (/.` #example))
- (code\= (code.tag [/.prelude_module "example"])
- (/.` #.example))
- (code\= (code.tag [..current_module "example"])
- (/.` #..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)
@@ -392,12 +380,6 @@
(/.`' .example_identifier))
(code\= (code.identifier [..current_module "example_identifier"])
(/.`' ..example_identifier))
- (code\= (code.tag ["" "example"])
- (/.`' #example))
- (code\= (code.tag [/.prelude_module "example"])
- (/.`' #.example))
- (code\= (code.tag [..current_module "example"])
- (/.`' #..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)
@@ -425,7 +407,7 @@
))
(_.cover [/.Ann]
(|> example
- (value@ #/.meta)
+ (value@ /.#meta)
(location\= location.dummy)))
)))
@@ -436,14 +418,14 @@
"This is an arbitrary text whose only purpose is to be found, somewhere, in the source-code.")
(/.macro: (found_crosshair? tokens lux)
- (let [[_ _ source_code] (value@ #.source lux)]
- {#.Right [lux (list (code.bit (text.contains? ..crosshair source_code)))]}))
+ (let [[_ _ source_code] (value@ .#source lux)]
+ {.#Right [lux (list (code.bit (text.contains? ..crosshair source_code)))]}))
(def: for_macro
Test
(let [macro (: /.Macro'
(function (_ tokens lux)
- {#.Right [lux (list)]}))]
+ {.#Right [lux (list)]}))]
(do random.monad
[expected random.nat]
(with_expansions [<found_crosshair?> (for [@.old (~~ (as_is))]
@@ -467,7 +449,7 @@
(/.type: for_type/variant
(Variant
- #Case/0
+ {#Case/0}
{#Case/1 Nat}
{#Case/2 Int Text}))
@@ -487,7 +469,7 @@
expected_left random.nat
expected_right random.nat
- .let [existential_type (\ ! each (|>> #.Ex) random.nat)]
+ .let [existential_type (\ ! each (|>> {.#Ex}) random.nat)]
expected/0 existential_type
expected/1 existential_type]
(<| (_.for [/.Type])
@@ -518,7 +500,7 @@
(same? /.Nat (/.:of expected)))
(_.cover [/.primitive]
(case (/.primitive "foo" [expected/0 expected/1])
- (^ {#.Primitive "foo" (list actual/0 actual/1)})
+ (^ {.#Primitive "foo" (list actual/0 actual/1)})
(and (same? expected/0 actual/0)
(same? expected/1 actual/1))
@@ -526,28 +508,28 @@
false))
(_.cover [/.type]
(and (case (/.type [expected/0 expected/1])
- {#.Product actual/0 actual/1}
+ {.#Product actual/0 actual/1}
(and (same? expected/0 actual/0)
(same? expected/1 actual/1))
_
false)
(case (/.type (/.Or expected/0 expected/1))
- {#.Sum actual/0 actual/1}
+ {.#Sum actual/0 actual/1}
(and (same? expected/0 actual/0)
(same? expected/1 actual/1))
_
false)
(case (/.type (-> expected/0 expected/1))
- {#.Function actual/0 actual/1}
+ {.#Function actual/0 actual/1}
(and (same? expected/0 actual/0)
(same? expected/1 actual/1))
_
false)
(case (/.type (expected/0 expected/1))
- {#.Apply actual/1 actual/0}
+ {.#Apply actual/1 actual/0}
(and (same? expected/0 actual/0)
(same? expected/1 actual/1))
@@ -836,11 +818,11 @@
(_.cover [/.Either]
(and (exec
(: (/.Either Nat Text)
- {#.Left left})
+ {.#Left left})
true)
(exec
(: (/.Either Nat Text)
- {#.Right right})
+ {.#Right right})
true)))
(_.cover [/.Any]
(and (exec
@@ -890,12 +872,12 @@
(_.cover [/.Rec]
(let [list (: (/.Rec NList
(Maybe [Nat NList]))
- {#.Some [item/0
- {#.Some [item/1
- {#.Some [item/2
- #.None]}]}]})]
+ {.#Some [item/0
+ {.#Some [item/1
+ {.#Some [item/2
+ {.#None}]}]}]})]
(case list
- {#.Some [actual/0 {#.Some [actual/1 {#.Some [actual/2 #.None]}]}]}
+ {.#Some [actual/0 {.#Some [actual/1 {.#Some [actual/2 {.#None}]}]}]}
(and (same? item/0 actual/0)
(same? item/1 actual/1)
(same? item/2 actual/2))
@@ -950,11 +932,11 @@
(/.case [#left expected_nat #right expected_int]
[#left 0 #right +0] true
_ false)
- (/.case (: (Either Nat Int) {#.Left expected_nat})
- {#.Left 0} true
+ (/.case (: (Either Nat Int) {.#Left expected_nat})
+ {.#Left 0} true
_ false)
- (/.case (: (Either Nat Int) {#.Right expected_int})
- {#.Right +0} true
+ (/.case (: (Either Nat Int) {.#Right expected_int})
+ {.#Right +0} true
_ false)
))
(_.cover [/.^or]
@@ -970,8 +952,8 @@
(_.cover [/.^slots]
(/.case [#left expected_nat #right expected_int]
(/.^slots [#left #right])
- (and (/.same? expected_nat left)
- (/.same? expected_int right))))
+ (and (/.same? expected_nat #left)
+ (/.same? expected_int #right))))
(_.cover [/.^]
(/.case [#left expected_nat #right expected_int]
(/.^ (!pair 0 +0)) true
@@ -1074,23 +1056,23 @@
(syntax: (for_meta|Info [])
(function (_ lux)
- (let [info (value@ #.info lux)
+ (let [info (value@ .#info lux)
conforming_target!
- (set.member? ..possible_targets (value@ #.target info))
+ (set.member? ..possible_targets (value@ .#target info))
compiling!
- (case (value@ #.mode info)
- #.Build true
+ (case (value@ .#mode info)
+ {.#Build} true
_ false)]
- {#.Right [lux (list (code.bit (and conforming_target!
+ {.#Right [lux (list (code.bit (and conforming_target!
compiling!)))]})))
(syntax: (for_meta|Module_State [])
(do meta.monad
[prelude_module (meta.module .prelude_module)]
- (in (list (code.bit (case (value@ #.module_state prelude_module)
- #.Active false
+ (in (list (code.bit (case (value@ .#module_state prelude_module)
+ {.#Active} false
_ true))))))
(def: for_meta
@@ -1126,40 +1108,40 @@
let/2 <code>.local_identifier
let/3 <code>.local_identifier])
- (in (list (code.bit (case (value@ #.scopes *lux*)
+ (in (list (code.bit (case (value@ .#scopes *lux*)
(^ (list& scope/2 _))
- (let [locals/2 (value@ #.locals scope/2)
+ (let [locals/2 (value@ .#locals scope/2)
expected_locals/2 (set.of_list text.hash (list fn/2 var/2 let/2
let/3))
actual_locals/2 (|> locals/2
- (value@ #.mappings)
+ (value@ .#mappings)
(list\each product.left)
(set.of_list text.hash))
correct_locals!
- (and (n.= 4 (value@ #.counter locals/2))
+ (and (n.= 4 (value@ .#counter locals/2))
(set\= expected_locals/2
actual_locals/2))
- captured/2 (value@ #.captured scope/2)
+ captured/2 (value@ .#captured scope/2)
local? (: (-> Ref Bit)
(function (_ ref)
(case ref
- {#.Local _} true
- {#.Captured _} false)))
+ {.#Local _} true
+ {.#Captured _} false)))
captured? (: (-> Ref Bit)
(|>> local? not))
binding? (: (-> (-> Ref Bit) Text Bit)
(function (_ is? name)
(|> captured/2
- (value@ #.mappings)
+ (value@ .#mappings)
(plist.value name)
(maybe\each (|>> product.right is?))
(maybe.else false))))
correct_closure!
- (and (n.= 6 (value@ #.counter captured/2))
+ (and (n.= 6 (value@ .#counter captured/2))
(binding? local? fn/1)
(binding? local? var/1)
(binding? local? let/1)
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-01 04:16:38 +0000