comparison src/core_untangle.sml @ 1848:e15234fbb163

Basis.tryRpc
author Adam Chlipala <adam@chlipala.net>
date Tue, 16 Apr 2013 10:55:48 -0400
parents dfe34fad749d
children
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 *
46 s 46 s
47 in 47 in
48 case e of 48 case e of
49 ENamed n => try n 49 ENamed n => try n
50 | EClosure (n, _) => try n 50 | EClosure (n, _) => try n
51 | EServerCall (n, _, _) => try n 51 | EServerCall (n, _, _, _) => try n
52 | _ => s 52 | _ => s
53 end 53 end
54 54
55 fun untangle file = 55 fun untangle file =
56 let 56 let