diff options
| author | Eduardo Julian | 2021-09-12 00:07:08 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-09-12 00:07:08 -0400 |
| commit | dda05bca0956af5e5b3875c4cc36e61aa04772e4 (patch) | |
| tree | 0f8b27697d58ab5c8e41aba7c7c9f769d3800767 /stdlib/source/test/lux/type.lux | |
| parent | d48270f43c404ba19ca04da2553455ecaaf2caba (diff) | |
Made the "#" character great again!
Diffstat (limited to 'stdlib/source/test/lux/type.lux')
| -rw-r--r-- | stdlib/source/test/lux/type.lux | 34 |
1 files changed, 17 insertions, 17 deletions
diff --git a/stdlib/source/test/lux/type.lux b/stdlib/source/test/lux/type.lux index 65bcf2d81..82798e7f3 100644 --- a/stdlib/source/test/lux/type.lux +++ b/stdlib/source/test/lux/type.lux @@ -52,17 +52,17 @@ (let [pairG (random.and recur recur) un_parameterized (: (Random Type) ($_ random.either - (random\each (|>> #.Primitive) (random.and ..short (random.list 0 recur))) - (random\each (|>> #.Primitive) (random.and ..short (random.list 1 recur))) - (random\each (|>> #.Primitive) (random.and ..short (random.list 2 recur))) - (random\each (|>> #.Sum) pairG) - (random\each (|>> #.Product) pairG) - (random\each (|>> #.Function) pairG) + (random\each (|>> {.#Primitive}) (random.and ..short (random.list 0 recur))) + (random\each (|>> {.#Primitive}) (random.and ..short (random.list 1 recur))) + (random\each (|>> {.#Primitive}) (random.and ..short (random.list 2 recur))) + (random\each (|>> {.#Sum}) pairG) + (random\each (|>> {.#Product}) pairG) + (random\each (|>> {.#Function}) pairG) ))] (case parameters 0 un_parameterized _ (|> random.nat - (random\each (|>> (n.% parameters) #.Parameter)) + (random\each (|>> (n.% parameters) {.#Parameter})) (random.either un_parameterized))))))) (def: .public (random parameters) @@ -80,13 +80,13 @@ ($equivalence.spec /.equivalence (..random 0))) (do [! random.monad] - [anonymousT (random.only (|>> (case> {#.Named _ _} false + [anonymousT (random.only (|>> (case> {.#Named _ _} false _ true)) (..random 0)) name/0 ..name name/1 ..name - .let [namedT {#.Named name/0 anonymousT} - aliasedT {#.Named name/1 namedT}]] + .let [namedT {.#Named name/0 anonymousT} + aliasedT {.#Named name/1 namedT}]] ($_ _.and (_.cover [/.de_aliased] (\ /.equivalence = namedT (/.de_aliased aliasedT))) @@ -97,7 +97,7 @@ members (|> (..random 0) (random.only (function (_ type) (case type - (^or {#.Sum _} {#.Product _}) + (^or {.#Sum _} {.#Product _}) #0 _ @@ -123,16 +123,16 @@ (do maybe.monad [partial (/.applied (list Bit) Ann) full (/.applied (list Int) partial)] - (in (\ /.equivalence = full {#.Product Bit Int})))) + (in (\ /.equivalence = full {.#Product Bit Int})))) (|> (/.applied (list Bit) Text) - (case> #.None #1 _ #0)))) + (case> {.#None} #1 _ #0)))) (do [! random.monad] [size (|> random.nat (\ ! each (n.% 3))) members (monad.all ! (list.repeated size (..random 0))) extra (|> (..random 0) (random.only (function (_ type) (case type - (^or {#.Function _} {#.Apply _}) + (^or {.#Function _} {.#Apply _}) #0 _ @@ -153,7 +153,7 @@ body_type (|> (..random 0) (random.only (function (_ type) (case type - (^or {#.UnivQ _} {#.ExQ _}) + (^or {.#UnivQ _} {.#ExQ _}) #0 _ @@ -179,7 +179,7 @@ element_type (|> (..random 0) (random.only (function (_ type) (case type - (^ {#.Primitive name (list element_type)}) + (^ {.#Primitive name (list element_type)}) (not (text\= array.type_name name)) _ @@ -196,7 +196,7 @@ )) (_.cover [/.:by_example] (let [example (: (Maybe Nat) - #.None)] + {.#None})] (/\= (.type (List Nat)) (/.:by_example [a] (Maybe a) |