Type operators and consyms
davve at dtek.chalmers.se
Sat Sep 29 11:28:09 EDT 2007
> I'm not sure what your question is. Here (~>) belongs to the same name
> space as type variables. Remember both type contructors and data
Oh, sorry about that! I didn't realise there was a namespace for type
> 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.
More information about the Cvs-ghc