diff options
author | Eduardo Julian | 2018-05-08 23:07:21 -0400 |
---|---|---|
committer | Eduardo Julian | 2018-05-08 23:07:21 -0400 |
commit | 3b80f40384a8af8770a7c4f1be8b334ceb950a27 (patch) | |
tree | 7c0bf34f3f5b22ef57d1e31b18c6112a602582c4 /stdlib/test | |
parent | 8c90251c12a4d0d4cc191bfb273bb5eb51bb0356 (diff) |
- Improved the way Bool values are parsed.
Diffstat (limited to 'stdlib/test')
-rw-r--r-- | stdlib/test/test/lux/lang/syntax.lux | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/stdlib/test/test/lux/lang/syntax.lux b/stdlib/test/test/lux/lang/syntax.lux index 9d1f18ae5..68830f271 100644 --- a/stdlib/test/test/lux/lang/syntax.lux +++ b/stdlib/test/test/lux/lang/syntax.lux @@ -43,18 +43,18 @@ (r.Random Code) (let [numeric^ (: (r.Random Code) ($_ r.either - (|> r.bool (r/map (|>> #.Bool [default-cursor]))) - (|> r.nat (r/map (|>> #.Nat [default-cursor]))) - (|> r.int (r/map (|>> #.Int [default-cursor]))) - (|> r.deg (r/map (|>> #.Deg [default-cursor]))) - (|> r.frac (r/map (|>> #.Frac [default-cursor]))))) + (|> r.bool (r/map code.bool)) + (|> r.nat (r/map code.nat)) + (|> r.int (r/map code.int)) + (|> r.deg (r/map code.deg)) + (|> r.frac (r/map code.frac)))) textual^ (: (r.Random Code) ($_ r.either (do r.Monad<Random> [size (|> r.nat (r/map (n/% +20)))] - (|> (r.text size) (r/map (|>> #.Text [default-cursor])))) - (|> ident^ (r/map (|>> #.Symbol [default-cursor]))) - (|> ident^ (r/map (|>> #.Tag [default-cursor]))))) + (|> (r.text size) (r/map code.text))) + (|> ident^ (r/map code.symbol)) + (|> ident^ (r/map code.tag)))) simple^ (: (r.Random Code) ($_ r.either numeric^ @@ -66,12 +66,12 @@ (r.list size code^)) composite^ (: (r.Random Code) ($_ r.either - (|> multi^ (r/map (|>> #.Form [default-cursor]))) - (|> multi^ (r/map (|>> #.Tuple [default-cursor]))) + (|> multi^ (r/map code.form)) + (|> multi^ (r/map code.tuple)) (do r.Monad<Random> [size (|> r.nat (r/map (n/% +3)))] (|> (r.list size (r.seq code^ code^)) - (r/map (|>> #.Record [default-cursor]))))))] + (r/map code.record)))))] (r.either simple^ composite^)))))) |