Merge pull request #191 from alicelogos/fix-tuple-patterns

Fix tuple patterns in parameter declarations
rzk-lang · Nov 7, 2024 · 03c8d8e · 03c8d8e
2 parents 0d3070e + bca84b7
commit 03c8d8e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/rzk/src/Language/Rzk/Free/Syntax.hs b/rzk/src/Language/Rzk/Free/Syntax.hs
@@ -341,6 +341,7 @@ unsafeTermToPattern = ttp
       Rzk.Unit loc                        -> Rzk.PatternUnit loc
       Rzk.Var loc x                       -> Rzk.PatternVar loc x
       Rzk.Pair loc l r                    -> Rzk.PatternPair loc (ttp l) (ttp r)
+      Rzk.Tuple loc t1 t2 ts              -> Rzk.PatternTuple loc (ttp t1) (ttp t2) (map ttp ts)
       term -> error ("ERROR: expected a pattern but got\n  " ++ Rzk.printTree term)
 
 fromTerm' :: Term' -> Rzk.Term