comparison src/core.sml @ 609:56aaa1941dad

First gimpy RPC
author Adam Chlipala <adamc@hcoop.net>
date Sun, 15 Feb 2009 10:32:50 -0500
parents 330a7de47914
children 8998114760c1
comparison
equal deleted inserted replaced
608:330a7de47914 609:56aaa1941dad
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 109 | EServerCall of int * exp list * exp * con
110 110
111 withtype exp = exp' located 111 withtype exp = exp' located
112 112
113 datatype export_kind = 113 datatype export_kind =
114 Link 114 Link