Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
signed_string_of_int for priorities;
authorwenzelm
Tue, 18 Nov 2008 18:25:55 +0100
changeset 28843 1987ef778a02
parent 28842 e44fae2b721d
child 28844 ae0611234603
signed_string_of_int for priorities; tuned;
src/Pure/Syntax/parser.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Syntax/parser.ML	Tue Nov 18 18:25:52 2008 +0100
+++ b/src/Pure/Syntax/parser.ML	Tue Nov 18 18:25:55 2008 +0100
@@ -397,12 +397,13 @@
 
     fun pretty_symb (Terminal (Token (Literal, s, _))) = Pretty.quote (Pretty.str s)
       | pretty_symb (Terminal tok) = Pretty.str (str_of_token tok)
-      | pretty_symb (Nonterminal (tag, p)) = Pretty.str (nt_name tag ^ "[" ^ string_of_int p ^ "]");
+      | pretty_symb (Nonterminal (tag, p)) =
+          Pretty.str (nt_name tag ^ "[" ^ signed_string_of_int p ^ "]");
 
     fun pretty_const "" = []
-      | pretty_const c = [Pretty.str ("=> " ^ Library.quote c)];
+      | pretty_const c = [Pretty.str ("=> " ^ quote c)];
 
-    fun pretty_pri p = [Pretty.str ("(" ^ string_of_int p ^ ")")];
+    fun pretty_pri p = [Pretty.str ("(" ^ signed_string_of_int p ^ ")")];
 
     fun pretty_prod name (symbs, const, pri) =
       Pretty.block (Pretty.breaks (pretty_name name @
isabelle