Am Mittwoch, 23. November 2005 14:22 schrieb David Roundy:
> On Tue, Nov 22, 2005 at 02:32:47PM +0000, Rob Ennals wrote:
> [...]
> > 7. Unordered records: yep (if I understand the problem correctly)
>
> I don't think you understood correctly. What I'd like (and this is another
> one of those David-specific issues--I've never heard anyone else complain
> about this) is to be able to create a data type that has no order. If I
> write
>
> data FooBar = FooBar { foo, bar :: String }
>
> I can construct this (either with Haskell 98 or with your proposal, as I
> understand it) with either
>
> fb = FooBar { foo = "a", bar = "b" }
>
> or with
>
> fb = FooBar "a" "b"
>
> I'd prefer to at least optionally be able to make the second syntax fail to
> compile--which is what I mean by an unordered record. The same goes for
> pattern matching.
You can just omit the data constructors from the module's export list.
> [...]
Best wishes,
Wolfgang
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
