@@ -51,8 +51,8 @@ typeError
51 -> Maybe String
51 -> Maybe String
52 -> Unify a
52 -> Unify a
53typeError leftType rightType note =
53typeError leftType rightType note =
54− do leftSrcType <- liftIO (toSrcType leftType)
54+ do leftSrcType <- liftIO (Type.toSrcType leftType)
55− rightSrcType <- liftIO (toSrcType rightType)
55+ rightSrcType <- liftIO (Type.toSrcType rightType)
56 liftIO $ do
56 liftIO $ do
57 UF.setDescriptor leftType (Type.descriptor Error)
57 UF.setDescriptor leftType (Type.descriptor Error)
58 UF.setDescriptor rightType (Type.descriptor Error)
58 UF.setDescriptor rightType (Type.descriptor Error)
@@ -129,7 +129,7 @@ actuallyUnify variable1 variable2 = do
130 Var.TopLevel _ | List.isPrefixOf "number" name ->
130 Var.TopLevel _ | List.isPrefixOf "number" name ->
131 flexAndUnify svar
131 flexAndUnify svar
134 typeError variable1 variable2 Nothing
134 typeError variable1 variable2 Nothing