Comments on GADT constructors

[jeanphilippe.bernardy@…]

eg. this fails:

data I ev w a where

Returns

a -> I ev w a

Binds

I ev w a -> (a -> I ev w b) -> I ev w b

Gets

Ord ev => Maybe ev -> Maybe ev -> I ev w ev -- ^{Accept any character between given bounds. Bound is ignored if @Nothing@.}

[waern]

This is because there's no support in the GHC parser for GADT documentation at the moment. Will try to fix this for GHC 6.10.1.

[conal]

Note to future Conal: when this ticket gets resolved, fix the documentation for TV library's Input and Output GADTs.

[basvandijk]

Note to future Bas: when this ticket gets resolved, fix the documentation in usb-safe for the GADT TransferDirection and TransferType and in explicit-iomodes and safer-file-handles for IOMode.

[paolino]

Replying to jeanphilippe.bernardy@gmail.com:

eg. this fails: data I ev w a where Returns :: a -> I ev w a Binds :: I ev w a -> (a -> I ev w b) -> I ev w b Gets :: Ord ev => Maybe ev -> Maybe ev -> I ev w ev -- ^{Accept any character between given bounds. Bound is ignored if @Nothing@.}

[anonymous]

Milestone 2.10.0 deleted

[nwf]

Please see the attached against GHC 7.6.