@@ -175,7 +175,6 @@ data Problem
175175 | StringToFloat
176176 | AnythingToBool
177177 | AnythingFromMaybe
178− | AnythingToList
179178 | ArityMismatch Int Int
180179 | BadFlexSuper Direction Super Name.Name Type
181180 | BadRigidVar Name.Name Type
@@ -301,7 +300,7 @@ toDiff localizer ctx tipe1 tipe2 =
301300 different
302301 (toDoc localizer ctx t1)
303302 (RT.apply ctx (D.dullyellow (L.toDoc localizer home name)) [toDoc localizer RT.App t2])
304− (Bag.one AnythingToList)
303+ Bag.empty
305304
306305 (Alias home1 name1 args1 t1, t2) ->
307306 case diffAliasedRecord localizer t1 t2 of