Mercurial > urweb

annotate tests/empty_record.ur @ 2082:1b76ae703cbb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Some more optimization of string expressions showing up in JSON generation (Meta library)
author Adam Chlipala <adam@chlipala.net>
date Wed, 03 Dec 2014 21:06:15 -0500
parents e762c96fffb7
children
rev   line source
adam@2043 1 val concatX [ctx ::: {Unit}] [use ::: {Type}]
adam@2043 2 : list (xml ctx use []) -> xml ctx use []
adam@2043 3 = List.foldl join <xml/>