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

[Ömer Sinan Ağacan]

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