[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