[Haskell-cafe] TH GadtC parameter

Matthew Pickering matthewtpickering at gmail.com
Sat Nov 12 10:37:42 UTC 2016

It is legal to write..

data T where
    A, B, C :: T

So the [Name] corresponds to this possibility.


On Sat, Nov 12, 2016 at 6:24 AM, Paolino <paolo.veronelli at gmail.com> wrote:
> Hello, I couldn't find the evidence for the first parameter of GadtC in Con
> data type to be a [Name] in place of a simpler Name.
> https://hackage.haskell.org/package/template-haskell-
> How should I match a normal gadt constructor syntax with that?
> Thank you
> Paolino
> _______________________________________________
> Haskell-Cafe mailing list
> To (un)subscribe, modify options or view archives go to:
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
> Only members subscribed via the mailman list are allowed to post.

More information about the Haskell-Cafe mailing list