18 Sep
2009
18 Sep
'09
6:28 a.m.
Daniel Fischer
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