From fe25f18eb7847d3983fe98de7f7a905d800cbea9 Mon Sep 17 00:00:00 2001 From: Rakarake Date: Fri, 5 May 2023 11:28:40 +0200 Subject: [PATCH] Fixed naming-cons bug in monomorphizer --- src/Monomorphizer/Monomorphizer.hs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/Monomorphizer/Monomorphizer.hs b/src/Monomorphizer/Monomorphizer.hs index ff17fc4..eea9b37 100644 --- a/src/Monomorphizer/Monomorphizer.hs +++ b/src/Monomorphizer/Monomorphizer.hs @@ -196,11 +196,13 @@ appear as expressions in the tree, or as patterns in case-expressions. -} morphCons :: M.Type -> Ident -> EnvM () morphCons expectedType ident = do + --trace ("Tjofras:" ++ show (newName expectedType ident)) $ return () + let ident' = newName expectedType ident maybeD <- getInputData ident case maybeD of Nothing -> error $ "identifier '" ++ show ident ++ "' not found" Just d -> do - modify (\output -> Map.insert ident (Data expectedType d) output) + modify (\output -> Map.insert ident' (Data expectedType d) output) -- | Converts literals from input to output tree. convertLit :: T.Lit -> M.Lit