From bca84b748e8edbb81c6546c7c9bfe4e5f010a1ac Mon Sep 17 00:00:00 2001 From: Alice Logos Date: Wed, 6 Nov 2024 22:47:26 +0100 Subject: [PATCH] Fix tuple patterns in parameter declarations --- rzk/src/Language/Rzk/Free/Syntax.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/rzk/src/Language/Rzk/Free/Syntax.hs b/rzk/src/Language/Rzk/Free/Syntax.hs index ad716ed38..bf7a5c6d3 100644 --- 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