comparison src/cjr.sml @ 609:56aaa1941dad

First gimpy RPC
author Adam Chlipala <adamc@hcoop.net>
date Sun, 15 Feb 2009 10:32:50 -0500
parents 162d5308e34f
children aa2290c32ce2
comparison
equal deleted inserted replaced
608:330a7de47914 609:56aaa1941dad
111 111
112 | DJavaScript of string 112 | DJavaScript of string
113 113
114 withtype decl = decl' located 114 withtype decl = decl' located
115 115
116 type file = decl list * (Core.export_kind * string * int * typ list) list 116 type file = decl list * (Core.export_kind * string * int * typ list * typ) list
117 117
118 end 118 end