- stat removed from generated queries
Cic.Rel _ -> l
| Cic.Meta _ -> l
| Cic.Sort _ -> l
Cic.Rel _ -> l
| Cic.Meta _ -> l
| Cic.Sort _ -> l
| Cic.Var (u,exp_named_subst) ->
let l' = inspect_uri main l u [] v term in
inspect_exp_named_subst l' (succ v) exp_named_subst
| Cic.Var (u,exp_named_subst) ->
let l' = inspect_uri main l u [] v term in
inspect_exp_named_subst l' (succ v) exp_named_subst
[],[],[!!kind,s']
| _ -> [],[],[])
| C.Meta _
[],[],[!!kind,s']
| _ -> [],[],[])
| C.Meta _
- | C.Implicit -> assert false
+ | C.Implicit _ -> assert false
| C.Cast (te,_) ->
(* type ignored *)
process_type_aux kind te
| C.Cast (te,_) ->
(* type ignored *)
process_type_aux kind te
(* helpers *****************************************************************)
(* helpers *****************************************************************)
-let stat x = M.Fun (["stat"], [], [x])
let diff x y = M.Fun (["diff"], [], [x; y])
let union xl = M.Fun (["union"], [], xl)
let const s = M.Const [(s, [])]
let diff x y = M.Fun (["diff"], [], [x; y])
let union xl = M.Fun (["union"], [], xl)
let const s = M.Const [(s, [])]
let query =
M.Property (true, M.RefineExact, ["objectName"], [], [], [], [],
false, (const s))
let query =
M.Property (true, M.RefineExact, ["objectName"], [], [], [], [],
false, (const s))
let unreferred target_pattern source_pattern =
let query =
let unreferred target_pattern source_pattern =
let query =
M.Property (false, M.RefineExact, ["refObj"], ["h:occurrence"],
[], [], [], true, (const source_pattern))
)
M.Property (false, M.RefineExact, ["refObj"], ["h:occurrence"],
[], [], [], true, (const source_pattern))
)
let compose cl =
let letin = ref [] in
let compose cl =
let letin = ref [] in
let f (vvar, msval) x = M.Let (Some vvar, msval, x) in
iter f (fun x y z -> x (y z)) ! letin
in
let f (vvar, msval) x = M.Let (Some vvar, msval, x) in
iter f (fun x y z -> x (y z)) ! letin
in
- stat (letin_query (select_query must_query))
+ letin_query (select_query must_query)
(* high-level functions ****************************************************)
(* high-level functions ****************************************************)