On 06/03/2015 07:28 AM, Gabriel Riba wrote:
I could add an "assert" function to lib/ur/top.ur--- fun assert [a] (cond: bool) (msg: string) (loc: string) (x:a): a = if cond then x else error <xml>{[msg]} at {[loc]}</xml> ---
Looks fine to me. BTW, I'm still waiting for a final patch from you (ideally in Mercurial format), for the feature described in the message subject.
BTW, "let ... where ... end" is not documented in the reference manual.
No, it's there, on page 19 of the current version. _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
