GADTs with strict fields?

Simon Peyton-Jones simonpj at
Wed Apr 1 02:53:51 EDT 2009

Yes it's documented in the user manual

Since you didn't find it, despite looking, can you suggest how we could improve the manual so that you would?



From: glasgow-haskell-users-bounces at [mailto:glasgow-haskell-users-bounces at] On Behalf Of Conal Elliott
Sent: 01 April 2009 00:54
To: glasgow-haskell-users at
Subject: Re: GADTs with strict fields?

I got an answer:  precede the argument types by a "!".  I didn't realize that type applications then have to be parenthesized.
On Tue, Mar 31, 2009 at 4:18 PM, Conal Elliott <conal at<mailto:conal at>> wrote:
Do strict fields work with GADTs?  If so, what's the syntax for the strictness annotations?   - Conal

-------------- next part --------------
An HTML attachment was scrubbed...

More information about the Glasgow-haskell-users mailing list