> The report says:
>
> Fixity declarations must ... and may only be given for identifiers
> defined in that module. -- section 5.6
>
> I've always interpreted it as meaning "defined at the top level".
> The wording is a little vague (we badly need a more formal spec) but
> I'm sure that's what it means.
I feared you would refer to this sentence ;-). My interpretation
was different ...
> But in the meantime, I'm reluctant to change things in a way that is
> incompatible with other compilers. (At least, I assume it's
> incompatible - have you tried? Lennart? Simon?)
Luck is my side ;-). Given the following module
> module Test (module Test)
> where
> infix \+/
> a = 1
ghc and hbc respond as follows.
jod 157> ghc -c Test.lhs
ghc: module version changed to 1; reason: no old .hi file
jod 158> hbc -c Test.lhs
Now, what do you say, smiley again ;-).
Cheers, Ralf
