From 7e7a4e4d7e9e84b2c57d3d55e372e738b5f8dbf5 Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Thu, 14 Feb 2013 08:46:55 +0000 Subject: Separate StablePtr and StableName tables (#7674) To improve performance of StablePtr. --- includes/HsFFI.h | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'includes/HsFFI.h') diff --git a/includes/HsFFI.h b/includes/HsFFI.h index dceabab86f..652fbea22b 100644 --- a/includes/HsFFI.h +++ b/includes/HsFFI.h @@ -153,6 +153,10 @@ extern void hs_add_root (void (*init_root)(void)); extern void hs_perform_gc (void); +extern void hs_lock_stable_tables (void); +extern void hs_unlock_stable_tables (void); +extern void hs_free_stable_ptr_unsafe (HsStablePtr sp); + extern void hs_free_stable_ptr (HsStablePtr sp); extern void hs_free_fun_ptr (HsFunPtr fp); -- cgit v1.2.1