Ian Lynagh wrote:

> Also, order is relevant in many situations with records, e.g.
> 
>     data Foo = Foo { x :: Char, y :: Bool }
> 
> defines Foo :: Char -> Bool -> Foo as well as the corresponding pattern
> constructor

True. Of course the reason is, allowing both positional and named
notation for records is a design error :-)

But this is distracting from my main point:
using spaces for grouping in fundeps is ugly
because it looks like application.
The separator should be a comma.
-- 
-- Johannes Waldmann -- Tel/Fax (0341) 3076 6479/80 --
---- http://www.imn.htwk-leipzig.de/~waldmann/ -------

_______________________________________________
Haskell-prime mailing list
[email protected]
http://haskell.org/mailman/listinfo/haskell-prime

Reply via email to