git.iko.soy/elk
on master help sign in
Fix type constraints for PData
f37e05aEvan Czaplicki
compiler/Type/Constrain/Pattern.hs+2−2
compare with master
unifiedsplit
@@ -42,8 +42,8 @@ constrain env pattern tipe =
42
42
43 PData name patterns -> do
43 PData name patterns -> do
44 (kind, cvars, ctipe) <- freshDataScheme env name
44 (kind, cvars, ctipe) <- freshDataScheme env name
45− tipe' <- foldr (==>) tipe <$> mapM (\_ -> VarN <$> flexibleVar) [1..kind]
45+ tvars <- mapM (\_ -> VarN <$> flexibleVar) [1..kind]
46− let tvars = map VarN cvars
46+ let tipe' = foldr (==>) tipe tvars
47 msg = concat [ "Constructor '", name, "' expects ", show kind
47 msg = concat [ "Constructor '", name, "' expects ", show kind
48 , " argument", if kind == 1 then "" else "s"
48 , " argument", if kind == 1 then "" else "s"
49 , " but was given ", show (length patterns), "." ]
49 , " but was given ", show (length patterns), "." ]