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

Gabriel Riba gabriel at xarxaire.com
Wed Jun 3 09:26:59 EDT 2015


Here comes the mercurial patch with both the _LOC_ in urweb.lex and the 
"assert" function in top.ur

El 03/06/15 a les 14:43, Adam Chlipala ha escrit:
>
>> BTW, "let ... where ... end" is not documented in the reference manual.
>
> No, it's there, on page 19 of the current version.

It is not in the "4.2 Core syntax" section, expression production,

I see that it is in the next "4.3 Shorthands" section that requires a 
more attentive reading.



-------------- next part --------------
A non-text attachment was scrubbed...
Name: urweb.diff
Type: text/x-patch
Size: 1635 bytes
Desc: not available
URL: <http://www.impredicative.com/pipermail/ur/attachments/20150603/fd8ce45d/attachment.bin>


More information about the Ur mailing list