[Ur] Proposed location literals to track caller's location in error msgs.

[Adam Chlipala]

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.