Re: The dreaded layout rule

[Malcolm Wallace]

| How about the Carl Witty's
| 
|   do a == b == c
| 
| does NHC handle this correctly?

It matches ghc and Hugs, reporting
    Error when renaming:
  Infix operator at 2:21 is non-associative.

Note that this is reported one stage *after* parsing.  Because parsing
of infix operators is difficult, all implementations (to my knowledge)
leave resolution of fixity and associativity until later.  Indeed, the
Haskell 98 standard recognises this (in an oblique way) by permitting
infix decls to appear *after* the first use.  Hence, it is now
impossible to resolve fix/assoc in a single pass anyway.

Regards,
    Malcolm