diff options
| author | Eduardo Julian | 2020-12-17 22:03:54 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2020-12-17 22:03:54 -0400 |
| commit | 68b1dd82f23d6648ac3d9075a8f84b0174392945 (patch) | |
| tree | 2db148a005c21552947d96dfd4e788ba21705037 /stdlib/source/test/lux/data/text | |
| parent | abc5c5293603229b447b8b5dfa7f3275571ad982 (diff) | |
More optimizations to the Lux syntax parser.
Diffstat (limited to 'stdlib/source/test/lux/data/text')
| -rw-r--r-- | stdlib/source/test/lux/data/text/unicode/set.lux (renamed from stdlib/source/test/lux/data/text/unicode.lux) | 18 |
1 files changed, 10 insertions, 8 deletions
diff --git a/stdlib/source/test/lux/data/text/unicode.lux b/stdlib/source/test/lux/data/text/unicode/set.lux index 1b47c8cdb..21c5a90f1 100644 --- a/stdlib/source/test/lux/data/text/unicode.lux +++ b/stdlib/source/test/lux/data/text/unicode/set.lux @@ -16,16 +16,18 @@ [math ["." random (#+ Random)]]] ["." / #_ - ["#." segment]] + ["/#" // #_ + ["#." segment]]] {1 ["." / - ["." segment]]}) + [// + ["." segment]]]}) (def: #export random (Random /.Set) (do {! random.monad} - [left /segment.random - right /segment.random] + [left //segment.random + right //segment.random] (wrap (/.set [left (list right)])))) (def: #export test @@ -33,13 +35,13 @@ (<| (_.covering /._) (_.for [/.Set]) (do {! random.monad} - [segment /segment.random + [segment //segment.random inside (\ ! map (|>> (n.% (segment.size segment)) (n.+ (segment.start segment))) random.nat) - left /segment.random - right /segment.random + left //segment.random + right //segment.random #let [equivalence (product.equivalence n.equivalence n.equivalence)]] (`` ($_ _.and @@ -87,5 +89,5 @@ [/.full] )) - /segment.test + //segment.test ))))) |