]> matita.cs.unibo.it Git - helm.git/commitdiff
Type arguments are better uncapitalized.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 4 Nov 2007 18:55:44 +0000 (18:55 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 4 Nov 2007 18:55:44 +0000 (18:55 +0000)
helm/software/components/cic_exportation/cicExportation.ml

index eeddc094996e2d06f9ff0051c92e2e152bcdaec8..37eff255b87c3132f644aad51c71e6b7cadc10ba 100644 (file)
@@ -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