<br><div class="gmail_quote">2008/5/1 Galchin, Vasili &lt;<a href="mailto:vigalchin@gmail.com">vigalchin@gmail.com</a>&gt;:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Sorry .. my example was bad.&nbsp; I want to use &quot;x&quot; .. in&nbsp; then&nbsp; branch where it occur ...<br><br>e.g.<div class="Ih2E3d"><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; bonzo :: Maybe Bozo -&gt; IO ()<br>&nbsp; &nbsp; &nbsp; bonzo&nbsp; maybe_bozo = do<br></div>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; case maybe_bozo of<br>
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; Just (Bozo x) -&gt; x ........<br>
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; _ &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;&nbsp; -&gt; .........<br><br>??<br></blockquote><div><br>Sure, after pattern-matching on the x (using a case, or a top-level pattern match), you are free to use x in the resulting branch.&nbsp; For example:<br>
<br>bonzo (Just (Bozo x)) = print (show x) &gt;&gt; return x&nbsp; -- or whatever<br>bonzo Nothing = return ()<br><br>-Brent<br></div></div><br>