<div dir="ltr">Hi,<div>I think the problem is in the types.</div><div>If you look at the type of the function round, you can see its result is an<font face="monospace"> Integral</font>:</div><div><br></div><div><font face="monospace">>> :t round</font></div><div><font face="monospace">round :: (Integral b, RealFrac a) => a -> b</font><br></div><div><br></div><div>The result of the division x/y, instead, is a <font face="monospace">Fractional,</font>¬†and you cannot test equality between two things of different types.</div><div>To solve the problem you can do a type cast, by converting the Integral to a Num, using <font face="monospace">fromInteger</font>:</div><div><br></div><div><font face="monospace">(fromInteger (round (x/y))) == (x/y)</font><br></div><div><br></div><div>This should work.</div><div><br></div><div>Cheers,</div><div>Ut</div><div><br></div><div><br></div><div><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Il giorno mer 8 gen 2020 alle ore 16:01 Alexander Chen <<a href="mailto:alexander@chenjia.nl">alexander@chenjia.nl</a>> ha scritto:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div style="font-family:Arial;font-size:13px">hi,<div><br></div><div>for a List comprehension I want to only include the integers of a division. In my beginners mind this should work:</div><div><br></div><div>(round (x / y)) == (x / y)</div><div><br></div><div>however, i get a nontrivial error blurp.</div><div><br></div><div>what am i doing wrong?</div><div><br></div><div>best,</div><div><br></div><div>Alexander¬†</div><div><br><br><div><div style="font-family:Arial;font-size:13px"><br></div></div></div></div>_______________________________________________<br>
Beginners mailing list<br>
<a href="mailto:Beginners@haskell.org" target="_blank">Beginners@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners</a><br>
</blockquote></div>