Rakarake/churf
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

No output of wrongly typed cons

Browse source
This commit is contained in:
Rakarake 2023-04-27 15:09:39 +02:00
parent 579153b679
commit 509b51d2de
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/Monomorphizer/Monomorphizer.hs
View file

@ -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'