diff options
| author | David Terei <davidterei@gmail.com> | 2011-06-14 14:04:11 -0700 |
|---|---|---|
| committer | David Terei <davidterei@gmail.com> | 2011-06-17 20:40:34 -0700 |
| commit | 1d704e17caef8156a3d4c4b764737ede85884eb8 (patch) | |
| tree | fdc5c2b7023d16b4aa111739c314be37c5de8e45 /rts/Prelude.h | |
| parent | 90bab6b82256b5dc0562e46a091b4dcfce18f804 (diff) | |
| download | haskell-1d704e17caef8156a3d4c4b764737ede85884eb8.tar.gz | |
SafeHaskell: Make base GHC.* modules untrusted
Diffstat (limited to 'rts/Prelude.h')
| -rw-r--r-- | rts/Prelude.h | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/rts/Prelude.h b/rts/Prelude.h index e32980e0d0..86bb6099fb 100644 --- a/rts/Prelude.h +++ b/rts/Prelude.h @@ -43,7 +43,7 @@ PRELUDE_CLOSURE(base_GHCziIOziException_blockedIndefinitelyOnSTM_closure); PRELUDE_CLOSURE(base_ControlziExceptionziBase_nonTermination_closure); PRELUDE_CLOSURE(base_ControlziExceptionziBase_nestedAtomically_closure); -PRELUDE_CLOSURE(base_GHCziConcziSyncziImp_runSparks_closure); +PRELUDE_CLOSURE(base_GHCziConcziSync_runSparks_closure); PRELUDE_CLOSURE(base_GHCziConcziIO_ensureIOManagerIsRunning_closure); PRELUDE_CLOSURE(base_GHCziConcziSignal_runHandlers_closure); @@ -52,8 +52,8 @@ PRELUDE_INFO(ghczmprim_GHCziTypes_Izh_static_info); PRELUDE_INFO(ghczmprim_GHCziTypes_Fzh_static_info); PRELUDE_INFO(ghczmprim_GHCziTypes_Dzh_static_info); PRELUDE_INFO(base_Addr_Azh_static_info); -PRELUDE_INFO(base_GHCziPtrziImp_Ptr_static_info); -PRELUDE_INFO(base_GHCziPtrziImp_FunPtr_static_info); +PRELUDE_INFO(base_GHCziPtr_Ptr_static_info); +PRELUDE_INFO(base_GHCziPtr_FunPtr_static_info); PRELUDE_INFO(base_GHCziInt_I8zh_static_info); PRELUDE_INFO(base_GHCziInt_I16zh_static_info); PRELUDE_INFO(base_GHCziInt_I32zh_static_info); @@ -67,8 +67,8 @@ PRELUDE_INFO(ghczmprim_GHCziTypes_Czh_con_info); PRELUDE_INFO(ghczmprim_GHCziTypes_Izh_con_info); PRELUDE_INFO(ghczmprim_GHCziTypes_Fzh_con_info); PRELUDE_INFO(ghczmprim_GHCziTypes_Dzh_con_info); -PRELUDE_INFO(base_GHCziPtrziImp_Ptr_con_info); -PRELUDE_INFO(base_GHCziPtrziImp_FunPtr_con_info); +PRELUDE_INFO(base_GHCziPtr_Ptr_con_info); +PRELUDE_INFO(base_GHCziPtr_FunPtr_con_info); PRELUDE_INFO(base_Addr_Azh_con_info); PRELUDE_INFO(base_GHCziWord_Wzh_con_info); PRELUDE_INFO(base_GHCziInt_I8zh_con_info); @@ -79,8 +79,8 @@ PRELUDE_INFO(base_GHCziWord_W8zh_con_info); PRELUDE_INFO(base_GHCziWord_W16zh_con_info); PRELUDE_INFO(base_GHCziWord_W32zh_con_info); PRELUDE_INFO(base_GHCziWord_W64zh_con_info); -PRELUDE_INFO(base_GHCziStableziImp_StablePtr_static_info); -PRELUDE_INFO(base_GHCziStableziImp_StablePtr_con_info); +PRELUDE_INFO(base_GHCziStable_StablePtr_static_info); +PRELUDE_INFO(base_GHCziStable_StablePtr_con_info); #define True_closure DLL_IMPORT_DATA_REF(ghczmprim_GHCziTypes_True_closure) #define False_closure DLL_IMPORT_DATA_REF(ghczmprim_GHCziTypes_False_closure) @@ -88,7 +88,7 @@ PRELUDE_INFO(base_GHCziStableziImp_StablePtr_con_info); #define runFinalizerBatch_closure DLL_IMPORT_DATA_REF(base_GHCziWeak_runFinalizzerBatch_closure) #define mainIO_closure (&ZCMain_main_closure) -#define runSparks_closure DLL_IMPORT_DATA_REF(base_GHCziConcziSyncziImp_runSparks_closure) +#define runSparks_closure DLL_IMPORT_DATA_REF(base_GHCziConcziSync_runSparks_closure) #define ensureIOManagerIsRunning_closure DLL_IMPORT_DATA_REF(base_GHCziConcziIO_ensureIOManagerIsRunning_closure) #define runHandlers_closure DLL_IMPORT_DATA_REF(base_GHCziConcziSignal_runHandlers_closure) @@ -113,8 +113,8 @@ PRELUDE_INFO(base_GHCziStableziImp_StablePtr_con_info); #define W16zh_static_info DLL_IMPORT_DATA_REF(base_GHCziWord_W16zh_static_info) #define W32zh_static_info DLL_IMPORT_DATA_REF(base_GHCziWord_W32zh_static_info) #define W64zh_static_info DLL_IMPORT_DATA_REF(base_GHCziWord_W64zh_static_info) -#define Ptr_static_info DLL_IMPORT_DATA_REF(base_GHCziPtrziImp_Ptr_static_info) -#define FunPtr_static_info DLL_IMPORT_DATA_REF(base_GHCziPtrziImp_FunPtr_static_info) +#define Ptr_static_info DLL_IMPORT_DATA_REF(base_GHCziPtr_Ptr_static_info) +#define FunPtr_static_info DLL_IMPORT_DATA_REF(base_GHCziPtr_FunPtr_static_info) #define Czh_con_info DLL_IMPORT_DATA_REF(ghczmprim_GHCziTypes_Czh_con_info) #define Izh_con_info DLL_IMPORT_DATA_REF(ghczmprim_GHCziTypes_Izh_con_info) #define Fzh_con_info DLL_IMPORT_DATA_REF(ghczmprim_GHCziTypes_Fzh_con_info) @@ -130,9 +130,9 @@ PRELUDE_INFO(base_GHCziStableziImp_StablePtr_con_info); #define I32zh_con_info DLL_IMPORT_DATA_REF(base_GHCziInt_I32zh_con_info) #define I64zh_con_info DLL_IMPORT_DATA_REF(base_GHCziInt_I64zh_con_info) #define I64zh_con_info DLL_IMPORT_DATA_REF(base_GHCziInt_I64zh_con_info) -#define Ptr_con_info DLL_IMPORT_DATA_REF(base_GHCziPtrziImp_Ptr_con_info) -#define FunPtr_con_info DLL_IMPORT_DATA_REF(base_GHCziPtrziImp_FunPtr_con_info) -#define StablePtr_static_info DLL_IMPORT_DATA_REF(base_GHCziStableziImp_StablePtr_static_info) -#define StablePtr_con_info DLL_IMPORT_DATA_REF(base_GHCziStableziImp_StablePtr_con_info) +#define Ptr_con_info DLL_IMPORT_DATA_REF(base_GHCziPtr_Ptr_con_info) +#define FunPtr_con_info DLL_IMPORT_DATA_REF(base_GHCziPtr_FunPtr_con_info) +#define StablePtr_static_info DLL_IMPORT_DATA_REF(base_GHCziStable_StablePtr_static_info) +#define StablePtr_con_info DLL_IMPORT_DATA_REF(base_GHCziStable_StablePtr_con_info) #endif /* PRELUDE_H */ |