[Haskell-cafe] TH GadtC parameter
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.
> How should I match a normal gadt constructor syntax with that?
> Thank you
> Haskell-Cafe mailing list
> To (un)subscribe, modify options or view archives go to:
> Only members subscribed via the mailman list are allowed to post.
More information about the Haskell-Cafe