diff options
| author | Eduardo Julian | 2020-12-15 22:05:05 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2020-12-15 22:05:05 -0400 |
| commit | abc5c5293603229b447b8b5dfa7f3275571ad982 (patch) | |
| tree | 26a5a40c6583568522ca9d3714219112e602a693 /stdlib/source/test/aedifex/artifact | |
| parent | 71ade9a07f08c0d61ebd70e64c2745f1ba33cb54 (diff) | |
Compiling "lux syntax char case!" with TABLESWITCH instead of LOOKUPSWITCH.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/aedifex/artifact/type.lux | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/stdlib/source/test/aedifex/artifact/type.lux b/stdlib/source/test/aedifex/artifact/type.lux index 84807a8c6..5dc1b9caa 100644 --- a/stdlib/source/test/aedifex/artifact/type.lux +++ b/stdlib/source/test/aedifex/artifact/type.lux @@ -11,10 +11,22 @@ ["." set] ["." list]]] [math - ["." random (#+ Random)]]] + ["." random (#+ Random) ("#\." monad)]]] {#program ["." /]}) +(def: #export random + (Random /.Type) + ($_ random.either + ($_ random.either + (random\wrap /.lux-library) + (random\wrap /.jvm-library)) + ($_ random.either + (random\wrap /.pom) + (random\wrap /.md5) + (random\wrap /.sha-1)) + )) + (def: #export test Test (<| (_.covering /._) |