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/analyser/procedure/host.jvm.lux | |
parent | 14e381de130f0c8d3e333cf0523c6c98b9aa84b1 (diff) |
- Updated to the latest changes in stdlib.
Diffstat (limited to '')
-rw-r--r-- | new-luxc/test/test/luxc/analyser/procedure/host.jvm.lux | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/new-luxc/test/test/luxc/analyser/procedure/host.jvm.lux b/new-luxc/test/test/luxc/analyser/procedure/host.jvm.lux index 49d51eb3c..5cf359ad0 100644 --- a/new-luxc/test/test/luxc/analyser/procedure/host.jvm.lux +++ b/new-luxc/test/test/luxc/analyser/procedure/host.jvm.lux @@ -4,7 +4,7 @@ (control [monad #+ do] pipe) (concurrency [atom]) - (data ["R" result] + (data ["e" error] [product] [maybe] [text "text/" Eq<Text>] @@ -13,9 +13,9 @@ [list "list/" Fold<List>] [dict])) ["r" math/random "r/" Monad<Random>] - [type] - [macro #+ Monad<Lux>] - (macro [code]) + [meta #+ Monad<Meta>] + (meta [code] + [type]) test) (luxc ["&" base] ["&;" scope] @@ -32,16 +32,16 @@ (do-template [<name> <success> <failure>] [(def: (<name> procedure params output-type) (-> Text (List Code) Type Bool) - (|> (do Monad<Lux> + (|> (do Monad<Meta> [runtime-bytecode @runtime;generate] (&;with-scope (&;with-expected-type output-type (@;analyse-procedure analyse procedure params)))) - (macro;run (init-compiler [])) - (case> (#R;Success _) + (meta;run (init-compiler [])) + (case> (#e;Success _) <success> - (#R;Error error) + (#e;Error error) <failure>)))] [success true false] |