ghc 7.6.3: type parser accepts => as -> (sometimes)
The following examples are all parsed and type checked even though they don't seem to be conforming to the Haskell standard syntax:
a :: Int => Int
a = (1+)
b :: a -> a => a
b = const
c :: Num a => [a => a => a]
c = [(+)]
Slight variations fail (as the should) - for example
b' :: a -> b => a
b' = const
/Patrik
Linux cse-814009 3.11.0-18-generic #32-Ubuntu SMP Tue Feb 18 21:11:14 UTC 2014 x86_64 x86_64 x86_64 GNU/Linux