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
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: dafis@linux-mkk1:~/Haskell/CafeTesting> cat Forall.hs module Forall where
(∀) :: Int -> Int -> Int x ∀ y = x*(y-x) dafis@linux-mkk1:~/Haskell/CafeTesting> ghci Forall GHCi, version 6.10.3: http://www.haskell.org/ghc/ :? for help Loading package ghc-prim ... linking ... done. Loading package integer ... linking ... done. Loading package base ... linking ... done. [1 of 1] Compiling Forall ( Forall.hs, interpreted ) Ok, modules loaded: Forall. *Forall> 7 ∀ 4 -21 *Forall>
Works here.