@@ -39,7 +39,6 @@ unify v1 v2 =
39 return (Err vars problem t1 t2)
39 return (Err vars problem t1 t2)
43onSuccess :: [Variable] -> () -> IO Answer
42onSuccess :: [Variable] -> () -> IO Answer
44onSuccess vars () =
43onSuccess vars () =
45 return (Ok vars)
44 return (Ok vars)
@@ -654,8 +653,8 @@ unifyStructure context flatType content otherContent =
654 Alias _ _ _ realVar ->
653 Alias _ _ _ realVar ->
655 subUnify context (_first context) realVar
654 subUnify context (_first context) realVar
657− Structure otherTerm ->
656+ Structure otherFlatType ->
658− case (flatType, otherTerm) of
657+ case (flatType, otherFlatType) of
659 (App1 home name args, App1 otherHome otherName otherArgs) ->
658 (App1 home name args, App1 otherHome otherName otherArgs) ->
660 if home == otherHome && name == otherName then
659 if home == otherHome && name == otherName then
661 do zipWithM_ (subUnify context) args otherArgs
660 do zipWithM_ (subUnify context) args otherArgs
@@ -705,7 +704,6 @@ unifyStructure context flatType content otherContent =
705 return ()
704 return ()
709isIntFloat :: ModuleName.Canonical -> N.Name -> ModuleName.Canonical -> N.Name -> Bool
707isIntFloat :: ModuleName.Canonical -> N.Name -> ModuleName.Canonical -> N.Name -> Bool
710isIntFloat home name otherHome otherName =
708isIntFloat home name otherHome otherName =
711 otherHome == ModuleName.basics
709 otherHome == ModuleName.basics