[Haskell-cafe] ∀ lexing in ghc and ghci

Ketil Malde ketil at malde.org
Fri Sep 18 02:28:41 EDT 2009

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

See also this thread:


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

More information about the Haskell-Cafe mailing list