CristalCaveGem » LustreC

(*

let uneval_vdecl_generics vdecl ty =

 if vdecl.var_dec_const

 then

   match get_static_value ty with

   | None   -> (Format.eprintf "internal error: %a@." Types.print_ty vdecl.var_type; assert false)

   | Some d -> Dimension.unify d (Dimension.mkdim_ident vdecl.var_loc vdecl.var_id)

let uneval_node_generics vdecls =

  let inst_typ_vars = ref [] in

  let inst_dim_vars = ref [] in

  let inst_ty_list = List.map (fun v -> instantiate inst_typ_vars inst_dim_vars v.var_type) vdecls in

  List.iter2 (fun v ty -> uneval_vdecl_generics v ty) vdecls inst_ty_list;

  List.iter2 (fun v ty -> generalize ty; v.var_type <- ty) vdecls inst_ty_list

*)

let check_env_compat header declared computed =

  (try 

     uneval_prog_generics header

   with e -> raise e);