git.iko.soy/elk
on master help sign in
Skip parens within tuples
e6b3f45Evan Czaplicki
src/Reporting/Render/Type.hs+6−2
compare with master
unifiedsplit
@@ -195,8 +195,12 @@ diff localizer context leftType rightType =
195 (docApp localizer context rightName (map (docType localizer App) rightArgs))
195 (docApp localizer context rightName (map (docType localizer App) rightArgs))
196
196
197 else
197 else
198+ let
199+ subContext =
200+ if Var.isTuple leftName then None else App
201+ in
198− docApp localizer context leftName
202+ docApp localizer context leftName
199− <$> sequenceA (zipWith (go App) leftArgs rightArgs)
203+ <$> sequenceA (zipWith (go subContext) leftArgs rightArgs)
200
204
201 (Type.App _ _, Type.App _ _) ->
205 (Type.App _ _, Type.App _ _) ->
202 error "Type applications without concrete names should not get here."
206 error "Type applications without concrete names should not get here."