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-... How should I match a normal gadt constructor syntax with that? Thank you Paolino
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
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-...
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.
participants (2)
-
Matthew Pickering -
Paolino