Merge pull request #586 from purescript/584
Fix #584
commit0be14ac6ef85a61313086268a950c3864a6525db
authorPhil Freeman <paf31@cantab.net>
dateFri 29 Aug 2014, 09:04 (12 years ago)
parent94e0c34948b07d
src/Language/PureScript/TypeChecker/Kinds.hs+1−1
@@ -73,7 +73,7 @@ instance Unifiable Check Kind where
7373kindOf :: ModuleName -> Type -> Check Kind
7474kindOf _ ty =
7575 rethrow (mkErrorStack "Error checking kind" (Just (TypeError ty)) <>) $
76− fmap tidyUp . liftUnify $ starIfUnknown <$> infer ty
76+ fmap (starIfUnknown . tidyUp) . liftUnify $ infer ty
7777 where
7878 tidyUp (k, sub) = sub $? k
7979