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 |