git.iko.soy/elk
on master help sign in
Do not drop aliases in Reporting.Render.Type
2de786dEvan Czaplicki
src/Reporting/Render/Type.hs−6
compare with master
unifiedsplit
@@ -173,12 +173,6 @@ diff localizer context leftType rightType =
173 docAppHelp localizer context leftName
173 docAppHelp localizer context leftName
174 <$> sequenceA (zipWith (go App) (map snd leftArgs) (map snd rightArgs))
174 <$> sequenceA (zipWith (go App) (map snd leftArgs) (map snd rightArgs))
175
175
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−
182 (Type.Lambda _ _, _) ->
176 (Type.Lambda _ _, _) ->
183 diffLambda localizer context leftType rightType
177 diffLambda localizer context leftType rightType
184
178