
3 Feb
2006
3 Feb
'06
4:11 a.m.
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/ -------