removed trace;
authorwenzelm
Tue Nov 17 14:10:40 1998 +0100 (1998-11-17)
changeset 59117da8033264fa
parent 5910 151ee1a5c09c
child 5912 3f95adea10c0
removed trace;
src/Pure/Isar/args.ML
     1.1 --- a/src/Pure/Isar/args.ML	Tue Nov 17 14:09:29 1998 +0100
     1.2 +++ b/src/Pure/Isar/args.ML	Tue Nov 17 14:10:40 1998 +0100
     1.3 @@ -170,16 +170,11 @@
     1.4  
     1.5  (* argument syntax *)
     1.6  
     1.7 -(* FIXME *)
     1.8 -fun trace_src kind (Src ((s, args), pos)) =
     1.9 -  warning ("TRACE: " ^ space_implode " " (kind :: s :: map str_of args) ^ Position.str_of pos);
    1.10 -
    1.11  fun syntax kind scan st (src as Src ((s, args), pos)) =
    1.12 -  (trace_src kind src;
    1.13    (case handle_error (Scan.error (Scan.finite' stopper (Scan.option scan))) (st, args) of
    1.14      OK (Some x, (st', [])) => (st', x)
    1.15    | OK (_, (_, args')) => err_in_src kind "bad arguments" (Src ((s, args'), pos))
    1.16 -  | Error msg => err_in_src kind ("\n" ^ msg) src));
    1.17 +  | Error msg => err_in_src kind ("\n" ^ msg) src);
    1.18  
    1.19  
    1.20  (* attribs *)