report markup;
authorwenzelm
Wed Aug 06 00:10:22 2008 +0200 (2008-08-06)
changeset 2775122c32eb18c23
parent 27750 7f5fb39c6362
child 27752 ea7d573e565f
report markup;
src/Pure/Isar/attrib.ML
src/Pure/Isar/method.ML
     1.1 --- a/src/Pure/Isar/attrib.ML	Wed Aug 06 00:10:18 2008 +0200
     1.2 +++ b/src/Pure/Isar/attrib.ML	Wed Aug 06 00:10:22 2008 +0200
     1.3 @@ -99,7 +99,7 @@
     1.4        let val ((name, _), pos) = Args.dest_src src in
     1.5          (case Symtab.lookup attrs name of
     1.6            NONE => error ("Unknown attribute: " ^ quote name ^ Position.str_of pos)
     1.7 -        | SOME ((att, _), _) => att src)
     1.8 +        | SOME ((att, _), _) => (Position.report (Markup.attribute name) pos; att src))
     1.9        end;
    1.10    in attr end;
    1.11  
     2.1 --- a/src/Pure/Isar/method.ML	Wed Aug 06 00:10:18 2008 +0200
     2.2 +++ b/src/Pure/Isar/method.ML	Wed Aug 06 00:10:22 2008 +0200
     2.3 @@ -437,7 +437,7 @@
     2.4        let val ((name, _), pos) = Args.dest_src src in
     2.5          (case Symtab.lookup meths name of
     2.6            NONE => error ("Unknown proof method: " ^ quote name ^ Position.str_of pos)
     2.7 -        | SOME ((mth, _), _) => mth src)
     2.8 +        | SOME ((mth, _), _) => (Position.report (Markup.method name) pos; mth src))
     2.9        end;
    2.10    in meth end;
    2.11