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&gt; let (∀) = 5</div><div>Prelude&gt; (∀)</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">&lt;<a href="mailto:daniel.is.fischer@web.de">daniel.is.fischer@web.de</a>&gt;</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">&gt; Hi,<br>
&gt;   I&#39;m getting different behavior in ghci and ghc with the identifier ∀.  In<br>
&gt; ghc I need<br>
&gt; to wrap it with parens, as in<br>
&gt;<br>
&gt; &gt; (∀) :: Var -&gt; Base -&gt; Formula -&gt; Formula<br>
&gt; &gt; (∀) = All<br>
&gt;<br>
&gt; In ghci, I get an error this way<br>
&gt;<br>
&gt; Formula.lhs:112:2:<br>
&gt;     Invalid type signature<br>
&gt;<br>
&gt; In ghci I can do<br>
&gt;<br>
&gt; &gt; ∀ :: Var -&gt; Base -&gt; Formula -&gt; Formula<br>
&gt; &gt; ∀ = All<br>
&gt;<br>
&gt; fine.  But then ghc complains.  What&#39;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&gt; let ∀ :: Int -&gt; Int -&gt; Int; ∀ x y = x*(y-x)<br>
<br>
&lt;interactive&gt;:1:4: parse error on input `∀&#39;<br>
Prelude&gt; let (∀) :: Int -&gt; Int -&gt; Int; x ∀ y = x*(y-x)<br>
Prelude&gt; 3 ∀ 5<br>
6<br>
<br>
Maybe your encodings aren&#39;t UTF8?<br>
<br>
&gt;<br>
&gt; Thanks!<br>
&gt;<br>
&gt; Sean<br>
<br>
</blockquote></div><br></div>