diff options
| author | ppedrot | 2013-06-12 21:07:49 +0000 |
|---|---|---|
| committer | ppedrot | 2013-06-12 21:07:49 +0000 |
| commit | f3376db665463fa75631f001321a090165c44da1 (patch) | |
| tree | ce836fb16e81228c64a53cc527d4bfac1cdb59d4 /printing | |
| parent | bea2a4f5fe5cab0abfc27492117c335a311a0c19 (diff) | |
Added Genarg as generic argument type.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16575 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'printing')
| -rw-r--r-- | printing/pptactic.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/printing/pptactic.ml b/printing/pptactic.ml index 35e153e0fb..350d96142d 100644 --- a/printing/pptactic.ml +++ b/printing/pptactic.ml @@ -150,6 +150,7 @@ let rec pr_raw_generic prc prlc prtac prpat prref (x:Genarg.rlevel Genarg.generi | IdentArgType b -> if_pattern_ident b pr_id (out_gen (rawwit wit_ident) x) | VarArgType -> pr_located pr_id (out_gen (rawwit wit_var) x) | RefArgType -> prref (out_gen (rawwit wit_ref) x) + | GenArgType -> pr_raw_generic prc prlc prtac prpat prref (out_gen (rawwit wit_genarg) x) | SortArgType -> pr_glob_sort (out_gen (rawwit wit_sort) x) | ConstrArgType -> prc (out_gen (rawwit wit_constr) x) | ConstrMayEvalArgType -> @@ -193,6 +194,7 @@ let rec pr_glob_generic prc prlc prtac prpat x = | IdentArgType b -> if_pattern_ident b pr_id (out_gen (glbwit wit_ident) x) | VarArgType -> pr_located pr_id (out_gen (glbwit wit_var) x) | RefArgType -> pr_or_var (pr_located pr_global) (out_gen (glbwit wit_ref) x) + | GenArgType -> pr_glob_generic prc prlc prtac prpat (out_gen (glbwit wit_genarg) x) | SortArgType -> pr_glob_sort (out_gen (glbwit wit_sort) x) | ConstrArgType -> prc (out_gen (glbwit wit_constr) x) | ConstrMayEvalArgType -> @@ -237,6 +239,7 @@ let rec pr_generic prc prlc prtac prpat x = | IdentArgType b -> if_pattern_ident b pr_id (out_gen (topwit wit_ident) x) | VarArgType -> pr_id (out_gen (topwit wit_var) x) | RefArgType -> pr_global (out_gen (topwit wit_ref) x) + | GenArgType -> pr_generic prc prlc prtac prpat (out_gen (topwit wit_genarg) x) | SortArgType -> pr_sort (out_gen (topwit wit_sort) x) | ConstrArgType -> prc (out_gen (topwit wit_constr) x) | ConstrMayEvalArgType -> prc (out_gen (topwit wit_constr_may_eval) x) |