src/Tools/Code/code_runtime.ML
changeset 41099 5cf62cefbbb4
parent 40726 16dcfedc4eb7
child 41101 c1d1ec5b90f1
     1.1 --- a/src/Tools/Code/code_runtime.ML	Thu Dec 09 08:46:04 2010 +0100
     1.2 +++ b/src/Tools/Code/code_runtime.ML	Thu Dec 09 09:58:33 2010 +0100
     1.3 @@ -115,6 +115,9 @@
     1.4  fun dynamic_value_exn cookie thy some_target postproc t args =
     1.5    let
     1.6      val _ = reject_vars thy t;
     1.7 +    val _ = if ! trace
     1.8 +      then tracing ("Evaluation of term " ^ quote (Syntax.string_of_term_global thy t))
     1.9 +      else ()
    1.10      fun evaluator naming program ((_, vs_ty), t) deps =
    1.11        base_evaluator cookie (obtain_serializer thy some_target) naming thy program (vs_ty, t) deps args;
    1.12    in Code_Thingol.dynamic_eval_value thy (Exn.map_result o postproc) evaluator t end;