@@ -242,10 +242,10 @@ newtype MultipleErrors = MultipleErrors
242 { runMultipleErrors :: [ErrorMessage] } deriving (Show, Monoid)
242 { runMultipleErrors :: [ErrorMessage] } deriving (Show, Monoid)
244instance UnificationError Type MultipleErrors where
244instance UnificationError Type MultipleErrors where
245− occursCheckFailed = occursCheckFailed
245+ occursCheckFailed t = MultipleErrors [occursCheckFailed t]
247instance UnificationError Kind MultipleErrors where
247instance UnificationError Kind MultipleErrors where
248− occursCheckFailed = occursCheckFailed
248+ occursCheckFailed k = MultipleErrors [occursCheckFailed k]
250-- | Check whether a collection of errors is empty or not.
250-- | Check whether a collection of errors is empty or not.
251nonEmpty :: MultipleErrors -> Bool
251nonEmpty :: MultipleErrors -> Bool