summaryrefslogtreecommitdiff
path: root/src/mono.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-04-30 11:07:29 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-04-30 11:07:29 -0400
commit43b09eea446f8d02ee82360d229b1ce2ba65f6f8 (patch)
treebe8dc60f901b2cab9ec630d505bf152d1d19340e /src/mono.sml
parent0f298a5396cf95f4e58988583f862a4b97444bec (diff)
Basis.list
Diffstat (limited to 'src/mono.sml')
-rw-r--r--src/mono.sml1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/mono.sml b/src/mono.sml
index 7a789e2c..fa149b21 100644
--- a/src/mono.sml
+++ b/src/mono.sml
@@ -37,6 +37,7 @@ datatype typ' =
| 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