From 4ee0cedff7726a56ebd53125995a7ae131660b4a Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Tue, 18 Aug 2020 13:07:54 +0200
Subject: Rename VM-related kernel/cfoo files to kernel/vmfoo

---
 kernel/cemitcodes.mli | 46 ----------------------------------------------
 1 file changed, 46 deletions(-)
 delete mode 100644 kernel/cemitcodes.mli

(limited to 'kernel/cemitcodes.mli')

diff --git a/kernel/cemitcodes.mli b/kernel/cemitcodes.mli
deleted file mode 100644
index c4262f3380..0000000000
--- a/kernel/cemitcodes.mli
+++ /dev/null
@@ -1,46 +0,0 @@
-(************************************************************************)
-(*         *   The Coq Proof Assistant / The Coq Development Team       *)
-(*  v      *         Copyright INRIA, CNRS and contributors             *)
-(* <O___,, * (see version control and CREDITS file for authors & dates) *)
-(*   \VV/  **************************************************************)
-(*    //   *    This file is distributed under the terms of the         *)
-(*         *     GNU Lesser General Public License Version 2.1          *)
-(*         *     (see LICENSE file for the text of the license)         *)
-(************************************************************************)
-open Names
-open Vmvalues
-open Cbytecodes
-
-type reloc_info =
-  | Reloc_annot of annot_switch
-  | Reloc_const of structured_constant
-  | Reloc_getglobal of Constant.t
-  | Reloc_proj_name of Projection.Repr.t
-  | Reloc_caml_prim of CPrimitives.t
-
-type patches
-type emitcodes
-
-val patch : emitcodes -> patches -> (reloc_info -> int) -> Vmvalues.tcode
-
-type to_patch = emitcodes * patches * fv
-
-type body_code =
-  | BCdefined of to_patch
-  | BCalias of Constant.t
-  | BCconstant
-
-
-type to_patch_substituted
-
-val from_val : body_code -> to_patch_substituted
-
-val force : to_patch_substituted -> body_code
-
-val subst_to_patch_subst : Mod_subst.substitution -> to_patch_substituted -> to_patch_substituted
-
-val repr_body_code :
-  to_patch_substituted -> Mod_subst.substitution list option * body_code
-
-val to_memory : bytecodes * bytecodes * fv -> to_patch
-               (** init code, fun code, fv *)
-- 
cgit v1.2.3