comparison src/mono.sml @ 757:fa2019a63ea4

Basis.list
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Apr 2009 11:07:29 -0400
parents 8688e01ae469
children d8f58d488cfb
comparison
equal deleted inserted replaced
756:8ce31c052dce 757:fa2019a63ea4
35 TFun of typ * typ 35 TFun of typ * typ
36 | TRecord of (string * typ) list 36 | TRecord of (string * typ) list
37 | TDatatype of int * (datatype_kind * (string * int * typ option) list) ref 37 | TDatatype of int * (datatype_kind * (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
40 | TSource 41 | TSource
41 | TSignal of typ 42 | TSignal of typ
42 43
43 withtype typ = typ' located 44 withtype typ = typ' located
44 45