Mercurial > urweb
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 |