diff src/mono.sml @ 288:4260ad920c36

Converting string to int
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Sep 2008 11:33:13 -0400
parents c0e4ac23522d
children df00701f2323
line wrap: on
line diff
--- a/src/mono.sml	Sun Sep 07 10:52:51 2008 -0400
+++ b/src/mono.sml	Sun Sep 07 11:33:13 2008 -0400
@@ -36,6 +36,7 @@
        | TRecord of (string * typ) list
        | TDatatype of int * (datatype_kind * (string * int * typ option) list) ref
        | TFfi of string * string
+       | TOption of typ
 
 withtype typ = typ' located
 
@@ -49,6 +50,8 @@
        | PPrim of Prim.t
        | PCon of datatype_kind * patCon * pat option
        | PRecord of (string * pat * typ) list
+       | PNone of typ
+       | PSome of typ * pat
 
 withtype pat = pat' located