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/primitive.lux | |
parent | 49fab71f7965e4c76796d5b4ce9648fc46ab2660 (diff) |
- Adapted compiler to the latest stdlib changes.
Diffstat (limited to 'new-luxc/test/test/luxc/synthesizer/primitive.lux')
-rw-r--r-- | new-luxc/test/test/luxc/synthesizer/primitive.lux | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/new-luxc/test/test/luxc/synthesizer/primitive.lux b/new-luxc/test/test/luxc/synthesizer/primitive.lux index 4c67fa0a4..c17d41a78 100644 --- a/new-luxc/test/test/luxc/synthesizer/primitive.lux +++ b/new-luxc/test/test/luxc/synthesizer/primitive.lux @@ -11,7 +11,7 @@ [analyser] [synthesizer])) -(test: "Primitives" +(context: "Primitives" [%bool% r;bool %nat% r;nat %int% r;int @@ -21,13 +21,13 @@ %text% (r;text +5)] (with-expansions [<tests> (do-template [<desc> <analysis> <synthesis> <sample>] - [(assert (format "Can synthesize " <desc> ".") - (|> (synthesizer;synthesize (<analysis> <sample>)) - (case> (<synthesis> value) - (is <sample> value) + [(test (format "Can synthesize " <desc> ".") + (|> (synthesizer;synthesize (<analysis> <sample>)) + (case> (<synthesis> value) + (is <sample> value) - _ - false)))] + _ + false)))] ["unit" #la;Unit #ls;Unit []] ["bool" #la;Bool #ls;Bool %bool%] |