From: Claudio Sacerdoti Coen Date: Sun, 4 Nov 2007 18:55:44 +0000 (+0000) Subject: Type arguments are better uncapitalized. X-Git-Tag: 0.4.95@7852~57 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=83dc35577bad633a2c45a38eed99e866a8f176d0;hp=a5bfa65b18a876fca982270f673c686a7d124f65;p=helm.git Type arguments are better uncapitalized. --- diff --git a/components/cic_exportation/cicExportation.ml b/components/cic_exportation/cicExportation.ml index eeddc0949..37eff255b 100644 --- a/components/cic_exportation/cicExportation.ml +++ b/components/cic_exportation/cicExportation.ml @@ -345,6 +345,11 @@ let ppty current_module_name = let rec args context = function Cic.Prod (n,s,t) -> + let n = + match n with + Cic.Anonymous -> Cic.Anonymous + | Cic.Name n -> Cic.Name (String.uncapitalize n) + in (match analyze_type context s with `Sort Cic.Prop -> args ((Some (n,Cic.Decl s))::context) t | `Statement