El 03/06/15 a les 15:57, Adam Chlipala ha escrit:
On 06/03/2015 09:26 AM, Gabriel Riba wrote:
Here comes the mercurial patch with both the _LOC_ in urweb.lex and
the "assert" function in top.ur
Thanks, patch accepted. I had to add some fixes to make it actually
work in top.ur; I presume testing only happened with the code at some
other location.
I am sorry, I tested the _LOC_ patch in place but the "assert" function
had been tested as a stand alone function, and because of the hurry to
deliver the previous, I forgot to add the assert function to the
signature (top.urs) and to check what it seemed a simple function.
I will check all thoroughly in the next occasion.
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
