diff options
Diffstat (limited to 'new-luxc/test/test/luxc/synthesizer/primitive.lux')
-rw-r--r-- | new-luxc/test/test/luxc/synthesizer/primitive.lux | 48 |
1 files changed, 25 insertions, 23 deletions
diff --git a/new-luxc/test/test/luxc/synthesizer/primitive.lux b/new-luxc/test/test/luxc/synthesizer/primitive.lux index 713e28cd1..a7fb6913e 100644 --- a/new-luxc/test/test/luxc/synthesizer/primitive.lux +++ b/new-luxc/test/test/luxc/synthesizer/primitive.lux @@ -12,28 +12,30 @@ [synthesizer])) (context: "Primitives" - [%bool% r;bool - %nat% r;nat - %int% r;int - %deg% r;deg - %frac% r;frac - %text% (r;text +5)] - (with-expansions - [<tests> (do-template [<desc> <analysis> <synthesis> <sample>] - [(test (format "Can synthesize " <desc> ".") - (|> (synthesizer;synthesize (<analysis> <sample>)) - (case> (<synthesis> value) - (is <sample> value) + (<| (times +100) + (do @ + [%bool% r;bool + %nat% r;nat + %int% r;int + %deg% r;deg + %frac% r;frac + %text% (r;text +5)] + (with-expansions + [<tests> (do-template [<desc> <analysis> <synthesis> <sample>] + [(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%] - ["nat" #la;Nat #ls;Nat %nat%] - ["int" #la;Int #ls;Int %int%] - ["deg" #la;Deg #ls;Deg %deg%] - ["frac" #la;Frac #ls;Frac %frac%] - ["text" #la;Text #ls;Text %text%])] - ($_ seq - <tests>))) + ["unit" #la;Unit #ls;Unit []] + ["bool" #la;Bool #ls;Bool %bool%] + ["nat" #la;Nat #ls;Nat %nat%] + ["int" #la;Int #ls;Int %int%] + ["deg" #la;Deg #ls;Deg %deg%] + ["frac" #la;Frac #ls;Frac %frac%] + ["text" #la;Text #ls;Text %text%])] + ($_ seq + <tests>))))) |