[Haskell-cafe] ∀ lexing in ghc and ghci
Sean McLaughlin
seanmcl at gmail.com
Thu Sep 17 21:31:13 EDT 2009
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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20090917/bd16a4cf/attachment.html
More information about the Haskell-Cafe
mailing list