Skip to content

Update GHCi :info type synonym printing (#24459)

Andrei Borzenkov requested to merge wip/sand-witch/tysyn-info-ppr into master

  • Do not print result's kind since we have full kind in SAKS and we display invisible arity using @-binders

  • Do not suppress significant invisible binders

Invisible binder is considered significant when it meets at least one of two following criteria:

  • It visibly occurs in the RHS type
  • It is not followed by a visible binder, so it affects arity of type synonym

Merge request reports