On Wed, Nov 23, 2005 at 02:58:43PM +0100, Wolfgang Jeltsch wrote: > 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) ... > You can just omit the data constructors from the module's export list.
Yes, you can do that if you don't want to allow pattern matching. That's an acceptable solution for truly "exported" (i.e. opaque) data, but for internal data structures I would like to allow pattern matching without allowing positional matching (or constructing). Too many times I've had to go through the entire code adding an extra "_" to each pattern match, and each time there's a possibility you'll add it in the wrong spot. I could do this with coding guidelines, but I'd prefer to have the compiler enforce this. -- David Roundy http://www.darcs.net _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell