RE: Type operators and consyms

2007-09-29 Thread David Waern
> 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 TvName

RE: Type operators and consyms

2007-09-29 Thread Simon Peyton-Jones
| I want to use OccName.isSymOcc to test wether a type constructor is an | operator or not. But it seems to assume that type operators are always | consyms. I'm wondering if this is a bug, since GHC accepts the following | code: | | newtype Flip (~>) b a = Flip { unFlip :: a ~> b } I'm not sure wh