@@ -39,7 +39,6 @@ unify v1 v2 =
3939 return (Err vars problem t1 t2)
4040
4141
42−
4342onSuccess :: [Variable] -> () -> IO Answer
4443onSuccess vars () =
4544 return (Ok vars)
@@ -654,8 +653,8 @@ unifyStructure context flatType content otherContent =
654653 Alias _ _ _ realVar ->
655654 subUnify context (_first context) realVar
656655
657− Structure otherTerm ->
658− case (flatType, otherTerm) of
656+ Structure otherFlatType ->
657+ case (flatType, otherFlatType) of
659658 (App1 home name args, App1 otherHome otherName otherArgs) ->
660659 if home == otherHome && name == otherName then
661660 do zipWithM_ (subUnify context) args otherArgs
@@ -705,7 +704,6 @@ unifyStructure context flatType content otherContent =
705704 return ()
706705
707706
708−
709707isIntFloat :: ModuleName.Canonical -> N.Name -> ModuleName.Canonical -> N.Name -> Bool
710708isIntFloat home name otherHome otherName =
711709 otherHome == ModuleName.basics