From 81a532e9e8abbff99dc41eed3a630b19281c0e75 Mon Sep 17 00:00:00 2001
From: Lennart Augustsson <lennart@augustsson.net>
Date: Mon, 16 Sep 2024 10:58:03 +0200
Subject: [PATCH] Fix bug in tuple constructor type.

---
 src/MicroHs/TypeCheck.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/MicroHs/TypeCheck.hs b/src/MicroHs/TypeCheck.hs
index b0633282..98db8ec8 100644
--- a/src/MicroHs/TypeCheck.hs
+++ b/src/MicroHs/TypeCheck.hs
@@ -640,7 +640,7 @@ primValues =
         vks = [IdKind (mkIdent ("a" ++ show i)) kType | i <- enumFromTo 1 n]
         ts = map tVarK vks
         r = tApps c ts
-      in  (c, [Entry (ECon $ ConData [(c, n)] c []) $ EForall vks $ foldr tArrow r ts ])
+      in  (c, [Entry (ECon $ ConData [(c, n)] c []) $ EForall vks $ EForall [] $ foldr tArrow r ts ])
   in  map tuple (enumFromTo 2 10)
 
 kArrow :: EKind -> EKind -> EKind
@@ -2059,7 +2059,7 @@ tcPat mt ae =
                case xpt of
                   -- Sanity check
                   EForall _ (EForall _ _) -> return ()
-                  _ -> undefined
+                  _ -> impossibleShow i
                EForall avs apt <- tInst' xpt
                (sks, spt) <- shallowSkolemise avs apt
                (d, p, pt) <-