(match get_nth l n with
Some (C.Name s) -> s
| Some C.Anonymous -> "__" ^ string_of_int n
- | _ -> raise CicPpInternalError
+ | None -> "_hidden_" ^ string_of_int n
)
with
NotEnoughElements -> string_of_int (List.length l - n)
| C.Type -> "Type"
| C.CProp -> "CProp"
)
- | C.Implicit -> "?"
+ | C.Implicit _ -> "?"
| C.Prod (b,s,t) ->
(match b with
C.Name n -> "(" ^ n ^ ":" ^ pp s l ^ ")" ^ pp t ((Some b)::l)