P.S.: In the future, please report such issues on the Mantis bug tracker, rather than on this mailing list.
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
I've now fixed the bug, which was in an algebraic optimization and had
no special connection to [postBody].
- [Ur] postBody compiler bug Sergey Mironov
- Re: [Ur] postBody compiler bug Adam Chlipala
- Re: [Ur] postBody compiler bug Sergey Mironov
