@@ -143,7 +143,6 @@ actuallyUnify region variable1 variable2 = do
143 (_, Rigid, _, _) -> rigidError variable2
143 (_, Rigid, _, _) -> rigidError variable2
144 _ -> TS.addError region Nothing variable1 variable2
144 _ -> TS.addError region Nothing variable1 variable2
146− liftIO (print (alias desc1, alias desc2, alias'))
147 case (structure desc1, structure desc2) of
146 case (structure desc1, structure desc2) of
148 (Nothing, Nothing) | flex desc1 == Flexible && flex desc1 == Flexible -> merge
147 (Nothing, Nothing) | flex desc1 == Flexible && flex desc1 == Flexible -> merge
149 (Nothing, _) | flex desc1 == Flexible -> merge2
148 (Nothing, _) | flex desc1 == Flexible -> merge2