Mercurial > urweb

diff src/cjr.sml @ 757:fa2019a63ea4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Basis.list
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Apr 2009 11:07:29 -0400
parents 8688e01ae469
children 81fce435e255
line wrap: on
line diff
--- a/src/cjr.sml	Tue Apr 28 17:26:53 2009 -0400
+++ b/src/cjr.sml	Thu Apr 30 11:07:29 2009 -0400
@@ -37,6 +37,7 @@
        | TDatatype of datatype_kind * int * (string * int * typ option) list ref
        | TFfi of string * string
        | TOption of typ
+       | TList of typ * int
 
 withtype typ = typ' located