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

fixed one bug

Browse source
This commit is contained in:
sebastianselander 2023-03-27 14:44:21 +02:00
parent bd3cf3c3f1
commit aa4a615c28
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/TypeChecker/TypeChecker.hs
View file

@ -633,7 +633,7 @@ inferPattern = \case
++ " arguments but has been given " ++ " arguments but has been given "
++ show (length patterns) ++ show (length patterns)
) )
sub <- composeAll <$> zipWithM unify (map snd patterns) vs sub <- composeAll <$> zipWithM unify vs (map snd patterns)
return (T.PInj (coerce constr) (apply sub (map fst patterns)), apply sub ret) return (T.PInj (coerce constr) (apply sub (map fst patterns)), apply sub ret)
PCatch -> (T.PCatch,) <$> fresh PCatch -> (T.PCatch,) <$> fresh
PEnum p -> do PEnum p -> do