Commit 4ba548b7 authored by Kai-Oliver Prott's avatar Kai-Oliver Prott

Fix KindInference

parent f136795b
......@@ -281,7 +281,7 @@ transTVars tcEnv ty' =
-- construct new kind vars
ks <- mapM (const (S.gets nextId >>= return . IL.KindVariable)) tys
-- infer kind for v
build ty (foldl IL.KindArrow k ks)
build ty (foldr IL.KindArrow k ks)
-- infer kinds for args
mapM_ (uncurry build) (zip tys ks)
build _ _ = error "Transformation.CurryToIL.transTVars"
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment