<div dir="ltr">@Shalkhakov <div><br><div>Have you considered generating a s-expression alist? At least for prototyping purposes, it should be easier to parse / validate in elisp.<div>(is this what you mean by 'kind of format'?)</div><div><br></div><div>something like ((prop1 . "value1") (prop2 . ("val2.1" 22))</div></div></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Jan 28, 2019 at 5:00 PM <<a href="mailto:ur-request@impredicative.com">ur-request@impredicative.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Send Ur mailing list submissions to<br>
        <a href="mailto:ur@impredicative.com" target="_blank">ur@impredicative.com</a><br>
<br>
To subscribe or unsubscribe via the World Wide Web, visit<br>
        <a href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" rel="noreferrer" target="_blank">http://www.impredicative.com/cgi-bin/mailman/listinfo/ur</a><br>
or, via email, send a message with subject or body 'help' to<br>
        <a href="mailto:ur-request@impredicative.com" target="_blank">ur-request@impredicative.com</a><br>
<br>
You can reach the person managing the list at<br>
        <a href="mailto:ur-owner@impredicative.com" target="_blank">ur-owner@impredicative.com</a><br>
<br>
When replying, please edit your Subject line so it is more specific<br>
than "Re: Contents of Ur digest..."<br>
<br>
<br>
Today's Topics:<br>
<br>
   1. File and location info in -dumpTypes (Artyom Shalkhakov)<br>
<br>
<br>
----------------------------------------------------------------------<br>
<br>
Message: 1<br>
Date: Mon, 28 Jan 2019 11:36:20 +0200<br>
From: Artyom Shalkhakov <<a href="mailto:artyom.shalkhakov@gmail.com" target="_blank">artyom.shalkhakov@gmail.com</a>><br>
To: The Ur programming language <<a href="mailto:ur@impredicative.com" target="_blank">ur@impredicative.com</a>><br>
Subject: [Ur] File and location info in -dumpTypes<br>
Message-ID:<br>
        <CAKO6=<a href="mailto:qgimLZt-f5YQMTKCUHzg3PFn7s_9E28pwhVK5CjPgKPMg@mail.gmail.com" target="_blank">qgimLZt-f5YQMTKCUHzg3PFn7s_9E28pwhVK5CjPgKPMg@mail.gmail.com</a>><br>
Content-Type: text/plain; charset="UTF-8"<br>
<br>
Hello list,<br>
<br>
Could you please voice your concerns about the following:<br>
<br>
<a href="https://github.com/urweb/urweb/issues/169" rel="noreferrer" target="_blank">https://github.com/urweb/urweb/issues/169</a><br>
<br>
The issue is what kind of format to produce most usefully (since the<br>
current format is largely unstructured: I tried to parse it in ELisp<br>
but failed). For now I've taken some inspiration from ESTree format<br>
[1] but of course it doesn't quite fit.<br>
<br>
There is a bigger question of creating a language service for Ur/Web<br>
but let's leave it out for now.<br>
<br>
-- <br>
Cheers,<br>
Artyom Shalkhakov<br>
<br>
[1] <a href="https://github.com/estree/estree" rel="noreferrer" target="_blank">https://github.com/estree/estree</a><br>
<br>
<br>
<br>
------------------------------<br>
<br>
Subject: Digest Footer<br>
<br>
_______________________________________________<br>
Ur mailing list<br>
<a href="mailto:Ur@impredicative.com" target="_blank">Ur@impredicative.com</a><br>
<a href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" rel="noreferrer" target="_blank">http://www.impredicative.com/cgi-bin/mailman/listinfo/ur</a><br>
<br>
<br>
------------------------------<br>
<br>
End of Ur Digest, Vol 116, Issue 9<br>
**********************************<br>
</blockquote></div><br clear="all"><div><br></div>-- <br><div dir="ltr" class="gmail_signature"><div dir="ltr"><div><div>---</div><div>Fabrice Leal</div></div></div></div>