diff options
| author | Eduardo Julian | 2017-10-21 00:38:55 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-10-21 00:38:55 -0400 |
| commit | 0bc56fdc626ee601ca2c4ba0502f76e76d765fa0 (patch) | |
| tree | 7abc9bfda606a0b861c9f2b33d9d949f217d8458 /new-luxc/test/test/luxc/generator/case.lux | |
| parent | a564de58ec5c91c8069abc3848649a4a0cfd7956 (diff) | |
- Updated new compiler to latest version of stdlib.
Diffstat (limited to '')
| -rw-r--r-- | new-luxc/test/test/luxc/generator/case.lux | 56 |
1 files changed, 29 insertions, 27 deletions
diff --git a/new-luxc/test/test/luxc/generator/case.lux b/new-luxc/test/test/luxc/generator/case.lux index ab6c0f189..86319259c 100644 --- a/new-luxc/test/test/luxc/generator/case.lux +++ b/new-luxc/test/test/luxc/generator/case.lux @@ -74,32 +74,34 @@ )))) (context: "Pattern-matching." - #seed +17952275935008918762 - [[valueS path] gen-case - to-bind r;nat] - ($_ seq - (test "Can generate pattern-matching." - (|> (do Monad<Meta> - [runtime-bytecode @runtime;generate - sampleI (@;generate valueS - (#ls;AltP (#ls;SeqP path (#ls;ExecP (#ls;Bool true))) - (#ls;SeqP (#ls;BindP +0) (#ls;ExecP (#ls;Bool false)))))] - (@eval;eval sampleI)) - (meta;run (init-compiler [])) - (case> (#e;Success valueG) - (:! Bool valueG) + (<| (seed +17952275935008918762) + ## (times +100) + (do @ + [[valueS path] gen-case + to-bind r;nat] + ($_ seq + (test "Can generate pattern-matching." + (|> (do Monad<Meta> + [runtime-bytecode @runtime;generate + sampleI (@;generate valueS + (#ls;AltP (#ls;SeqP path (#ls;ExecP (#ls;Bool true))) + (#ls;SeqP (#ls;BindP +0) (#ls;ExecP (#ls;Bool false)))))] + (@eval;eval sampleI)) + (meta;run (init-compiler [])) + (case> (#e;Success valueG) + (:! Bool valueG) - _ - false))) - (test "Can bind values." - (|> (do Monad<Meta> - [runtime-bytecode @runtime;generate - sampleI (@;generate (#ls;Nat to-bind) - (#ls;SeqP (#ls;BindP +1) (#ls;ExecP (#ls;Variable 1))))] - (@eval;eval sampleI)) - (meta;run (init-compiler [])) - (case> (#e;Success valueG) - (n.= to-bind (:! Nat valueG)) + _ + false))) + (test "Can bind values." + (|> (do Monad<Meta> + [runtime-bytecode @runtime;generate + sampleI (@;generate (#ls;Nat to-bind) + (#ls;SeqP (#ls;BindP +1) (#ls;ExecP (#ls;Variable 1))))] + (@eval;eval sampleI)) + (meta;run (init-compiler [])) + (case> (#e;Success valueG) + (n.= to-bind (:! Nat valueG)) - _ - false))))) + _ + false))))))) |