diff 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
line wrap: on
line diff
--- a/src/mono.sml	Tue Apr 28 17:26:53 2009 -0400
+++ b/src/mono.sml	Thu Apr 30 11:07:29 2009 -0400
@@ -37,6 +37,7 @@
        | TDatatype of int * (datatype_kind * (string * int * typ option) list) ref
        | TFfi of string * string
        | TOption of typ
+       | TList of typ
        | TSource
        | TSignal of typ