From 509b51d2deb867cc2ac8a0741c01c0309a29076a Mon Sep 17 00:00:00 2001
From: Rakarake <williambodin2001@gmail.com>
Date: Thu, 27 Apr 2023 15:09:39 +0200
Subject: [PATCH] No output of wrongly typed cons

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

diff --git a/src/Monomorphizer/Monomorphizer.hs b/src/Monomorphizer/Monomorphizer.hs
index 0803771..6bf767b 100644
--- a/src/Monomorphizer/Monomorphizer.hs
+++ b/src/Monomorphizer/Monomorphizer.hs
@@ -263,9 +263,9 @@ morphPattern p expectedType = case p of
   T.PVar ident     -> return (M.PVar (ident, expectedType), Set.singleton ident)
   T.PLit lit       -> return (M.PLit (convertLit lit, expectedType), Set.empty)
   T.PCatch         -> return (M.PCatch, Set.empty)
-  T.PEnum ident    -> do morphCons expectedType ident
+  T.PEnum ident    -> do --morphCons expectedType ident
                          return (M.PEnum ident, Set.empty)
-  T.PInj ident pts -> do morphCons expectedType ident
+  T.PInj ident pts -> do --morphCons expectedType ident
                          ts' <- mapM (getMonoFromPoly . snd) pts
                          let pts' = zip (map fst pts) ts'
                          psSets <- mapM (uncurry morphPattern) pts'