RE: Haddock GADTs Hack

Simon Peyton-Jones <[email protected]> Wed, 7 Feb 2007 08:42:27 +0000
Newsgroups gmane.comp.lang.haskell.haskelldoc
Message-ID <DCA83D5F3861C941808187D4D38787500154B3EC04@EA-EXMSG-C312.europe.corp.microsoft.com>
Great stuff.   However, David Waern's SoC project is very nearly at the poi=
nt where he can generate Haddock for anything GHC understands; he's using G=
HC itself as the front end.

He's recently added the rendering code for GADTs I think.  I think he's pro=
bably planning a release shortly.  David?

Meanwhile Ashley's hack may well prove useful.

Simon


| -----Original Message-----
| From: [email protected] [mailto:[email protected]=
rg] On Behalf Of Ashley
| Yakeley
| Sent: 07 February 2007 07:18
| To: [email protected]
| Subject: Haddock GADTs Hack
|
| Included is a hack to allow haddock to parse GADTs. There are two
| problems with it:
|
| 1. I don't think you can add doc comments to the constructors.
|
| 2. The shown types are wrong: the whole type of the constructor is shown
| as if it were the type of a single argument. Fixing this will presumably
| involve adding another constructor to HsConDecl to represent GADT
| constructors.
|
| It wouldn't be appropriate to release haddock in this state, but I think
| it's helpful for those of us who could get no doc at all just because we
| have a GADT in our code.
|
| --
| Ashley Yakeley
| Seattle, WA