[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