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 -> Formula -> Formula
> ∀ = All
fine. But then ghc complains. What's going on here?
Thanks!
Sean
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
