Re: [Haskell-cafe] IO within parser

2007-08-13 Thread Sam Hughes
Malte Milatz wrote: Sam Hughes [EMAIL PROTECTED], Sun, 12 Aug 2007 20:12:55 -0400: [A parser like Parsec, with monad transformers:] $ darcs get http://samuelhughes.com/darcs/partran/ Is this related in any way to the following GSoC project?

Re: Fw: [Haskell-cafe] IO within parser

2007-08-12 Thread Bulat Ziganshin
Hello Gregory, Sunday, August 12, 2007, 9:32:04 AM, you wrote: I've been struggling with writing a parser that needs to parse include files within source files.   Parsec can't accomplish with without using unsafePerformIO because it's monad is pure. it's algorithmically impossible to have any

Re: [Haskell-cafe] IO within parser

2007-08-12 Thread Malte Milatz
Gregory Propf, Sat, 11 Aug 2007 13:06:43 -0700: but the type of liftIO is baffling class Monad m = MonadIO m where liftIO :: IO a - m a But how do you define this function? There is no constructor for IO a that you can take apart. If not using unsafePerformIO, which is usually not

Re: Fw: [Haskell-cafe] IO within parser

2007-08-12 Thread Gregory Propf
- Original Message From: Bulat Ziganshin [EMAIL PROTECTED] To: Gregory Propf [EMAIL PROTECTED] Cc: haskell-cafe@haskell.org Sent: Saturday, August 11, 2007 11:33:00 PM Subject: Re: Fw: [Haskell-cafe] IO within parser Hello Gregory, Sunday, August 12, 2007, 9:32:04 AM, you wrote: I've been

Re: [Haskell-cafe] IO within parser

2007-08-12 Thread Sam Hughes
Malte Milatz wrote: If not using unsafePerformIO, which is usually not what we want, the monad m in question must incorporate IO. That is, it could be defined something like (say we want a parser with state): newtype IOParser tok s a = IOParser (s - [tok] - IO (s,a)) You

[Haskell-cafe] IO within parser

2007-08-11 Thread Gregory Propf
I've been struggling with writing a parser that needs to parse include files within source files. So far I cannot get this to work (in reality to get work done I wrote a kludge that returns a list of include filenames to be run later in a pure IO function. I realized that this just amounted

Re: [Haskell-cafe] IO within parser

2007-08-11 Thread Andrew Coppin
Gregory Propf wrote: I've been struggling with writing a parser that needs to parse include files within source files. So far I cannot get this to work (in reality to get work done I wrote a kludge that returns a list of include filenames to be run later in a pure IO function. I realized

Fw: [Haskell-cafe] IO within parser

2007-08-11 Thread Gregory Propf
. (Note: I accidentally sent this to Andrew instead of the list originally) - Original Message From: Andrew Coppin [EMAIL PROTECTED] To: haskell-cafe@haskell.org Sent: Saturday, August 11, 2007 1:25:16 PM Subject: Re: [Haskell-cafe] IO within parser Gregory Propf wrote: I've been struggling