X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=includes%2FRtsExternal.h;h=31cae1a45a76e81a0ddab171ef3433e1d870cda1;hb=8305bb1641490429912a8ac5c3b1265a21937689;hp=f0e7b75f8cbf6353fc3cff93c0cb4201b3d7e96f;hpb=4f92da533cd1c7b5f41ef8794ee6a284f1680413;p=ghc-hetmet.git

diff --git a/includes/RtsExternal.h b/includes/RtsExternal.h
index f0e7b75..31cae1a 100644
--- a/includes/RtsExternal.h
+++ b/includes/RtsExternal.h
@@ -50,8 +50,10 @@ extern unsigned int n_capabilities;
 extern StgDouble __encodeDouble (I_ size, StgByteArray arr, I_ e);
 extern StgDouble __2Int_encodeDouble (I_ j_high, I_ j_low, I_ e);
 extern StgDouble __int_encodeDouble (I_ j, I_ e);
+extern StgDouble __word_encodeDouble (W_ j, I_ e);
 extern StgFloat  __encodeFloat (I_ size, StgByteArray arr, I_ e);
 extern StgFloat  __int_encodeFloat (I_ j, I_ e);
+extern StgFloat  __word_encodeFloat (W_ j, I_ e);
 extern StgInt    isDoubleNaN(StgDouble d);
 extern StgInt    isDoubleInfinite(StgDouble d);
 extern StgInt    isDoubleDenormalized(StgDouble d);
@@ -109,7 +111,7 @@ void sendIOManagerEvent (HsWord32 event);
 extern void setIOManagerPipe (int fd);
 #endif
 
-extern void* allocateExec(unsigned int len);
+extern void* allocateExec(unsigned int len, void **exec_addr);
 
 // Breakpoint stuff
 
@@ -124,6 +126,4 @@ extern void revertCAFs( void );
 extern void dirty_MUT_VAR(StgRegTable *reg, StgClosure *p);
 extern void dirty_MVAR(StgRegTable *reg, StgClosure *p);
 
-extern void dirty_TSO(StgClosure *tso);
-
 #endif /*  RTSEXTERNAL_H */