On Thu, 2004-11-18 at 13:23 +0800, WANG Meng wrote:

Hi All,

Does anybody know what parser "Typing Haskell in Haskell" use? I am tring to use the code for some type checking. But I cannot find a parser in the distribution.

Last time I looked, which was a long time ago, there was no parser. I added a parser and some other stuff, like kind inference. The result is called Hatchet. You can find it here: http://www.cs.mu.oz.au/~bjpop/hatchet.html Cheers, Bernie.