"Bernard" == Bernard James POPE <bjpop@cs.mu.OZ.AU> writes:
Bernard> Hi all, Bernard> I'm sending this to the whole list because maybe there are others who are Bernard> doing the same thing as me, and so it would be useful to share some Bernard> effort.
What about a standard AST format? What about static analysis and type checking/inference?
Bernard> A few of us at Melbourne have been slowly creating a front Bernard> end to Mark Jones' Typing Haskell in Haskell. It is getting Bernard> close to being useable. It is intended as a stand-alone type Bernard> inference/checking tool that can give detailed information Bernard> about static aspects of the program. It will understand Bernard> modules. Note that we also have most of a frontend based on thih. It's actually a translator between hsparser's output and thih's input. It's not very well debugged or tested, but mostly complete, albeit sans the modules stuff. -- Cheers =8-} Mike Friede, Völkerverständigung und überhaupt blabla