diff options
| author | Eduardo Julian | 2017-10-31 22:26:13 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-10-31 22:26:13 -0400 |
| commit | 19c589edc2c1dd77550e26d4f5cf78ec772da337 (patch) | |
| tree | d070c773c7bd5cec8d33caa1841fbe0e342ec563 /new-luxc/test/test/luxc/synthesizer/procedure.lux | |
| parent | 6c753288a89eadb3f7d70a8844e466c48c809051 (diff) | |
- Migrated the format of analysis nodes from a custom data-type, to just Code nodes.
Diffstat (limited to 'new-luxc/test/test/luxc/synthesizer/procedure.lux')
| -rw-r--r-- | new-luxc/test/test/luxc/synthesizer/procedure.lux | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/new-luxc/test/test/luxc/synthesizer/procedure.lux b/new-luxc/test/test/luxc/synthesizer/procedure.lux index 1753dcc47..68010adeb 100644 --- a/new-luxc/test/test/luxc/synthesizer/procedure.lux +++ b/new-luxc/test/test/luxc/synthesizer/procedure.lux @@ -3,8 +3,7 @@ (lux [io] (control [monad #+ do] pipe) - (data [bool "B/" Eq<Bool>] - [text "T/" Eq<Text>] + (data [text "text/" Eq<Text>] [product] (coll [list])) ["r" math/random "r/" Monad<Random>] @@ -23,9 +22,9 @@ argsA (r;list num-args gen-primitive)] ($_ seq (test "Can synthesize procedure calls." - (|> (synthesizer;synthesize (#la;Procedure nameA argsA)) + (|> (synthesizer;synthesize (la;procedure nameA argsA)) (case> (^ [_ (#;Form (list& [_ (#;Text procedure)] argsS))]) - (and (T/= nameA procedure) + (and (text/= nameA procedure) (list;every? (product;uncurry corresponds?) (list;zip2 argsA argsS))) |