Mercurial > urweb
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 |