Re: [Haskell-cafe] ∀ lexing in ghc and ghci

2009-09-18 Thread Sean McLaughlin
Hi Daniel, Prelude> Data.Char.isSymbol (toEnum 8704) True On Thu, Sep 17, 2009 at 11:09 PM, Daniel Fischer wrote: > Am Friday 18 September 2009 04:41:13 schrieben Sie: > > Weird. OK, thanks a lot! I'm switching to ¥ until I get this figured > > out. Sean > > > > What does your ghci say for >

Re: [Haskell-cafe] ∀ lexing in ghc and ghci

2009-09-17 Thread Ketil Malde
Daniel Fischer 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'

Re: [Haskell-cafe] ∀ lexing in ghc and ghci

2009-09-17 Thread Daniel Fischer
Am Friday 18 September 2009 04:41:13 schrieben Sie: > Weird. OK, thanks a lot! I'm switching to ¥ until I get this figured > out. Sean > What does your ghci say for Data.Char.isSymbol (toEnum 8704) ? ___ Haskell-Cafe mailing list Haskell-Cafe@haskell

Re: [Haskell-cafe] ∀ lexing in ghc and ghci

2009-09-17 Thread Sean McLaughlin
Weird. OK, thanks a lot! I'm switching to ¥ until I get this figured out. Sean On Thu, Sep 17, 2009 at 10:00 PM, Daniel Fischer wrote: > Am Freitag 18 September 2009 03:51:40 schrieb Sean McLaughlin: > > Hi Daniel, > > Would you try putting that in a file and loading it in ghci? Your > > ex

Re: [Haskell-cafe] ∀ lexing in ghc and ghci

2009-09-17 Thread Daniel Fischer
Am Freitag 18 September 2009 03:51:40 schrieb Sean McLaughlin: > Hi Daniel, > Would you try putting that in a file and loading it in ghci? Your > example also works for me. > > Prelude> let (∀) = 5 > Prelude> (∀) > 5 > > Sean Sure: da...@linux-mkk1:~/Haskell/CafeTesting> cat Forall.hs module Fo

Re: [Haskell-cafe] ∀ lexing in ghc and ghci

2009-09-17 Thread Sean McLaughlin
Hi Daniel, Would you try putting that in a file and loading it in ghci? Your example also works for me. Prelude> let (∀) = 5 Prelude> (∀) 5 Sean On Thu, Sep 17, 2009 at 9:41 PM, Daniel Fischer wrote: > Am Freitag 18 September 2009 03:31:13 schrieb Sean McLaughlin: > > Hi, > > I'm getting d

Re: [Haskell-cafe] ∀ lexing in ghc and ghci

2009-09-17 Thread Daniel Fischer
Am Freitag 18 September 2009 03:31:13 schrieb Sean McLaughlin: > Hi, > I'm getting different behavior in ghci and ghc with the identifier ∀. In > ghc I need > to wrap it with parens, as in > > > (∀) :: Var -> Base -> Formula -> Formula > > (∀) = All > > In ghci, I get an error this way > > Formu

[Haskell-cafe] ∀ lexing in ghc and ghci

2009-09-17 Thread Sean McLaughlin
Hi, I'm getting different behavior in ghci and ghc with the identifier ∀. In ghc I need to wrap it with parens, as in > (∀) :: Var -> Base -> Formula -> Formula > (∀) = All In ghci, I get an error this way Formula.lhs:112:2: Invalid type signature In ghci I can do > ∀ :: Var -> Base ->