comparison src/sources @ 1020:dfe34fad749d

RPC uses VM support for call/cc
author Adam Chlipala <adamc@hcoop.net>
date Sun, 25 Oct 2009 14:07:10 -0400
parents 2831be2daf2e
children 52c6ac6a59f1
comparison
equal deleted inserted replaced
1019:68ba074e260f 1020:dfe34fad749d
129 especialize.sml 129 especialize.sml
130 130
131 rpcify.sig 131 rpcify.sig
132 rpcify.sml 132 rpcify.sml
133 133
134 tailify.sig
135 tailify.sml
136
137 tag.sig 134 tag.sig
138 tag.sml 135 tag.sml
139 136
140 effectize.sig 137 effectize.sig
141 effectize.sml 138 effectize.sml