corrected static scope: multi-argument composition does not apply partially
authorhaftmann
Sat Jan 21 20:59:47 2017 +0100 (2017-01-21)
changeset 6492818a6b96f8b00
parent 64927 a5a09855e424
child 64938 1b584fab241a
corrected static scope: multi-argument composition does not apply partially
src/Tools/Code/code_runtime.ML
     1.1 --- a/src/Tools/Code/code_runtime.ML	Fri Jan 20 21:05:11 2017 +0100
     1.2 +++ b/src/Tools/Code/code_runtime.ML	Sat Jan 21 20:59:47 2017 +0100
     1.3 @@ -148,9 +148,9 @@
     1.4        computation';
     1.5    in fn ctxt' => computation ctxt' o reject_vars ctxt' end;
     1.6  
     1.7 -fun static_value_strict cookie = Exn.release ooo static_value_exn cookie;
     1.8 +fun static_value_strict cookie x = Exn.release oo static_value_exn cookie x;
     1.9  
    1.10 -fun static_value cookie = partiality_as_none ooo static_value_exn cookie;
    1.11 +fun static_value cookie x = partiality_as_none oo static_value_exn cookie x;
    1.12  
    1.13  
    1.14  (* evaluation for truth or nothing *)
    1.15 @@ -319,9 +319,9 @@
    1.16      computation ctxt' o reject_vars ctxt' o Syntax.check_term ctxt' o Type.constraint T
    1.17    end;
    1.18  
    1.19 -fun fully_static_value_strict cookie = Exn.release ooo fully_static_value_exn cookie;
    1.20 +fun fully_static_value_strict cookie x = Exn.release oo fully_static_value_exn cookie x;
    1.21  
    1.22 -fun fully_static_value cookie = partiality_as_none ooo fully_static_value_exn cookie;
    1.23 +fun fully_static_value cookie x = partiality_as_none oo fully_static_value_exn cookie x;
    1.24  
    1.25  
    1.26  (** code antiquotation **)