@@ -51,8 +51,8 @@ typeError
5151 -> Maybe String
5252 -> Unify a
5353typeError leftType rightType note =
54− do leftSrcType <- liftIO (toSrcType leftType)
55− rightSrcType <- liftIO (toSrcType rightType)
54+ do leftSrcType <- liftIO (Type.toSrcType leftType)
55+ rightSrcType <- liftIO (Type.toSrcType rightType)
5656 liftIO $ do
5757 UF.setDescriptor leftType (Type.descriptor Error)
5858 UF.setDescriptor rightType (Type.descriptor Error)
@@ -129,7 +129,7 @@ actuallyUnify variable1 variable2 = do
129129
130130 Var.TopLevel _ | List.isPrefixOf "number" name ->
131131 flexAndUnify svar
132−
132+
133133 _ ->
134134 typeError variable1 variable2 Nothing
135135