git.iko.soy/elk
on master help sign in
Do not drop aliases in Reporting.Render.Type

This means (VirtualDom.Node msg) becomes (Html msg) in type error messages. May have unintended bad results in other scenarios.

commit2de786d7ed4283ba50a34d29f66e6cd844a44ec4 authorEvan Czaplicki <evancz@users.noreply.github.com> dateMon 19 Sep 2016, 18:45 (10 years ago) parent942ee24
1 file changed−6
compare with master
unifiedsplit
src/Reporting/Render/Type.hs−6
src/Reporting/Render/Type.hs−6
@@ -173,12 +173,6 @@ diff localizer context leftType rightType =
173173 docAppHelp localizer context leftName
174174 <$> sequenceA (zipWith (go App) (map snd leftArgs) (map snd rightArgs))
175175
176− (Type.Aliased _ args real, _) ->
177− go context (Type.dealias args real) rightType
178−
179− (_, Type.Aliased _ args real) ->
180− go context leftType (Type.dealias args real)
181−
182176 (Type.Lambda _ _, _) ->
183177 diffLambda localizer context leftType rightType
184178