Remove magic parsing of (~)
It seems that (~)
has magical parsing:
Prelude> :i (~)
<interactive>:1:2: parse error on input ‘~’
Prelude> :k (~)
(~) :: k -> k -> Constraint
Prelude> :i (+) -- for comparison
class Num a where
(+) :: a -> a -> a
...
-- Defined in ‘GHC.Num’
infixl 6 +
Now that type operators do not need to start with a colon, this magic seems unnecessary. The (~)
syntax does not need to be wired-in, unless I'm missing something. (The definition of (~)
needs to be wired in -- it's just the syntax that doesn't need to be.)
Trac metadata
Trac field | Value |
---|---|
Version | 7.8.2 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Compiler |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |