comparison src/cjr.sml @ 282:0236d9412ad2

Ran a prepared statement with one string parameter
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Sep 2008 09:28:13 -0400
parents 09c66a30ef32
children c0e4ac23522d
comparison
equal deleted inserted replaced
281:7d5860add50f 282:0236d9412ad2
74 tables : (string * (string * typ) list) list, 74 tables : (string * (string * typ) list) list,
75 rnum : int, 75 rnum : int,
76 state : typ, 76 state : typ,
77 query : exp, 77 query : exp,
78 body : exp, 78 body : exp,
79 initial : exp } 79 initial : exp,
80 prepared : int option }
80 81
81 withtype exp = exp' located 82 withtype exp = exp' located
82 83
83 datatype decl' = 84 datatype decl' =
84 DStruct of int * (string * typ) list 85 DStruct of int * (string * typ) list
88 | DFun of string * int * (string * typ) list * typ * exp 89 | DFun of string * int * (string * typ) list * typ * exp
89 | DFunRec of (string * int * (string * typ) list * typ * exp) list 90 | DFunRec of (string * int * (string * typ) list * typ * exp) list
90 91
91 | DTable of string * (string * typ) list 92 | DTable of string * (string * typ) list
92 | DDatabase of string 93 | DDatabase of string
94 | DPreparedStatements of (string * int) list
93 95
94 withtype decl = decl' located 96 withtype decl = decl' located
95 97
96 type file = decl list * (Core.export_kind * string * int * typ list) list 98 type file = decl list * (Core.export_kind * string * int * typ list) list
97 99