From 3fb9633ae5aea9d3704694490770e6e614da8c5d Mon Sep 17 00:00:00 2001 From: Pierre-Marie Pédrot Date: Tue, 8 May 2018 17:47:11 +0200 Subject: Simplify the newring hack. The new implementation is 100% compatible with the previous one, but it is more compact and does not use a tricky translation function from the kernel. --- kernel/cClosure.mli | 3 --- 1 file changed, 3 deletions(-) (limited to 'kernel') diff --git a/kernel/cClosure.mli b/kernel/cClosure.mli index e2f5a3b82..63daa4a7c 100644 --- a/kernel/cClosure.mli +++ b/kernel/cClosure.mli @@ -239,9 +239,6 @@ val lift_fconstr_vect : int -> fconstr array -> fconstr array val mk_clos : fconstr subs -> constr -> fconstr val mk_clos_vect : fconstr subs -> constr array -> fconstr array -val mk_clos_deep : - (fconstr subs -> constr -> fconstr) -> - fconstr subs -> constr -> fconstr val kni: clos_infos -> fconstr infos_tab -> fconstr -> stack -> fconstr * stack val knr: clos_infos -> fconstr infos_tab -> fconstr -> stack -> fconstr * stack -- cgit v1.2.3