comparison src/shake.sml @ 609:56aaa1941dad

First gimpy RPC
author Adam Chlipala <adamc@hcoop.net>
date Sun, 15 Feb 2009 10:32:50 -0500
parents 0dd40b6bfdf3
children 70cbdcf5989b
comparison
equal deleted inserted replaced
608:330a7de47914 609:56aaa1941dad
114 end 114 end
115 end 115 end
116 in 116 in
117 case e of 117 case e of
118 ENamed n => check n 118 ENamed n => check n
119 | EServerCall (n, _, _) => check n 119 | EServerCall (n, _, _, _) => check n
120 | _ => s 120 | _ => s
121 end 121 end
122 122
123 and shakeExp s = U.Exp.fold {kind = kind, con = con, exp = exp} s 123 and shakeExp s = U.Exp.fold {kind = kind, con = con, exp = exp} s
124 124