diff options
author | Eduardo Julian | 2017-06-27 17:52:52 -0400 |
---|---|---|
committer | Eduardo Julian | 2017-06-27 17:52:52 -0400 |
commit | 36cf0c61991bda395e224fa2d435fa6b6f5090e5 (patch) | |
tree | 50216b0052b413dd7dff04a980e6f238cec98984 /new-luxc/test/test/luxc/synthesizer/procedure.lux | |
parent | 49fab71f7965e4c76796d5b4ce9648fc46ab2660 (diff) |
- Adapted compiler to the latest stdlib changes.
Diffstat (limited to 'new-luxc/test/test/luxc/synthesizer/procedure.lux')
-rw-r--r-- | new-luxc/test/test/luxc/synthesizer/procedure.lux | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/new-luxc/test/test/luxc/synthesizer/procedure.lux b/new-luxc/test/test/luxc/synthesizer/procedure.lux index 898987308..91369a59b 100644 --- a/new-luxc/test/test/luxc/synthesizer/procedure.lux +++ b/new-luxc/test/test/luxc/synthesizer/procedure.lux @@ -15,18 +15,18 @@ [synthesizer]) (.. common)) -(test: "Procedures" +(context: "Procedures" [num-args (|> r;nat (:: @ map (n.% +10))) nameA (r;text +5) argsA (r;list num-args gen-primitive)] ($_ seq - (assert "Can synthesize procedure calls." - (|> (synthesizer;synthesize (#la;Procedure nameA argsA)) - (case> (#ls;Procedure nameS argsS) - (and (T/= nameA nameS) - (list;every? (product;uncurry corresponds?) - (list;zip2 argsA argsS))) - - _ - false))) + (test "Can synthesize procedure calls." + (|> (synthesizer;synthesize (#la;Procedure nameA argsA)) + (case> (#ls;Procedure nameS argsS) + (and (T/= nameA nameS) + (list;every? (product;uncurry corresponds?) + (list;zip2 argsA argsS))) + + _ + false))) )) |