[Hat] HAT issue

Hi, I was using your HAT utility to trace through a program of mine and it encountered an odd problem when i tried to do "hmake -hat ....." I think this may be a known problem where you say hat-trans output fails to compile if the source program depends on defaults to resolve numeric types. However, I am not sure. It compiles fine under Hugs and GHC. If you explicitly state the type then it works. So all you need to do is UN-comment line 67 and then the attached code will work. BTW, Your tool turned out to be VERY useful. Thanks! -Adam adam.poswolsky@yale.edu