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
>
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'
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
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
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
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
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
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 ->