Mercurial > urweb

comparison src/core.sml @ 608:330a7de47914

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Export RPC functions and push RPC calls through to Mono
author Adam Chlipala <adamc@hcoop.net>
date Sun, 15 Feb 2009 09:27:36 -0500
parents 0dd40b6bfdf3
children 56aaa1941dad
comparison
equal deleted inserted replaced
607:0dd40b6bfdf3 608:330a7de47914
111 withtype exp = exp' located 111 withtype exp = exp' located
112 112
113 datatype export_kind = 113 datatype export_kind =
114 Link 114 Link
115 | Action 115 | Action
116 | Rpc
116 117
117 datatype decl' = 118 datatype decl' =
118 DCon of string * int * kind * con 119 DCon of string * int * kind * con
119 | DDatatype of string * int * string list * (string * int * con option) list 120 | DDatatype of string * int * string list * (string * int * con option) list
120 | DVal of string * int * con * exp * string 121 | DVal of string * int * con * exp * string