Permalink
Browse files

Print universe polymorphism information for parameters as well.

  • Loading branch information...
1 parent 56d3576 commit 236186b51acef1159f38c4b6a902c303a827291f @mattam82 mattam82 committed Jul 7, 2013
Showing with 1 addition and 2 deletions.
  1. +1 −2 printing/prettyp.ml
View
@@ -412,15 +412,14 @@ let print_constant with_values sep sp =
let cb = Global.lookup_constant sp in
let val_0 = Declareops.body_of_constant cb in
let typ = ungeneralized_type_of_constant_type cb.const_type in
- hov 0 (
+ hov 0 (pr_polymorphic cb.const_polymorphic ++
match val_0 with
| None ->
str"*** [ " ++
print_basename sp ++ str " : " ++ cut () ++ pr_ltype typ ++
str" ]" ++
Printer.pr_universe_ctx cb.const_universes
| _ ->
- pr_polymorphic cb.const_polymorphic ++
print_basename sp ++ str sep ++ cut () ++
(if with_values then print_typed_body (val_0,typ) else pr_ltype typ)++
Printer.pr_universe_ctx cb.const_universes)

0 comments on commit 236186b

Please sign in to comment.