Mercurial > meta

diff json.urs @ 1:4d103b4450ee

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Converted a record to JSON
author Adam Chlipala <adam@chlipala.net>
date Thu, 02 Dec 2010 11:35:01 -0500
parents 63697ef80a2c
children 8f7396495045
line wrap: on
line diff
--- a/json.urs	Thu Dec 02 11:10:57 2010 -0500
+++ b/json.urs	Thu Dec 02 11:35:01 2010 -0500
@@ -11,3 +11,5 @@
 val json_float : json float
 val json_bool : json bool
 val json_list : a ::: Type -> json a -> json (list a)
+
+val json_record : ts ::: {Type} -> folder ts -> $(map json ts) -> $(map (fn _ => string) ts) -> json $ts