Mercurial > urweb
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 |