<div dir="ltr">Use the isTrue# function which is made visible by importing GHC.Base.<div><br><div>isTrue# (x <=# y) :: Bool</div><div><br></div><div>You can show an Int# by wrapping it up in an I# data constructor and applying show to it:</div><div><br></div><div>x# :: Int#</div><div>show (I# x#) ::String</div><div><br></div><div>You can make the I# data constructor visible via GHC.Base like above. </div><div><br></div><div>Hope that helps!</div><div>Rahul</div><div><br></div></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Nov 2, 2016 at 11:20 AM, Richard A. O'Keefe <span dir="ltr"><<a href="mailto:ok@cs.otago.ac.nz" target="_blank">ok@cs.otago.ac.nz</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I have x, y :: Int#<br>
I expect that x <=# y :: Bool<br>
but ghc 7.8 says<br>
Couldn't match expected type ‘Bool’ with actual type ‘Int#’<br>
In the expression: x <=# y<br>
In an equation for ‘b’: b = x <=# y<br>
<br>
I have MagicHash and I've imported the right modules so that<br>
<=# is recognised as *something*, but at this point I'm baffled.<br>
<br>
I'm also not clear on how I can show an Int#.<br>
<br>
<br>
______________________________<wbr>_________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bi<wbr>n/mailman/listinfo/haskell-caf<wbr>e</a><br>
Only members subscribed via the mailman list are allowed to post.</blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature">Rahul Muttineni</div>
</div>