Re: [Haskell-cafe] looking for alex+happy examples that uses location annotated tokens and location information in err msgs

Hi Stephen, I just finished implementing the type checker. I used the first method I mentioned in my previous mail, and it worked great. It may still contain some bugs but it works fine on current test suite. (test programs in original min-caml implementation). If you're still interested, source code is here https://github.com/osa1/minCaml.hs/blob/master/src/MinCaml/Typing.hs --- Ömer Sinan Ağacan http://osa1.net