Mercurial > urweb

diff src/reduce.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 216e92b39fc1
children 32784d27b5bc
line wrap: on
line diff
--- a/src/reduce.sml	Mon Apr 01 10:13:49 2013 -0400
+++ b/src/reduce.sml	Tue Apr 16 10:55:48 2013 -0400
@@ -1,4 +1,4 @@
-(* Copyright (c) 2008-2011, Adam Chlipala
+(* Copyright (c) 2008-2011, 2013, Adam Chlipala
  * All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
@@ -804,7 +804,7 @@
                                     (ELet (x, t, e1', exp (UnknownE :: env) e2), loc)
                             end
 
-                          | EServerCall (n, es, t) => (EServerCall (n, map (exp env) es, con env t), loc)
+                          | EServerCall (n, es, t, fm) => (EServerCall (n, map (exp env) es, con env t, fm), loc)
             in
                 (*if dangling (edepth' (deKnown env)) r then
                     (Print.prefaces "exp" [("e", CorePrint.p_exp CoreEnv.empty all),