Remove call_type

src/compilation.ml

@@ -184,7 +184,6 @@ let rec specialise_skeleton env new_sorts new_hooks m tvm = function
 (** Similar to [specialise_skeleton] but over bones. **)
 and specialise_bone env new_sorts new_hooks m tvm = function
   | Hook h ->
-    assert (h.c_type = CHook) ;
     let t =
       term_map (fun x ->
           match SMap.find_opt x.tv_name tvm with
@@ -206,7 +205,6 @@ and specialise_bone env new_sorts new_hooks m tvm = function
           | None -> assert false
           | Some l -> l in
         (m, {
-           c_type = CHook ;
            c_name = h' ;
            c_annot = h.c_annot ;
            c_inputs = inputs ;
@@ -214,10 +212,8 @@ and specialise_bone env new_sorts new_hooks m tvm = function
          }) in
     (Hook h', m, [(h.c_name, t)], [], Some (List.map (fun _ -> None) h.c_output_sorts))
   | Proc p ->
-    assert (p.c_type = CProc) ;
     (Proc p, m, [], [p.c_name], Some (List.map (fun _ -> None) p.c_output_sorts))
   | Filter f ->
-    assert (f.c_type = CFilter) ;
     (Filter f, m, [], [], Some (List.map (fun _ -> None) f.c_output_sorts))
   | Branching b ->
     let (skels, m, future, procs, r) =
@@ -508,16 +504,13 @@ let normalise_hooks env =
       env.env_proc_signatures
       (new_hooks, env.env_sorts, env.env_constr_signatures, SMap.empty, env_all_names env) in
   let update_hook c =
-    assert (c.c_type = CHook) ;
     Hook { c with c_inputs = update_list_hook hook_index c.c_name c.c_inputs } in
   let update_proc c =
-    assert (c.c_type = CProc) ;
     let t =
       match SMap.find_opt c.c_name term_map with
       | None -> assert false
       | Some t -> t in
-    Hook { c with c_type = CHook ;
-                  c_inputs = c.c_inputs @ [ VTerm t ] } in
+    Hook { c with c_inputs = c.c_inputs @ [ VTerm t ] } in
   let update_skeleton =
     let open Interpretation in
     interpret_skeleton {