Mercurial > urweb
comparison src/mono_print.sml @ 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 | 8e540df3294d |
children | 7a4a55e05081 |
comparison
equal
deleted
inserted
replaced
1019:68ba074e260f | 1020:dfe34fad749d |
---|---|
333 string ")"] | 333 string ")"] |
334 | ESignalSource e => box [string "Source(", | 334 | ESignalSource e => box [string "Source(", |
335 p_exp env e, | 335 p_exp env e, |
336 string ")"] | 336 string ")"] |
337 | 337 |
338 | EServerCall (n, e, _, _) => box [string "Server(", | 338 | EServerCall (n, _, _) => box [string "Server(", |
339 p_exp env n, | 339 p_exp env n, |
340 string ")[", | 340 string ")"] |
341 p_exp env e, | |
342 string "]"] | |
343 | ERecv (n, e, _) => box [string "Recv(", | 341 | ERecv (n, e, _) => box [string "Recv(", |
344 p_exp env n, | 342 p_exp env n, |
345 string ")[", | 343 string ")[", |
346 p_exp env e, | 344 p_exp env e, |
347 string "]"] | 345 string "]"] |