Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
756:8ce31c052dce 757:fa2019a63ea4
35 TFun of typ * typ 35 TFun of typ * typ
36 | TRecord of int 36 | TRecord of int
37 | TDatatype of datatype_kind * int * (string * int * typ option) list ref 37 | TDatatype of datatype_kind * int * (string * int * typ option) list ref
38 | TFfi of string * string 38 | TFfi of string * string
39 | TOption of typ 39 | TOption of typ
40 | TList of typ * int
40 41
41 withtype typ = typ' located 42 withtype typ = typ' located
42 43
43 datatype patCon = 44 datatype patCon =
44 PConVar of int 45 PConVar of int