diff options
Diffstat (limited to '')
| -rw-r--r-- | new-luxc/test/test/luxc/lang/synthesis/structure.lux (renamed from new-luxc/test/test/luxc/synthesizer/structure.lux) | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/new-luxc/test/test/luxc/synthesizer/structure.lux b/new-luxc/test/test/luxc/lang/synthesis/structure.lux index 517f087d1..eab568bbe 100644 --- a/new-luxc/test/test/luxc/synthesizer/structure.lux +++ b/new-luxc/test/test/luxc/lang/synthesis/structure.lux @@ -9,8 +9,8 @@ ["r" math/random "r/" Monad<Random>] test) (luxc (lang ["la" analysis] - ["ls" synthesis]) - [synthesizer]) + ["ls" synthesis] + (synthesis [";S" expression]))) (.. common)) (context: "Variants" @@ -21,7 +21,7 @@ memberA gen-primitive] ($_ seq (test "Can synthesize variants." - (|> (synthesizer;synthesize (la;sum tagA size +0 memberA)) + (|> (expressionS;synthesize (la;sum tagA size +0 memberA)) (case> (^ [_ (#;Form (list [_ (#;Nat tagS)] [_ (#;Bool last?S)] memberS))]) (and (n.= tagA tagS) (B/= (n.= (n.dec size) tagA) @@ -39,7 +39,7 @@ membersA (r;list size gen-primitive)] ($_ seq (test "Can synthesize tuple." - (|> (synthesizer;synthesize (la;product membersA)) + (|> (expressionS;synthesize (la;product membersA)) (case> [_ (#;Tuple membersS)] (and (n.= size (list;size membersS)) (list;every? (product;uncurry corresponds?) (list;zip2 membersA membersS))) |