[Ur] postBody compiler bug

Adam Chlipala adamc at csail.mit.edu
Wed Aug 6 09:51:22 EDT 2014


I've now fixed the bug, which was in an algebraic optimization and had 
no special connection to [postBody].

P.S.: In the future, please report such issues on the Mantis bug 
tracker, rather than on this mailing list.



More information about the Ur mailing list