Hi Daniel,<div><br></div><div> Would you try putting that in a file and loading it in ghci? Your</div><div>example also works for me.</div><div><br></div><div><div>Prelude> let (∀) = 5</div><div>Prelude> (∀)</div><div>
5</div><div><br></div></div><div>Sean<br><br><div class="gmail_quote">On Thu, Sep 17, 2009 at 9:41 PM, Daniel Fischer <span dir="ltr"><<a href="mailto:daniel.is.fischer@web.de">daniel.is.fischer@web.de</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">Am Freitag 18 September 2009 03:31:13 schrieb Sean McLaughlin:<br>
<div><div></div><div class="h5">> Hi,<br>
> I'm getting different behavior in ghci and ghc with the identifier ∀. In<br>
> ghc I need<br>
> to wrap it with parens, as in<br>
><br>
> > (∀) :: Var -> Base -> Formula -> Formula<br>
> > (∀) = All<br>
><br>
> In ghci, I get an error this way<br>
><br>
> Formula.lhs:112:2:<br>
> Invalid type signature<br>
><br>
> In ghci I can do<br>
><br>
> > ∀ :: Var -> Base -> Formula -> Formula<br>
> > ∀ = All<br>
><br>
> fine. But then ghc complains. What's going on here?<br>
<br>
</div></div>Very odd:<br>
<br>
GHCi, version 6.10.3: <a href="http://www.haskell.org/ghc/" target="_blank">http://www.haskell.org/ghc/</a> :? for help<br>
Loading package ghc-prim ... linking ... done.<br>
Loading package integer ... linking ... done.<br>
Loading package base ... linking ... done.<br>
Prelude> let ∀ :: Int -> Int -> Int; ∀ x y = x*(y-x)<br>
<br>
<interactive>:1:4: parse error on input `∀'<br>
Prelude> let (∀) :: Int -> Int -> Int; x ∀ y = x*(y-x)<br>
Prelude> 3 ∀ 5<br>
6<br>
<br>
Maybe your encodings aren't UTF8?<br>
<br>
><br>
> Thanks!<br>
><br>
> Sean<br>
<br>
</blockquote></div><br></div>