comparison 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
comparison
equal deleted inserted replaced
287:3ed7a7c7b060 288:4260ad920c36
34 datatype typ' = 34 datatype typ' =
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 40
40 withtype typ = typ' located 41 withtype typ = typ' located
41 42
42 datatype patCon = 43 datatype patCon =
43 PConVar of int 44 PConVar of int
47 PWild 48 PWild
48 | PVar of string * typ 49 | PVar of string * typ
49 | PPrim of Prim.t 50 | PPrim of Prim.t
50 | PCon of datatype_kind * patCon * pat option 51 | PCon of datatype_kind * patCon * pat option
51 | PRecord of (string * pat * typ) list 52 | PRecord of (string * pat * typ) list
53 | PNone of typ
54 | PSome of typ * pat
52 55
53 withtype pat = pat' located 56 withtype pat = pat' located
54 57
55 datatype exp' = 58 datatype exp' =
56 EPrim of Prim.t 59 EPrim of Prim.t