@@ -13,7 +13,8 @@ import SourceSyntax.Expression
13import Transform.Substitute
13import Transform.Substitute
16−caseToMatch patterns = do
16+caseToMatch :: [(Pattern, LExpr t v)] -> (String, Match t v)
17+caseToMatch patterns = flip evalState 0 $ do
17 v <- newVar
18 v <- newVar
18 (,) v <$> match [v] (map (first (:[])) patterns) Fail
19 (,) v <$> match [v] (map (first (:[])) patterns) Fail