<div dir="ltr"><div>I mean, shouldn't there be a guard?</div><div><br></div><div><div style="color:rgb(212,212,212);background-color:rgb(30,30,30);font-weight:normal;font-size:16px;line-height:22px;white-space:pre"><div><span style="color:rgb(86,156,214)">instance</span><span style="color:rgb(212,212,212)"> (</span><span style="color:rgb(86,156,214)">Integral</span><span style="color:rgb(212,212,212)"> </span><span style="color:rgb(156,220,254)">a</span><span style="color:rgb(212,212,212)">, </span><span style="color:rgb(86,156,214)">Read</span><span style="color:rgb(212,212,212)"> </span><span style="color:rgb(156,220,254)">a</span><span style="color:rgb(212,212,212)">) => </span><span style="color:rgb(86,156,214)">ReadPrec</span><span style="color:rgb(212,212,212)"> (</span><span style="color:rgb(86,156,214)">Ratio</span><span style="color:rgb(212,212,212)"> </span><span style="color:rgb(156,220,254)">a</span><span style="color:rgb(212,212,212)">) </span><span style="color:rgb(86,156,214)">where</span></div><div><span style="color:rgb(212,212,212)">    readPrec = parens . prec </span><span style="color:rgb(181,206,168)">7</span><span style="color:rgb(212,212,212)"> $ </span><span style="color:rgb(197,134,192)">do</span></div><div><span style="color:rgb(212,212,212)">        n <- step readPrec</span></div><div><span style="color:rgb(212,212,212)">        lift (expect (Symbol </span><span style="color:rgb(206,145,120)">"%"</span><span style="color:rgb(212,212,212)">))</span></div><div><span style="color:rgb(212,212,212)">        d <- step readPrec</span></div><div><span style="color:rgb(212,212,212)">        <b>guard (</b></span><b><span style="color:rgb(181,206,168)">0</span><span style="color:rgb(212,212,212)"> /= d)</span></b></div><div><span style="color:rgb(212,212,212)">        return (n % d)</span></div></div></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">2020년 5월 31일 (일) 오후 12:13, Dannyu NDos <<a href="mailto:ndospark320@gmail.com">ndospark320@gmail.com</a>>님이 작성:<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 dir="auto">Shouldn't the parser be pfail rather than throwing an error?</div>
</blockquote></div>