diff options
| author | Eduardo Julian | 2017-10-18 12:42:46 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-10-18 12:42:46 -0400 |
| commit | 901b09dada43ec6f3b21618800ec7400fda54a0d (patch) | |
| tree | d62dde3df2ce4fd7d7cd8d0b177f6592f87817cb /new-luxc/test/test/luxc/generator/case.lux | |
| parent | 14e381de130f0c8d3e333cf0523c6c98b9aa84b1 (diff) | |
- Updated to the latest changes in stdlib.
Diffstat (limited to '')
| -rw-r--r-- | new-luxc/test/test/luxc/generator/case.lux | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/new-luxc/test/test/luxc/generator/case.lux b/new-luxc/test/test/luxc/generator/case.lux index 4aff49779..ab6c0f189 100644 --- a/new-luxc/test/test/luxc/generator/case.lux +++ b/new-luxc/test/test/luxc/generator/case.lux @@ -5,15 +5,15 @@ pipe) (data text/format [product] - ["R" result] + ["e" error] [bool "B/" Eq<Bool>] [text "T/" Eq<Text>] (coll ["a" array] [list "L/" Functor<List>] ["S" set])) ["r" math/random "r/" Monad<Random>] - [macro #+ Monad<Lux>] - (macro [code]) + [meta #+ Monad<Meta>] + (meta [code]) [host] test) (luxc (lang ["ls" synthesis]) @@ -79,26 +79,26 @@ to-bind r;nat] ($_ seq (test "Can generate pattern-matching." - (|> (do Monad<Lux> + (|> (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)) - (macro;run (init-compiler [])) - (case> (#R;Success valueG) + (meta;run (init-compiler [])) + (case> (#e;Success valueG) (:! Bool valueG) _ false))) (test "Can bind values." - (|> (do Monad<Lux> + (|> (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)) - (macro;run (init-compiler [])) - (case> (#R;Success valueG) + (meta;run (init-compiler [])) + (case> (#e;Success valueG) (n.= to-bind (:! Nat valueG)) _ |