dest_parsers: sort result;
authorwenzelm
Wed Jul 06 20:00:39 2005 +0200 (2005-07-06)
changeset 16727e264077b68a7
parent 16726 4399016bf13e
child 16728 c4c9d5df26ba
dest_parsers: sort result;
src/Pure/Isar/outer_syntax.ML
     1.1 --- a/src/Pure/Isar/outer_syntax.ML	Wed Jul 06 20:00:37 2005 +0200
     1.2 +++ b/src/Pure/Isar/outer_syntax.ML	Wed Jul 06 20:00:39 2005 +0200
     1.3 @@ -216,8 +216,8 @@
     1.4  fun dest_keywords () = Scan.dest_lexicon (#1 (get_lexicons ()));
     1.5  
     1.6  fun dest_parsers () =
     1.7 -  map (fn (name, (((cmt, kind), (int_only, _)), _)) => (name, cmt, kind, int_only))
     1.8 -    (Symtab.dest (get_parsers ()));
     1.9 +  get_parsers () |> Symtab.dest |> sort_wrt #1
    1.10 +  |> map (fn (name, (((cmt, kind), (int_only, _)), _)) => (name, cmt, kind, int_only));
    1.11  
    1.12  fun print_outer_syntax () =
    1.13    let