pretty_abbr;
authorwenzelm
Mon Jun 21 16:41:06 2004 +0200 (2004-06-21)
changeset 14990582b655da757
parent 14989 5a5d076a9863
child 14991 26fb63c4acb5
pretty_abbr;
src/Pure/display.ML
     1.1 --- a/src/Pure/display.ML	Mon Jun 21 16:40:55 2004 +0200
     1.2 +++ b/src/Pure/display.ML	Mon Jun 21 16:41:06 2004 +0200
     1.3 @@ -203,7 +203,7 @@
     1.4      fun pretty_nonterminals ts = Pretty.block
     1.5        (Pretty.breaks (Pretty.str "syntactic types:" :: map Pretty.str ts));
     1.6  
     1.7 -    fun pretty_abbr (t, (vs, rhs)) = Pretty.block
     1.8 +    fun pretty_abbr (t, (vs, rhs, _)) = Pretty.block
     1.9        [prt_typ_no_tvars (Type (t, map (fn v => TVar ((v, 0), [])) vs)),
    1.10          Pretty.str " =", Pretty.brk 1, prt_typ_no_tvars rhs];
    1.11