diff options
Diffstat (limited to 'new-luxc/test/test/luxc/synthesizer/common.lux')
-rw-r--r-- | new-luxc/test/test/luxc/synthesizer/common.lux | 22 |
1 files changed, 12 insertions, 10 deletions
diff --git a/new-luxc/test/test/luxc/synthesizer/common.lux b/new-luxc/test/test/luxc/synthesizer/common.lux index 10b1a88b2..35e7a71ba 100644 --- a/new-luxc/test/test/luxc/synthesizer/common.lux +++ b/new-luxc/test/test/luxc/synthesizer/common.lux @@ -1,7 +1,7 @@ (;module: lux - (lux (data [bool "B/" Eq<Bool>] - [text "T/" Eq<Text>]) + (lux (data [bool "bool/" Eq<Bool>] + [text "text/" Eq<Text>]) ["r" math/random "r/" Monad<Random>]) (luxc (lang ["la" analysis] ["ls" synthesis]))) @@ -19,16 +19,18 @@ (def: #export (corresponds? analysis synthesis) (-> la;Analysis ls;Synthesis Bool) (case [analysis synthesis] + [#la;Unit [_ (#;Tuple #;Nil)]] + true + (^template [<analysis> <synthesis> <test>] - [(<analysis> valueA) (<synthesis> valueS)] + [(<analysis> valueA) [_ (<synthesis> valueS)]] (<test> valueA valueS)) - ([#la;Unit #ls;Unit is] - [#la;Bool #ls;Bool B/=] - [#la;Nat #ls;Nat n.=] - [#la;Int #ls;Int i.=] - [#la;Deg #ls;Deg d.=] - [#la;Frac #ls;Frac f.=] - [#la;Text #ls;Text T/=]) + ([#la;Bool #;Bool bool/=] + [#la;Nat #;Nat n.=] + [#la;Int #;Int i.=] + [#la;Deg #;Deg d.=] + [#la;Frac #;Frac f.=] + [#la;Text #;Text text/=]) _ false)) |