diff options
| author |  filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 1999-12-02 09:44:24 +0000 |
|---|---|---|
| committer | filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 1999-12-02 09:44:24 +0000 |
| commit | 1affa21d7d70d0aac6cfa8f33faa328b1f6cc07b (patch) | |
| tree | aa20c9238777dbe83cc24696661b1f4dbed82297 /parsing/pretty.ml | |
| parent | 98034846f5712c2b937aa85806e0025e9d0bf9e5 (diff) | |
affichage classes et coercions
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@187 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'parsing/pretty.ml')
| -rw-r--r-- | parsing/pretty.ml | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/parsing/pretty.ml b/parsing/pretty.ml index c482dd15e..61198951d 100644 --- a/parsing/pretty.ml +++ b/parsing/pretty.ml @@ -689,18 +689,20 @@ let print_path ((i,j),p) = 'sTR"] : "; print_class i; 'sTR" >-> "; print_class j >] +let _ = Classops.install_path_printer print_path + let print_graph () = - [< prlist_with_sep pr_fnl print_path (!iNHERITANCE_GRAPH) >] + [< prlist_with_sep pr_fnl print_path (inheritance_graph()) >] let print_classes () = [< prlist_with_sep pr_spc (fun (_,(cl,x)) -> [< 'sTR x.cL_STR (*; 'sTR(string_of_strength x.cL_STRE) *) >]) - (!cLASSES) >] + (classes()) >] let print_coercions () = [< prlist_with_sep pr_spc - (fun (_,(_,v)) -> [< print_coercion_value v >]) (!cOERCIONS) >] + (fun (_,(_,v)) -> [< print_coercion_value v >]) (coercions()) >] let cl_of_id id = match string_of_id id with |