[Haskell-cafe] TH GadtC parameter

[Matthew Pickering]

It is legal to write..

data T where
    A, B, C :: T

So the [Name] corresponds to this possibility.

Matt

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-2.11.0.0/docs/Language-Haskell-TH-Syntax.html#t:Con
>
> 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.