comparison src/core.sml @ 607:0dd40b6bfdf3

Start of RPCification
author Adam Chlipala <adamc@hcoop.net>
date Sat, 14 Feb 2009 14:07:56 -0500
parents ae03d09043c1
children 330a7de47914
comparison
equal deleted inserted replaced
606:5145181b02fa 607:0dd40b6bfdf3
104 104
105 | EClosure of int * exp list 105 | EClosure of int * exp list
106 106
107 | ELet of string * con * exp * exp 107 | ELet of string * con * exp * exp
108 108
109 | EServerCall of int * exp list * exp
110
109 withtype exp = exp' located 111 withtype exp = exp' located
110 112
111 datatype export_kind = 113 datatype export_kind =
112 Link 114 Link
113 | Action 115 | Action