Hi, In order to automatize the creation of W3C DOM typesafe wrapper (this is needed for my Haskell->Javascript stuff) I am processing the OMG IDL files that contain interface definitions for DOM methods and attributes with HDirect. It works in general (for some reason it didn't like "boolean" type, so I used a preprocessor to redefine it as "Boolean"), and outputs some Haskell code full of foreign calls, yet it contains what I need: type signatures. For example, for the method "appendChild" it outputs: appendChild :: Node a1 -> Node a0 -> Prelude.IO (Node ()) appendChild newChild iptr = do o_appendChild <- Com.invokeIt (\ methPtr iptr -> Foreign.ForeignPtr.withForeignPtr newChild (\ new unmarshallNode o_appendChild (above lines of code may be truncated, they are just for illustration) This is almost it, but I need to replace the return type (using the JS monad instead of IO), and replace the method implementation with something else, based on unsafeJS. In some other cases I may need to modify type declarations, etc. I know there is a Haskell syntax parser around (maybe, more than one). Does anybody know of any utility based on such parser that does things I need, or rather a library on top of the parser? I just would like to avoid reinventing the wheel. Last thing I want to do is to change sources of HDirect. Thanks. -- Dimitry Golubovsky Anywhere on the Web