Mercurial > urweb
comparison src/mono_print.sml @ 1848:e15234fbb163
Basis.tryRpc
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Tue, 16 Apr 2013 10:55:48 -0400 |
parents | c1e3805e604e |
children | 98895243b5b6 |
comparison
equal
deleted
inserted
replaced
1847:8958b580d026 | 1848:e15234fbb163 |
---|---|
1 (* Copyright (c) 2008, Adam Chlipala | 1 (* Copyright (c) 2008, 2013, Adam Chlipala |
2 * All rights reserved. | 2 * All rights reserved. |
3 * | 3 * |
4 * Redistribution and use in source and binary forms, with or without | 4 * Redistribution and use in source and binary forms, with or without |
5 * modification, are permitted provided that the following conditions are met: | 5 * modification, are permitted provided that the following conditions are met: |
6 * | 6 * |
355 string ")"] | 355 string ")"] |
356 | ESignalSource e => box [string "Source(", | 356 | ESignalSource e => box [string "Source(", |
357 p_exp env e, | 357 p_exp env e, |
358 string ")"] | 358 string ")"] |
359 | 359 |
360 | EServerCall (n, _, _) => box [string "Server(", | 360 | EServerCall (n, _, _, _) => box [string "Server(", |
361 p_exp env n, | 361 p_exp env n, |
362 string ")"] | 362 string ")"] |
363 | ERecv (n, _) => box [string "Recv(", | 363 | ERecv (n, _) => box [string "Recv(", |
364 p_exp env n, | 364 p_exp env n, |
365 string ")"] | 365 string ")"] |