Empty Datatypes in GHC 5?

Simon Peyton-Jones simonpj@microsoft.com
Mon, 11 Jun 2001 07:09:29 -0700


Done, in the HEAD at least.

Simon

| -----Original Message-----
| From: Ashley Yakeley [mailto:ashley@semantic.org]=20
| Sent: 08 June 2001 01:14
| To: GHC List
| Subject: Empty Datatypes in GHC 5?
|=20
|=20
| I just joined this list after finally obtaining an i386=20
| machine primarily=20
| for the purpose of running GHC (I ssh/ftp to it from my Mac).
|=20
| A quick question: is there an option to allow empty datatypes in GHC=20
| 5.00? I couldn't see one in the manual. They are useful for type=20
| parameterisation, for instance:
|=20
|  data Zero;
|  data Succ n;
|=20
| Unfortunately this is contrary to the Haskell Report.=20
| Nevertheless, Hugs=20
| allows it. But GHC, apparently, does not.
|=20
| --=20
| Ashley Yakeley, Seattle WA
|=20
|=20
| _______________________________________________
| Glasgow-haskell-users mailing list=20
| Glasgow-haskell-users@haskell.org=20
| http://www.haskell.org/mailman/listinfo/glasgow-| haskell-users
|=20