* http://cs.unibo.it/helm/.
*)
+(* $Id$ *)
+
exception Impossible of int;;
exception NotWellTyped of string;;
exception WrongUriToConstant of string;;
| C.Fix (_,fl) ->
let len = List.length fl in
let n_plus_len = n + len in
- let tys =
- List.map (fun (n,_,ty,_) -> Some (C.Name n,(Cic.Decl ty))) fl
- in
List.fold_right
(fun (_,_,ty,bo) i ->
i && does_not_occur n ty &&
| C.CoFix (_,fl) ->
let len = List.length fl in
let n_plus_len = n + len in
- let tys =
- List.map (fun (n,ty,_) -> Some (C.Name n,(Cic.Decl ty))) fl
- in
List.fold_right
(fun (_,ty,bo) i ->
i && does_not_occur n ty &&
let exp_named_subst' =
List.map (function (i,t) -> i, beta_reduce t) exp_named_subst
in
- C.Var (uri,exp_named_subst)
+ C.Var (uri,exp_named_subst')
| C.Meta (n,l) ->
C.Meta (n,
List.map