[haddock] #86: don't show leading foralls in type signatures

haddock haddock at projects.haskell.org
Mon Feb 9 01:11:57 EST 2009

#86: don't show leading foralls in type signatures
 Reporter:  rwbarton at alum.mit.edu  |       Type:  enhancement
   Status:  new                    |   Priority:  minor      
Milestone:                         |    Version:  2.5.0      
 Keywords:                         |  
 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.

Ticket URL: <http://trac.haskell.org/haddock/ticket/86>
haddock <http://www.haskell.org/haddock>
Haddock, The Haskell Documentation Tool

More information about the Haddock mailing list