Simplify Core output with -dsuppress-type-signatures
ClosedPublic

Authored by osa1 on Dec 22 2018, 1:09 AM.

Details

Summary

Currently we duplicate top-level binder ids for no reason:

$fEqHsExpr_$c/=
$fEqHsExpr_$c/=
  = \ @ id_a27U $dEq_a27V eta_B2 eta1_B1 ->
      case $fEqHsExpr_$c== $dEq_a27V eta_B2 eta1_B1 of {
        False -> True;
        True -> False
      }

with this patch we drop the first line when type signatures are not
printed (-dsuppress-type-signatures, which is implied by -dsuppress-all)

osa1 created this revision.Dec 22 2018, 1:09 AM
osa1 added a comment.Dec 22 2018, 1:25 AM

I need to rebase this and update expected output of Trac #16038 before merging (I pushed the test just now).

osa1 planned changes to this revision.Dec 22 2018, 1:25 AM
simonpj accepted this revision.Dec 24 2018, 5:08 AM
osa1 updated this revision to Diff 19232.Dec 24 2018, 6:01 AM
  • Update test output
This revision is now accepted and ready to land.Dec 24 2018, 6:01 AM
This revision was automatically updated to reflect the committed changes.