# HG changeset patch
# User haftmann
# Date 1485028787 -3600
# Node ID 18a6b96f8b009d78f6f487afb1559bdd12c47179
# Parent  a5a09855e4246bfd3d8ccd5b1d80f01479130d75
corrected static scope: multi-argument composition does not apply partially

diff -r a5a09855e424 -r 18a6b96f8b00 src/Tools/Code/code_runtime.ML
--- a/src/Tools/Code/code_runtime.ML	Fri Jan 20 21:05:11 2017 +0100
+++ b/src/Tools/Code/code_runtime.ML	Sat Jan 21 20:59:47 2017 +0100
@@ -148,9 +148,9 @@
       computation';
   in fn ctxt' => computation ctxt' o reject_vars ctxt' end;
 
-fun static_value_strict cookie = Exn.release ooo static_value_exn cookie;
+fun static_value_strict cookie x = Exn.release oo static_value_exn cookie x;
 
-fun static_value cookie = partiality_as_none ooo static_value_exn cookie;
+fun static_value cookie x = partiality_as_none oo static_value_exn cookie x;
 
 
 (* evaluation for truth or nothing *)
@@ -319,9 +319,9 @@
     computation ctxt' o reject_vars ctxt' o Syntax.check_term ctxt' o Type.constraint T
   end;
 
-fun fully_static_value_strict cookie = Exn.release ooo fully_static_value_exn cookie;
+fun fully_static_value_strict cookie x = Exn.release oo fully_static_value_exn cookie x;
 
-fun fully_static_value cookie = partiality_as_none ooo fully_static_value_exn cookie;
+fun fully_static_value cookie x = partiality_as_none oo fully_static_value_exn cookie x;
 
 
 (** code antiquotation **)