<html><head><style type="text/css"><!-- DIV {margin:0px;} --></style></head><body><div style="font-family:times new roman, new york, times, serif;font-size:12pt"><div style="font-family: times new roman,new york,times,serif; font-size: 12pt;">I noticed that StateT can enclose IO actions for instance.&nbsp; So you are saying the whole Parsec library would need to be rewritten as something like a ParsecT transformer monad for this to work? If this is the case I suppose I will stick with returning my list of include files. - Greg<br><br><div style="font-family: times new roman,new york,times,serif; font-size: 12pt;">----- Original Message ----<br>From: Bulat Ziganshin &lt;bulat.ziganshin@gmail.com&gt;<br>To: Gregory Propf &lt;gregorypropf@yahoo.com&gt;<br>Cc: haskell-cafe@haskell.org<br>Sent: Saturday, August 11, 2007 11:33:00 PM<br>Subject: Re: Fw: [Haskell-cafe] IO within parser<br><br><div>Hello Gregory,<br><br>Sunday, August 12, 2007, 9:32:04 AM, you
 wrote:<br><br>&gt;&gt; I've been struggling with writing a parser that needs to parse include<br>&gt;&gt; files within source files.&nbsp;&nbsp;<br><br>Parsec can't accomplish with without using unsafePerformIO because<br>it's monad is pure. it's algorithmically impossible to have any i/o<br>actions inside it. there was plans to rewrite Parsec in<br>monad-transformer way and afair it was even one of GSOC projects<br><br>-- <br>Best regards,<br> Bulat&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;mailto:Bulat.Ziganshin@gmail.com<br><br></div></div><br></div></div><br>
      <hr size=1>Yahoo! oneSearch: Finally, <a href="http://us.rd.yahoo.com/evt=48252/*http://mobile.yahoo.com/mobileweb/onesearch?refer=1ONXIC"> mobile search 
that gives answers</a>, not web links. 

</body></html>