> I'm not sure what your question is.  Here (~>) belongs to the same name
> space as type variables.  Remember both type contructors and data
> constructors

Oh, sorry about that! I didn't realise there was a namespace for type
variables.

> The 'other' case doesn't distinguish operators for TvNames.  It should be
> isSymOcc (OccName DataName s)  = isLexConSym s
> isSymOcc (OccName TcClsName s) = isLexConSym s
> isSymOcc (OccName VarName s)   = isLexSym s
> isSymOcc (OccName TvName s)    = isLexSym s
>
>
> I don't know whether this will fix your problem, but it does seem wrong as
> it is.

Yes, this fixes my problems! I just got the cause of the problem wrong.

Thanks,
David

_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc

Reply via email to