Ticket #86 (new enhancement)

Opened 5 years ago

Last modified 3 years ago

don't show leading foralls in type signatures

Reported by: rwbarton@… Owned by:
Priority: minor Milestone:
Version: 2.5.0 Keywords:
Cc: SamB, pho@…

Description

When using ScopedTypeVariables it's necessary to write leading foralls in type signatures in order to scope free variables over the body of the function definition. Haddock reproduces these explicit foralls in its output. As I see it, whether a function definition is written with explicit foralls is an implementation detail--it doesn't affect users of the function, and in most cases the function could have been written without ScopedTypeVariables. So I think Haddock's output ideally shouldn't include these leading foralls; they're distracting, especially when some but not all of the functions in a module have them.

Change History

Changed 5 years ago by SamB

  • cc SamB added

Changed 3 years ago by PHO

  • cc pho@… added
Note: See TracTickets for help on using tickets.