[Haskell-cafe] ∀ lexing in ghc and ghci

[Ketil Malde]

Daniel Fischer <daniel.is.fischer at web.de> writes:

>> In ghci I can do
>>
>> > ∀ :: Var -> Base -> Formula -> Formula
>> > ∀ = All
>>
>> fine.  But then ghc complains.  What's going on here?

> Maybe your encodings aren't UTF8?

Or rather, one of them is UTF-8, and the other isn't.  So that in one
case, you get the 'forall' Unicode symbol, and in the other, you get a
sequence of two (or more?) code-points between 128 and 255, which happen
to not be declared as symbols.  (This is just a guess, I haven't really
checked)

See also this thread:

  http://www.mail-archive.com/haskell-cafe@haskell.org/msg63555.html

-k
-- 
If I haven't seen further, it is by standing in the footprints of giants