Mercurial > urweb

comparison src/core_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 0577be31a435
children
comparison
equal deleted inserted replaced
1847:8958b580d026 1848:e15234fbb163
1 (* Copyright (c) 2008-2011, Adam Chlipala 1 (* Copyright (c) 2008-2011, 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 *
444 space, 444 space,
445 string "in", 445 string "in",
446 newline, 446 newline,
447 p_exp (E.pushERel env x t) e2] 447 p_exp (E.pushERel env x t) e2]
448 448
449 | EServerCall (n, es, _) => box [string "Server(", 449 | EServerCall (n, es, _, _) => box [string "Server(",
450 p_enamed env n, 450 p_enamed env n,
451 string ",", 451 string ",",
452 space, 452 space,
453 p_list (p_exp env) es, 453 p_list (p_exp env) es,
454 string ")"] 454 string ")"]
455 455
456 | EKAbs (x, e) => box [string x, 456 | EKAbs (x, e) => box [string x,
457 space, 457 space,
458 string "==>", 458 string "==>",
459 space, 459 space,