comparison src/css.sml @ 1848:e15234fbb163

Basis.tryRpc
author Adam Chlipala <adam@chlipala.net>
date Tue, 16 Apr 2013 10:55:48 -0400
parents a1380fc15cb5
children 3005c66b70e8
comparison
equal deleted inserted replaced
1847:8958b580d026 1848:e15234fbb163
1 (* Copyright (c) 2010, Adam Chlipala 1 (* Copyright (c) 2010, 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 *
258 val (sm1, classes) = exp (e1, classes) 258 val (sm1, classes) = exp (e1, classes)
259 val (sm2, classes) = exp (e2, classes) 259 val (sm2, classes) = exp (e2, classes)
260 in 260 in
261 (merge' (sm1, sm2), classes) 261 (merge' (sm1, sm2), classes)
262 end 262 end
263 | EServerCall (_, es, _) => expList (es, classes) 263 | EServerCall (_, es, _, _) => expList (es, classes)
264 264
265 and expList (es, classes) = foldl (fn (e, (sm, classes)) => 265 and expList (es, classes) = foldl (fn (e, (sm, classes)) =>
266 let 266 let
267 val (sm', classes) = exp (e, classes) 267 val (sm', classes) = exp (e, classes)
268 in 268 in