Skip to content
  • Simon Peyton Jones's avatar
    Fix Trac #3265: type operators in type/class declarations · 0a7a51d7
    Simon Peyton Jones authored
    We should accept these:
    
       data a :*: b = ....
    or
       data (:*:) a b = ...
    
    only if -XTypeOperators is in force.  And similarly class decls.
    
    This patch fixes the problem.  It uses the slightly-nasty OccName.isSymOcc,
    but the only way to avoid that is to cach the result in OccNames which seems
    overkill to us.
    0a7a51d7