Fix #584
commit948b07d7ebe9ba0c1ae3b131dcab330546921e2d
authorPhil Freeman <paf31@cantab.net>
dateThu 28 Aug 2014, 20:24 (12 years ago)
parent94e0c34
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