src/Pure/Syntax/syntax.ML

     (string * (ast list -> ast)) list -> syntax
   val extend_trfunsT: syntax -> (string * (bool -> typ -> term list -> term)) list -> syntax
   val extend_tokentrfuns: syntax -> (string * string * (string -> string * int)) list -> syntax
   val extend_trrules: syntax -> (string * string) trrule list -> syntax
   val extend_trrules_i: syntax -> ast trrule list -> syntax
+  val map_trrule: ('a -> 'b) -> 'a trrule -> 'b trrule
   val merge_syntaxes: syntax -> syntax -> syntax
   val type_syn: syntax
   val pure_syn: syntax
   val print_gram: syntax -> unit
   val print_trans: syntax -> unit

 datatype 'a trrule =
   ParseRule of 'a * 'a |
   PrintRule of 'a * 'a |
   ParsePrintRule of 'a * 'a;
 
-fun map_rule f (ParseRule (x, y)) = ParseRule (f x, f y)
-  | map_rule f (PrintRule (x, y)) = PrintRule (f x, f y)
-  | map_rule f (ParsePrintRule (x, y)) = ParsePrintRule (f x, f y);
+fun map_trrule f (ParseRule (x, y)) = ParseRule (f x, f y)
+  | map_trrule f (PrintRule (x, y)) = PrintRule (f x, f y)
+  | map_trrule f (ParsePrintRule (x, y)) = ParsePrintRule (f x, f y);
 
 fun parse_rule (ParseRule pats) = Some pats
   | parse_rule (PrintRule _) = None
   | parse_rule (ParsePrintRule pats) = Some pats;
 

     error ("The error(s) above occurred in translation pattern " ^
       quote str);
 
 
 fun prep_rules rd_pat raw_rules =
-  let val rules = map (map_rule rd_pat) raw_rules in
+  let val rules = map (map_trrule rd_pat) raw_rules in
     (map check_rule (mapfilter parse_rule rules),
       map check_rule (mapfilter print_rule rules))
   end