diff options
Diffstat (limited to 'stdlib/source/test/lux/type.lux')
-rw-r--r-- | stdlib/source/test/lux/type.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/test/lux/type.lux b/stdlib/source/test/lux/type.lux index ffd3671cb..774e95513 100644 --- a/stdlib/source/test/lux/type.lux +++ b/stdlib/source/test/lux/type.lux @@ -41,8 +41,8 @@ [size (|> random.nat (# ! each (n.% 10)))] (random.unicode size))) -(def: name - (Random Name) +(def: symbol + (Random Symbol) (random.and ..short ..short)) (def: (random' parameters) @@ -83,10 +83,10 @@ [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}]] + symbol/0 ..symbol + symbol/1 ..symbol + .let [namedT {.#Named symbol/0 anonymousT} + aliasedT {.#Named symbol/1 namedT}]] ($_ _.and (_.cover [/.de_aliased] (# /.equivalence = namedT (/.de_aliased aliasedT))) |