21 May
2003
21 May
'03
5:17 a.m.
After installing the CVS version and adding some type sigs, I am able to hat-trans my code. However, the resulting instrumented executable outputs something different from the uninstrumented version. In particular, it outputs an empty list, where I expect it to output a very non-empty list.
I fear this sounds very much like a new bug in Hat. Can you send me your code? If you could produce a small example program that exposes the bug, that would be even better. Because I am currently busy it may take me some time to fix the bug. Ciao, Olaf -- OLAF CHITIL, Dept. of Computer Science, The University of York, York YO10 5DD, UK. URL: http://www.cs.york.ac.uk/~olaf/ Tel: +44 1904 434756; Fax: +44 1904 432767