Mercurial > urweb
comparison src/core.sml @ 908:ed06e25c70ef
Convert to requiring explicit 'rpc' marker
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 22 Aug 2009 12:55:18 -0400 |
parents | 61a1f5c5ae2c |
children | 2a50da66ffd8 |
comparison
equal
deleted
inserted
replaced
907:5fe49effbc83 | 908:ed06e25c70ef |
---|---|
113 | 113 |
114 | EClosure of int * exp list | 114 | EClosure of int * exp list |
115 | 115 |
116 | ELet of string * con * exp * exp | 116 | ELet of string * con * exp * exp |
117 | 117 |
118 | EServerCall of int * exp list * exp * con | 118 | EServerCall of int * exp list * exp * con * con |
119 | 119 |
120 withtype exp = exp' located | 120 withtype exp = exp' located |
121 | 121 |
122 datatype effect = datatype Export.effect | 122 datatype effect = datatype Export.effect |
123 datatype export_kind = datatype Export.export_kind | 123 datatype export_kind = datatype Export.export_kind |