aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/lux/control/parser.lux28
-rw-r--r--stdlib/source/test/lux/data/binary.lux8
-rw-r--r--stdlib/source/test/lux/data/collection/dictionary/ordered.lux8
-rw-r--r--stdlib/source/test/lux/data/format/json.lux4
-rw-r--r--stdlib/source/test/lux/data/format/xml.lux2
-rw-r--r--stdlib/source/test/lux/data/text.lux6
-rw-r--r--stdlib/source/test/lux/data/text/regex.lux2
-rw-r--r--stdlib/source/test/lux/ffi.jvm.lux16
-rw-r--r--stdlib/source/test/lux/ffi.old.lux16
-rw-r--r--stdlib/source/test/lux/meta.lux4
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/analysis.lux4
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis.lux20
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/complex.lux12
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/reference.lux20
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/synthesis.lux4
-rw-r--r--stdlib/source/test/lux/meta/compiler/meta/cache/purge.lux16
-rw-r--r--stdlib/source/test/lux/meta/symbol.lux2
-rw-r--r--stdlib/source/test/lux/meta/target/jvm.lux26
-rw-r--r--stdlib/source/test/lux/meta/type.lux23
-rw-r--r--stdlib/source/test/lux/meta/type/check.lux4
20 files changed, 121 insertions, 104 deletions
diff --git a/stdlib/source/test/lux/control/parser.lux b/stdlib/source/test/lux/control/parser.lux
index 31b5ac78a..487f9984b 100644
--- a/stdlib/source/test/lux/control/parser.lux
+++ b/stdlib/source/test/lux/control/parser.lux
@@ -35,34 +35,34 @@
(text#= expected actual)
_
- #0))
+ false))
(def (enforced? parser input)
(All (_ s) (-> (Parser s Any) s Bit))
(case (/.result parser input)
{try.#Success [_ []]}
- #1
+ true
_
- #0))
+ false))
(def (found? parser input)
(All (_ s) (-> (Parser s Bit) s Bit))
(case (/.result parser input)
- {try.#Success [_ #1]}
- #1
+ {try.#Success [_ .true]}
+ true
_
- #0))
+ false))
(def (fails? input)
(All (_ a) (-> (Try a) Bit))
(case input
{try.#Failure _}
- #1
+ true
_
- #0))
+ false))
(def match
(syntax (_ [pattern <code>.any
@@ -73,7 +73,7 @@
(, then)
(,' _)
- #0))))))
+ false))))))
(def combinators_0
Test
@@ -93,7 +93,7 @@
(|> (list (code.int (.int expected0)))
(/.result (/.maybe <code>.nat))
(match {.#None}
- #1))))
+ true))))
(_.coverage [/.some]
(and (|> (list#each code.nat expected+)
(/.result (/.some <code>.nat))
@@ -102,7 +102,7 @@
(|> (list#each (|>> .int code.int) expected+)
(/.result (/.some <code>.nat))
(match {.#End}
- #1))))
+ true))))
(_.coverage [/.many]
(and (|> (list#each code.nat expected+)
(/.result (/.many <code>.nat))
@@ -163,7 +163,7 @@
fails?)
(|> (list (code.bit not0))
(/.result (/.not <code>.nat))
- (match [] #1))))
+ (match [] true))))
)))
(def combinators_1
@@ -365,10 +365,10 @@
(should_fail failure))))
(_.coverage [/.assertion]
(and (|> (list (code.bit #1) (code.int +123))
- (/.result (/.assertion assertion #1))
+ (/.result (/.assertion assertion true))
(match [] true))
(|> (list (code.bit #1) (code.int +123))
- (/.result (/.assertion assertion #0))
+ (/.result (/.assertion assertion false))
fails?)))
..combinators_0
..combinators_1
diff --git a/stdlib/source/test/lux/data/binary.lux b/stdlib/source/test/lux/data/binary.lux
index c43caf3a4..c6514691e 100644
--- a/stdlib/source/test/lux/data/binary.lux
+++ b/stdlib/source/test/lux/data/binary.lux
@@ -362,7 +362,7 @@
post \\parser.end?]
(in (and (not pre)
post))))
- (!expect {try.#Success #1}))))
+ (!expect {try.#Success .true}))))
(do [! random.monad]
[to_read (at ! each (n.% (++ ..segment_size)) random.nat)
data (at ! each (at utf8.codec encoded) (random.ascii ..segment_size))]
@@ -377,7 +377,7 @@
(in (and (n.= 0 start)
(n.= to_read offset)
(n.= ..segment_size nothing_left)))))
- (!expect {try.#Success #1}))))
+ (!expect {try.#Success .true}))))
(do [! random.monad]
[to_read (at ! each (n.% (++ ..segment_size)) random.nat)
data (at ! each (at utf8.codec encoded) (random.ascii ..segment_size))]
@@ -391,7 +391,7 @@
(in (and (n.= ..segment_size
(n.+ to_read remaining))
(n.= 0 nothing_left)))))
- (!expect {try.#Success #1}))))
+ (!expect {try.#Success .true}))))
..size
..binary
..utf8
@@ -589,7 +589,7 @@
(at (list.equivalence n.equivalence) = binary_vals slice_vals)
_
- #0))))
+ false))))
(_.coverage [/.slice_out_of_bounds]
(and (throws? /.slice_out_of_bounds (/.slice size size sample))
(let [verdict (throws? /.slice_out_of_bounds (/.slice offset size sample))]
diff --git a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux
index 24f9415b8..5cb3bc1c1 100644
--- a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux
+++ b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux
@@ -76,23 +76,23 @@
(_.coverage [/.min]
(case [(/.min sample) (list.head sorted_values)]
[{.#None} {.#None}]
- #1
+ true
[{.#Some reference} {.#Some sample}]
(n.= reference sample)
_
- #0))
+ false))
(_.coverage [/.max]
(case [(/.max sample) (list.last sorted_values)]
[{.#None} {.#None}]
- #1
+ true
[{.#Some reference} {.#Some sample}]
(n.= reference sample)
_
- #0))
+ false))
(_.coverage [/.entries]
(list#= (/.entries sample)
sorted_pairs))
diff --git a/stdlib/source/test/lux/data/format/json.lux b/stdlib/source/test/lux/data/format/json.lux
index e057efcfe..3fffb74a1 100644
--- a/stdlib/source/test/lux/data/format/json.lux
+++ b/stdlib/source/test/lux/data/format/json.lux
@@ -89,9 +89,9 @@
(at <equivalence> = expected actual)))))
(_.coverage [<test>]
(and (|> (\\parser.result (<test> expected) {<json> expected})
- (!expect {try.#Success #1}))
+ (!expect {try.#Success .true}))
(|> (\\parser.result (<test> expected) {<json> dummy})
- (!expect {try.#Success #0}))))
+ (!expect {try.#Success .false}))))
(_.coverage [<check>]
(and (|> (\\parser.result (<check> expected) {<json> expected})
(!expect {try.#Success _}))
diff --git a/stdlib/source/test/lux/data/format/xml.lux b/stdlib/source/test/lux/data/format/xml.lux
index 72a4a5665..c1d456cf1 100644
--- a/stdlib/source/test/lux/data/format/xml.lux
+++ b/stdlib/source/test/lux/data/format/xml.lux
@@ -90,7 +90,7 @@
_ \\parser.any]
(in (symbol#= expected actual)))
(list {/.#Node expected (dictionary.empty symbol.hash) (list)}))
- (!expect {try.#Success #1}))))
+ (!expect {try.#Success .true}))))
(do [! random.monad]
[expected ..random_tag]
(_.coverage [\\parser.node]
diff --git a/stdlib/source/test/lux/data/text.lux b/stdlib/source/test/lux/data/text.lux
index 8aead4f9b..66655823f 100644
--- a/stdlib/source/test/lux/data/text.lux
+++ b/stdlib/source/test/lux/data/text.lux
@@ -551,7 +551,7 @@
_ \\parser.any]
(in (and (/#= input pre)
(/#= right post)))))
- (!expect {try.#Success #1}))))
+ (!expect {try.#Success .true}))))
(do [! random.monad]
[left (random.unicode 1)
right (random.unicode 1)
@@ -889,7 +889,7 @@
(/#= sample (/.together (list _l _r))))
_
- #0)))
+ false)))
(_.coverage [/.clip /.clip_since]
(|> [(/.clip 0 sizeL sample)
(/.clip sizeL (nat.- sizeL (/.size sample)) sample)
@@ -903,7 +903,7 @@
(/#= sample _f))
_
- #0)))
+ false)))
))
(do [! random.monad]
[sizeP bounded_size
diff --git a/stdlib/source/test/lux/data/text/regex.lux b/stdlib/source/test/lux/data/text/regex.lux
index c057aeaf0..661222696 100644
--- a/stdlib/source/test/lux/data/text/regex.lux
+++ b/stdlib/source/test/lux/data/text/regex.lux
@@ -32,7 +32,7 @@
(text#= parsed input)
_
- #0)))
+ false)))
(def (text_should_pass test regex input)
(-> Text (Parser Text) Text Bit)
diff --git a/stdlib/source/test/lux/ffi.jvm.lux b/stdlib/source/test/lux/ffi.jvm.lux
index b03264c22..7c047318d 100644
--- a/stdlib/source/test/lux/ffi.jvm.lux
+++ b/stdlib/source/test/lux/ffi.jvm.lux
@@ -173,7 +173,7 @@
(case (/.as java/lang/Object sample) {.#Some _} true {.#None} false)
(case (/.as java/lang/Object (/.null)) {.#Some _} false {.#None} true)))
(_.coverage [/.synchronized]
- (/.synchronized sample #1))
+ (/.synchronized sample true))
(_.coverage [/.class_for]
(text#= "java.lang.Class" (/.of_string (java/lang/Class::getName (/.class_for java/lang/Class)))))
(_.coverage [/.null /.null?]
@@ -183,13 +183,19 @@
(and (|> (/.??? (/.null))
(is (Maybe java/lang/Object))
(pipe.case
- {.#None} #1
- {.#Some _} #0))
+ {.#None}
+ true
+
+ {.#Some _}
+ false))
(|> (/.??? sample)
(is (Maybe java/lang/Object))
(pipe.case
- {.#Some _} #1
- {.#None} #0))))
+ {.#Some _}
+ true
+
+ {.#None}
+ false))))
(_.coverage [/.!!!]
(and (|> (/.??? (/.null))
/.!!!
diff --git a/stdlib/source/test/lux/ffi.old.lux b/stdlib/source/test/lux/ffi.old.lux
index e16dbd84d..117207e57 100644
--- a/stdlib/source/test/lux/ffi.old.lux
+++ b/stdlib/source/test/lux/ffi.old.lux
@@ -184,12 +184,18 @@
(_.coverage [/.???]
(and (|> (is (Maybe java/lang/Object) (/.??? (/.null)))
(pipe.case
- {.#None} #1
- _ #0))
+ {.#None}
+ true
+
+ _
+ false))
(|> (is (Maybe java/lang/Object) (/.??? sample))
(pipe.case
- {.#Some _} #1
- _ #0))))
+ {.#Some _}
+ true
+
+ _
+ false))))
(_.coverage [/.!!!]
(and (/.null? (/.!!! (/.??? (/.null))))
(not (/.null? (/.!!! (/.??? sample))))))
@@ -208,7 +214,7 @@
(case (/.as java/lang/Object sample) {.#Some _} true {.#None} false)
(case (/.as java/lang/Object (/.null)) {.#Some _} false {.#None} true)))
(_.coverage [/.synchronized]
- (/.synchronized sample #1))
+ (/.synchronized sample true))
(_.coverage [/.class_for /.import]
(|> (/.class_for java/lang/Class)
java/lang/Class::getName
diff --git a/stdlib/source/test/lux/meta.lux b/stdlib/source/test/lux/meta.lux
index 7bcecdd8a..3cd03f84c 100644
--- a/stdlib/source/test/lux/meta.lux
+++ b/stdlib/source/test/lux/meta.lux
@@ -297,10 +297,10 @@
(_.coverage [/.module_exists?]
(and (|> (/.module_exists? expected_current_module)
(/.result expected_lux)
- (!expect {try.#Success #1}))
+ (!expect {try.#Success .true}))
(|> (/.module_exists? dummy_module)
(/.result expected_lux)
- (!expect {try.#Success #0}))))
+ (!expect {try.#Success .false}))))
(_.coverage [/.modules]
(|> /.modules
(/.result expected_lux)
diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/analysis.lux b/stdlib/source/test/lux/meta/compiler/language/lux/analysis.lux
index 09c976004..6a18983f0 100644
--- a/stdlib/source/test/lux/meta/compiler/language/lux/analysis.lux
+++ b/stdlib/source/test/lux/meta/compiler/language/lux/analysis.lux
@@ -140,13 +140,13 @@
[dummy random.bit]
(_.coverage [\\parser.end?]
(and (|> (\\parser.result \\parser.end? (list))
- (!expect {try.#Success #1}))
+ (!expect {try.#Success .true}))
(|> (\\parser.result (do <>.monad
[verdict \\parser.end?
_ \\parser.bit]
(in verdict))
(list (/.bit dummy)))
- (!expect {try.#Success #0})))))
+ (!expect {try.#Success .false})))))
(do [! random.monad]
[dummy random.bit]
(_.coverage [\\parser.end]
diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis.lux b/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis.lux
index 91614f4b2..579356065 100644
--- a/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis.lux
+++ b/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis.lux
@@ -125,11 +125,11 @@
can_analyse_unary!
(`` (and (|> (do phase.monad
- [it (|> (code.variant (list (code.nat 0) (code.bit #0) (` [])))
+ [it (|> (code.variant (list (code.nat 0) (code.bit false) (` [])))
(/.phase ..expander archive.empty)
(//type.expecting :variant:))]
(in (case it
- (//.variant [0 #0 (//.unit)])
+ (//.variant [0 .false (//.unit)])
true
_
@@ -167,11 +167,11 @@
can_analyse_nullary!
(|> (do phase.monad
[.let [:either: (Or .Any :record:)]
- it (|> (code.variant (list (code.nat 0) (code.bit #0)))
+ it (|> (code.variant (list (code.nat 0) (code.bit false)))
(/.phase ..expander archive.empty)
(//type.expecting :either:))]
(in (case it
- (//.variant [0 #0 (//.unit)])
+ (//.variant [0 .false (//.unit)])
true
_
@@ -243,7 +243,7 @@
(in (and (type#= :variant:
:it:)
(case it
- (//.variant [0 #0 (//.unit)])
+ (//.variant [0 .false (//.unit)])
true
_
@@ -293,7 +293,7 @@
(in (and (type#= :either:
:it:)
(case it
- (//.variant [0 #0 (//.unit)])
+ (//.variant [0 .false (//.unit)])
true
_
@@ -739,9 +739,9 @@
(in (and (type#= .Frac :it:)
(case it
{//.#Case (//.bit bit/?)
- [[//.#when (//pattern.bit #0)
+ [[//.#when (//pattern.bit .false)
//.#then (//.frac false/?)]
- (list [//.#when (//pattern.bit #1)
+ (list [//.#when (//pattern.bit .true)
//.#then (//.frac true/?)])]}
(and (same? bit/0 bit/?)
(same? frac/0 false/?)
@@ -809,9 +809,9 @@
(in (and (type#= .Frac :it:)
(case it
{//.#Case (//.tuple (list (//.bit bit/?) (//.nat nat/?)))
- [[//.#when (//pattern.tuple (list (//pattern.bit #0) (//pattern.bind 0)))
+ [[//.#when (//pattern.tuple (list (//pattern.bit .false) (//pattern.bind 0)))
//.#then (//.frac false/?)]
- (list [//.#when (//pattern.tuple (list (//pattern.bit #1) (//pattern.bind 0)))
+ (list [//.#when (//pattern.tuple (list (//pattern.bit .true) (//pattern.bind 0)))
//.#then (//.frac true/?)])]}
(and (same? bit/0 bit/?)
(same? nat/0 nat/?)
diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/complex.lux b/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/complex.lux
index 46232997f..9e9004371 100644
--- a/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/complex.lux
+++ b/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/complex.lux
@@ -180,12 +180,12 @@
(//phase#each product.right)
(//phase.result state)
(try.else false))
- (and (sum? (type_literal (Maybe tagT)) 0 #0 (` []))
- (sum? (type_literal (Maybe tagT)) 0 #1 tagC))
- (and (sum? (type_literal (All (_ a) (Maybe a))) 0 #0 (` []))
- (not (sum? (type_literal (All (_ a) (Maybe a))) 0 #1 tagC)))
- (and (sum? (type_literal (Ex (_ a) (Maybe a))) 0 #0 (` []))
- (sum? (type_literal (Ex (_ a) (Maybe a))) 0 #1 tagC)))))
+ (and (sum? (type_literal (Maybe tagT)) 0 false (` []))
+ (sum? (type_literal (Maybe tagT)) 0 true tagC))
+ (and (sum? (type_literal (All (_ a) (Maybe a))) 0 false (` []))
+ (not (sum? (type_literal (All (_ a) (Maybe a))) 0 true tagC)))
+ (and (sum? (type_literal (Ex (_ a) (Maybe a))) 0 false (` []))
+ (sum? (type_literal (Ex (_ a) (Maybe a))) 0 true tagC)))))
(_.for [/.cannot_analyse_variant]
(let [failure? (is (All (_ a) (-> (Exception a) (//analysis.Operation Any) Bit))
(function (_ exception analysis)
diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/reference.lux b/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/reference.lux
index 7a209e6cf..6cc8db551 100644
--- a/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/reference.lux
+++ b/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/reference.lux
@@ -83,7 +83,7 @@
can_find_local_definition!
(|> (do //phase.monad
- [_ (//module.define expected_name {.#Definition [#0 expected_type []]})]
+ [_ (//module.define expected_name {.#Definition [false expected_type []]})]
(/.reference "" ["" expected_name]))
//type.inferring
(//module.with 0 expected_module)
@@ -102,7 +102,7 @@
can_find_foreign_definition!
(|> (do //phase.monad
[_ (//module.with 0 import
- (//module.define expected_name {.#Definition [#1 expected_type []]}))
+ (//module.define expected_name {.#Definition [true expected_type []]}))
_ (//module.import import)]
(/.reference "" [import expected_name]))
//type.inferring
@@ -122,7 +122,7 @@
can_find_alias!
(|> (do //phase.monad
[_ (//module.with 0 import
- (//module.define expected_name {.#Definition [#1 expected_type []]}))
+ (//module.define expected_name {.#Definition [true expected_type []]}))
_ (//module.import import)
_ (//module.define expected_name {.#Alias [import expected_name]})]
(/.reference "" [expected_module expected_name]))
@@ -142,7 +142,7 @@
can_find_type!
(|> (do //phase.monad
- [_ (//module.define expected_name {.#Type [#0 expected_type
+ [_ (//module.define expected_name {.#Type [false expected_type
(if record?
{.#Right [expected_label (list)]}
{.#Left [expected_label (list)]})]})]
@@ -182,8 +182,8 @@
(//phase.result state)
(exception.otherwise (text.contains? (the exception.#label /.foreign_module_has_not_been_imported)))
)))]
- (and (scenario expected_type {.#Definition [#1 expected_type []]})
- (scenario .Type {.#Type [#1 expected_type
+ (and (scenario expected_type {.#Definition [true expected_type []]})
+ (scenario .Type {.#Type [true expected_type
(if record?
{.#Right [expected_label (list)]}
{.#Left [expected_label (list)]})]}))))
@@ -201,8 +201,8 @@
(//phase.result state)
(exception.otherwise (text.contains? (the exception.#label /.definition_has_not_been_exported)))
)))]
- (and (scenario expected_type {.#Definition [#0 expected_type []]})
- (scenario .Type {.#Type [#0 expected_type
+ (and (scenario expected_type {.#Definition [false expected_type []]})
+ (scenario .Type {.#Type [false expected_type
(if record?
{.#Right [expected_label (list)]}
{.#Left [expected_label (list)]})]}))))
@@ -219,6 +219,6 @@
(//phase#each product.right)
(//phase.result state)
(exception.otherwise (text.contains? (the exception.#label /.labels_are_not_definitions))))))]
- (and (scenario expected_type {.#Tag [#1 expected_type (list) 0]})
- (scenario expected_type {.#Slot [#1 expected_type (list) 0]}))))
+ (and (scenario expected_type {.#Tag [true expected_type (list) 0]})
+ (scenario expected_type {.#Slot [true expected_type (list) 0]}))))
))))
diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/synthesis.lux b/stdlib/source/test/lux/meta/compiler/language/lux/synthesis.lux
index 2bfe91fca..4308c95bb 100644
--- a/stdlib/source/test/lux/meta/compiler/language/lux/synthesis.lux
+++ b/stdlib/source/test/lux/meta/compiler/language/lux/synthesis.lux
@@ -195,9 +195,9 @@
[dummy (at ! each (|>> synthesis.i64) random.i64)]
(_.coverage [\\parser.end?]
(and (|> (\\parser.result \\parser.end? (list))
- (!expect {try.#Success #1}))
+ (!expect {try.#Success .true}))
(|> (\\parser.result (<>.before \\parser.any \\parser.end?) (list dummy))
- (!expect {try.#Success #0})))))
+ (!expect {try.#Success .false})))))
(_.for [\\parser.cannot_parse]
(all _.and
..simple
diff --git a/stdlib/source/test/lux/meta/compiler/meta/cache/purge.lux b/stdlib/source/test/lux/meta/compiler/meta/cache/purge.lux
index 02d6402fb..c5bc1dfb5 100644
--- a/stdlib/source/test/lux/meta/compiler/meta/cache/purge.lux
+++ b/stdlib/source/test/lux/meta/compiler/meta/cache/purge.lux
@@ -83,10 +83,10 @@
archive.#output (sequence.sequence)
archive.#registry registry.empty]]))]
(and (let [cache (is (List /.Cache)
- (list [#1 name/0 id/0 module/0 registry.empty]))]
+ (list [true name/0 id/0 module/0 registry.empty]))]
(dictionary.empty? (/.purge cache order)))
(let [cache (is (List /.Cache)
- (list [#0 name/0 id/0 module/0 registry.empty]))]
+ (list [false name/0 id/0 module/0 registry.empty]))]
(dictionary.key? (/.purge cache order) name/0))))
(let [order (is (dependency.Order Nat)
(list [name/0 id/0
@@ -98,19 +98,19 @@
archive.#output (sequence.sequence)
archive.#registry registry.empty]]))]
(and (let [cache (is (List /.Cache)
- (list [#1 name/0 id/0 module/0 registry.empty]
- [#1 name/1 id/1 module/1 registry.empty]))
+ (list [true name/0 id/0 module/0 registry.empty]
+ [true name/1 id/1 module/1 registry.empty]))
purge (/.purge cache order)]
(dictionary.empty? purge))
(let [cache (is (List /.Cache)
- (list [#1 name/0 id/0 module/0 registry.empty]
- [#0 name/1 id/1 module/1 registry.empty]))
+ (list [true name/0 id/0 module/0 registry.empty]
+ [false name/1 id/1 module/1 registry.empty]))
purge (/.purge cache order)]
(and (not (dictionary.key? (/.purge cache order) name/0))
(dictionary.key? (/.purge cache order) name/1)))
(let [cache (is (List /.Cache)
- (list [#0 name/0 id/0 module/0 registry.empty]
- [#1 name/1 id/1 module/1 registry.empty]))
+ (list [false name/0 id/0 module/0 registry.empty]
+ [true name/1 id/1 module/1 registry.empty]))
purge (/.purge cache order)]
(and (dictionary.key? (/.purge cache order) name/0)
(dictionary.key? (/.purge cache order) name/1)))))))
diff --git a/stdlib/source/test/lux/meta/symbol.lux b/stdlib/source/test/lux/meta/symbol.lux
index 8644c6057..6972cd346 100644
--- a/stdlib/source/test/lux/meta/symbol.lux
+++ b/stdlib/source/test/lux/meta/symbol.lux
@@ -53,7 +53,7 @@
(_.property "Encoding a symbol without a module component results in text equal to the short of the symbol."
(if (text.empty? module1)
(same? short1 (at /.codec encoded symbol1))
- #1))))
+ true))))
(_.coverage [/.separator]
(let [it (at /.codec encoded symbol1)]
diff --git a/stdlib/source/test/lux/meta/target/jvm.lux b/stdlib/source/test/lux/meta/target/jvm.lux
index d526d3917..28fff6e38 100644
--- a/stdlib/source/test/lux/meta/target/jvm.lux
+++ b/stdlib/source/test/lux/meta/target/jvm.lux
@@ -133,7 +133,7 @@
(list)
(list (/method.method ..method_modifier
method_name
- #0 (/type.method [(list) (list) ..$Object (list)])
+ false (/type.method [(list) (list) ..$Object (list)])
(list)
{.#Some (do /.monad
[_ bytecode]
@@ -877,11 +877,11 @@
{.#None}
(/name.internal "java.lang.Object")
(list)
- (list (/field.field /field.static class_field #0 /type.long (sequence.sequence))
- (/field.field /field.public object_field #0 /type.long (sequence.sequence)))
+ (list (/field.field /field.static class_field false /type.long (sequence.sequence))
+ (/field.field /field.public object_field false /type.long (sequence.sequence)))
(list (/method.method /method.private
constructor
- #0 constructor::type
+ false constructor::type
(list)
{.#Some (do /.monad
[_ /.aload_0
@@ -896,7 +896,7 @@
/method.public
/method.static)
static_method
- #0 (/type.method [(list) (list) ..$Long (list)])
+ false (/type.method [(list) (list) ..$Long (list)])
(list)
{.#Some (do /.monad
[_ (/.new $Self)
@@ -1359,14 +1359,14 @@
(list)
(list (/method.method ..method_modifier
primitive_method_name
- #0 primitive_method_type
+ false primitive_method_type
(list)
{.#Some (do /.monad
[_ ((the #literal primitive) expected)]
return)})
(/method.method ..method_modifier
object_method_name
- #0 (/type.method [(list) (list) (the #boxed primitive) (list)])
+ false (/type.method [(list) (list) (the #boxed primitive) (list)])
(list)
{.#Some (do /.monad
[_ (/.invokestatic $Self primitive_method_name primitive_method_type)
@@ -1645,7 +1645,7 @@
(function (_ name value)
(/method.method /method.public
name
- #0 method::type
+ false method::type
(list)
{.#Some (do /.monad
[_ (..$Long::literal value)]
@@ -1658,7 +1658,7 @@
(list)
(list)
(list (/method.method (all /modifier#composite /method.public /method.abstract)
- interface_method #0 method::type (list) {.#None}))
+ interface_method false method::type (list) {.#None}))
(sequence.sequence))
try.trusted
(binary.result /class.format))
@@ -1670,7 +1670,7 @@
(list)
(list (/method.method /method.public
"<init>"
- #0 constructor::type
+ false constructor::type
(list)
{.#Some (do /.monad
[_ /.aload_0
@@ -1679,7 +1679,7 @@
(method inherited_method part0)
(method overriden_method fake_part2)
(/method.method (all /modifier#composite /method.public /method.abstract)
- abstract_method #0 method::type (list) {.#None}))
+ abstract_method false method::type (list) {.#None}))
(sequence.sequence))
try.trusted
(binary.result /class.format))
@@ -1696,7 +1696,7 @@
(list)
(list (/method.method /method.public
"<init>"
- #0 constructor::type
+ false constructor::type
(list)
{.#Some (do /.monad
[_ /.aload_0
@@ -1710,7 +1710,7 @@
/method.public
/method.static)
static_method
- #0 (/type.method [(list) (list) ..$Long (list)])
+ false (/type.method [(list) (list) ..$Long (list)])
(list)
{.#Some (do /.monad
[_ (/.new $Concrete)
diff --git a/stdlib/source/test/lux/meta/type.lux b/stdlib/source/test/lux/meta/type.lux
index f7e11f9f2..79432b2bc 100644
--- a/stdlib/source/test/lux/meta/type.lux
+++ b/stdlib/source/test/lux/meta/type.lux
@@ -402,10 +402,10 @@
(random.only (function (_ type)
(case type
(^.or {.#Sum _} {.#Product _})
- #0
+ false
_
- #1)))
+ true)))
(list.repeated size)
(monad.all !))
.let [(open "/#[0]") /.equivalence
@@ -423,13 +423,18 @@
))
)))
(_.coverage [/.applied]
- (and (<| (maybe.else #0)
+ (and (<| (maybe.else false)
(do maybe.monad
[partial (/.applied (list Bit) Ann)
full (/.applied (list Int) partial)]
(in (at /.equivalence = full {.#Product Bit Int}))))
(|> (/.applied (list Bit) Text)
- (pipe.case {.#None} #1 _ #0))))
+ (pipe.case
+ {.#None}
+ true
+
+ _
+ false))))
(do [! random.monad]
[size (|> random.nat (at ! each (n.% 3)))
members (monad.all ! (list.repeated size (..random 0)))
@@ -437,10 +442,10 @@
(random.only (function (_ type)
(case type
(^.or {.#Function _} {.#Apply _})
- #0
+ false
_
- #1))))
+ true))))
.let [(open "/#[0]") /.equivalence
(open "list#[0]") (list.equivalence /.equivalence)]]
(all _.and
@@ -458,10 +463,10 @@
(random.only (function (_ type)
(case type
(^.or {.#UnivQ _} {.#ExQ _})
- #0
+ false
_
- #1))))
+ true))))
.let [(open "/#[0]") /.equivalence]]
(`` (all _.and
(,, (with_template [<ctor> <dtor>]
@@ -487,7 +492,7 @@
(not (text#= array.primitive name))
_
- #1))))
+ true))))
.let [(open "/#[0]") /.equivalence]]
(all _.and
(_.coverage [/.array /.flat_array]
diff --git a/stdlib/source/test/lux/meta/type/check.lux b/stdlib/source/test/lux/meta/type/check.lux
index a8d6bfb34..e1974368d 100644
--- a/stdlib/source/test/lux/meta/type/check.lux
+++ b/stdlib/source/test/lux/meta/type/check.lux
@@ -78,7 +78,7 @@
(list.every? valid_type? params)
{.#Ex id}
- #1
+ true
(^.with_template [<tag>]
[{<tag> left right}
@@ -90,7 +90,7 @@
(valid_type? type')
_
- #0))
+ false))
(def injection
(Injection (All (_ a) (/.Check a)))
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-26 02:29:55 +0000