diff -r 6e6a159671d4 -r a28b3cd0077b src/Pure/ML/ml_antiquote.ML
--- a/src/Pure/ML/ml_antiquote.ML	Thu Aug 14 16:52:52 2008 +0200
+++ b/src/Pure/ML/ml_antiquote.ML	Thu Aug 14 16:52:54 2008 +0200
@@ -42,14 +42,14 @@
 (* specific antiquotations *)
 
 fun macro name scan = ML_Context.add_antiq name
-  (scan :|-- (fn ctxt => Scan.depend (fn _ => Scan.succeed
+  (fn _ => scan :|-- (fn ctxt => Scan.depend (fn _ => Scan.succeed
     (Context.Proof ctxt, fn {background, ...} => (K ("", ""), background)))));
 
 fun inline name scan = ML_Context.add_antiq name
-  (scan >> (fn s => fn {struct_name, background} => (K ("", s), background)));
+  (fn _ => scan >> (fn s => fn {struct_name, background} => (K ("", s), background)));
 
 fun declaration kind name scan = ML_Context.add_antiq name
-  (scan >> (fn s => fn {struct_name, background} =>
+  (fn _ => scan >> (fn s => fn {struct_name, background} =>
     let
       val (a, background') = variant name background;
       val env = kind ^ " " ^ a ^ " = " ^ s ^ ";\n";