Mercurial > urweb

comparison src/mono_print.sml @ 1848:e15234fbb163

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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 ")"]