Daniel Fischer <daniel.is.fisc...@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
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to