Mercurial > urweb
comparison src/mono.sml @ 609:56aaa1941dad
First gimpy RPC
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 15 Feb 2009 10:32:50 -0500 |
parents | 330a7de47914 |
children | 5891f47d7cff |
comparison
equal
deleted
inserted
replaced
608:330a7de47914 | 609:56aaa1941dad |
---|---|
107 | 107 |
108 | ESignalReturn of exp | 108 | ESignalReturn of exp |
109 | ESignalBind of exp * exp | 109 | ESignalBind of exp * exp |
110 | ESignalSource of exp | 110 | ESignalSource of exp |
111 | 111 |
112 | EServerCall of int * exp list * exp | 112 | EServerCall of string * exp list * exp * typ |
113 | 113 |
114 withtype exp = exp' located | 114 withtype exp = exp' located |
115 | 115 |
116 datatype decl' = | 116 datatype decl' = |
117 DDatatype of string * int * (string * int * typ option) list | 117 DDatatype of string * int * (string * int * typ option) list |
118 | DVal of string * int * typ * exp * string | 118 | DVal of string * int * typ * exp * string |
119 | DValRec of (string * int * typ * exp * string) list | 119 | DValRec of (string * int * typ * exp * string) list |
120 | DExport of Core.export_kind * string * int * typ list | 120 | DExport of Core.export_kind * string * int * typ list * typ |
121 | 121 |
122 | DTable of string * (string * typ) list | 122 | DTable of string * (string * typ) list |
123 | DSequence of string | 123 | DSequence of string |
124 | DDatabase of string | 124 | DDatabase of string |
125 | 125 |