@@ -175,7 +175,6 @@ data Problem
175 | StringToFloat
175 | StringToFloat
176 | AnythingToBool
176 | AnythingToBool
177 | AnythingFromMaybe
177 | AnythingFromMaybe
179 | ArityMismatch Int Int
178 | ArityMismatch Int Int
180 | BadFlexSuper Direction Super Name.Name Type
179 | BadFlexSuper Direction Super Name.Name Type
181 | BadRigidVar Name.Name Type
180 | BadRigidVar Name.Name Type
@@ -301,7 +300,7 @@ toDiff localizer ctx tipe1 tipe2 =
301 different
300 different
302 (toDoc localizer ctx t1)
301 (toDoc localizer ctx t1)
303 (RT.apply ctx (D.dullyellow (L.toDoc localizer home name)) [toDoc localizer RT.App t2])
302 (RT.apply ctx (D.dullyellow (L.toDoc localizer home name)) [toDoc localizer RT.App t2])
304− (Bag.one AnythingToList)
303+ Bag.empty
306 (Alias home1 name1 args1 t1, t2) ->
305 (Alias home1 name1 args1 t1, t2) ->
307 case diffAliasedRecord localizer t1 t2 of
306 case diffAliasedRecord localizer t1 t2 of