X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Flib%2Fstd%2FPrelGHC.hi-boot;h=07dec11496a0c3996d3e2d5ffcf109d4e881ac5c;hb=65ace55b0200fd37c6cf475d6ee16135866a3359;hp=dba3e67e6c520e64fc6ee2d28973e0f3bf021362;hpb=9c370d695ac7b7b7108440b028b017459ae5ef02;p=ghc-hetmet.git

diff --git a/ghc/lib/std/PrelGHC.hi-boot b/ghc/lib/std/PrelGHC.hi-boot
index dba3e67..07dec11 100644
--- a/ghc/lib/std/PrelGHC.hi-boot
+++ b/ghc/lib/std/PrelGHC.hi-boot
@@ -5,13 +5,12 @@
 --	primitive operations and types that GHC knows about.
 ---------------------------------------------------------------------------
 
-__interface PrelGHC 2 0 where
+__interface "rts" PrelGHC 1 0 where
 
 __export PrelGHC
 
   ZLzmzgZR	-- (->)
 
-  All	-- Pseudo class used for universal quantification
   CCallable
   CReturnable
 
@@ -46,6 +45,7 @@ __export PrelGHC
   newMVarzh
   takeMVarzh
   putMVarzh
+  tryTakeMVarzh
   isEmptyMVarzh
   
   -- Parallel
@@ -80,7 +80,6 @@ __export PrelGHC
   zpzh
   zmzh
   ztzh
-  zszh
   quotIntzh
   remIntzh
   gcdIntzh
@@ -124,7 +123,6 @@ __export PrelGHC
   leAddrzh
   int2Addrzh
   addr2Intzh
-  addr2Integerzh
 
   Floatzh
   gtFloatzh
@@ -207,7 +205,11 @@ __export PrelGHC
   integerToWord64zh
   int64ToIntegerzh
   word64ToIntegerzh
-  
+  andIntegerzh
+  orIntegerzh
+  xorIntegerzh
+  complementIntegerzh
+
   Arrayzh
   ByteArrayzh
   MutableArrayzh
@@ -217,13 +219,7 @@ __export PrelGHC
   sameMutableByteArrayzh
   
   newArrayzh
-  newCharArrayzh
-  newIntArrayzh
-  newWordArrayzh
-  newFloatArrayzh
-  newDoubleArrayzh
-  newAddrArrayzh
-  newStablePtrArrayzh
+  newByteArrayzh
   
   indexArrayzh
   indexCharArrayzh
@@ -233,7 +229,13 @@ __export PrelGHC
   indexDoubleArrayzh
   indexAddrArrayzh
   indexStablePtrArrayzh
+  indexInt8Arrayzh
+  indexInt16Arrayzh
+  indexInt32Arrayzh
   indexInt64Arrayzh
+  indexWord8Arrayzh
+  indexWord16Arrayzh
+  indexWord32Arrayzh
   indexWord64Arrayzh
   
 --  indexOffAddrzh
@@ -244,9 +246,31 @@ __export PrelGHC
   indexFloatOffAddrzh
   indexDoubleOffAddrzh
   indexStablePtrOffAddrzh
+  indexInt8OffAddrzh
+  indexInt16OffAddrzh
+  indexInt32OffAddrzh
   indexInt64OffAddrzh
+  indexWord8OffAddrzh
+  indexWord16OffAddrzh
+  indexWord32OffAddrzh
   indexWord64OffAddrzh
   
+  readCharOffAddrzh
+  readIntOffAddrzh
+  readWordOffAddrzh
+  readAddrOffAddrzh
+  readFloatOffAddrzh
+  readDoubleOffAddrzh
+  readStablePtrOffAddrzh
+  readInt8OffAddrzh
+  readInt16OffAddrzh
+  readInt32OffAddrzh
+  readInt64OffAddrzh
+  readWord8OffAddrzh
+  readWord16OffAddrzh
+  readWord32OffAddrzh
+  readWord64OffAddrzh
+
   writeCharOffAddrzh
   writeIntOffAddrzh
   writeWordOffAddrzh
@@ -255,7 +279,13 @@ __export PrelGHC
   writeFloatOffAddrzh
   writeDoubleOffAddrzh
   writeStablePtrOffAddrzh
+  writeInt8OffAddrzh
+  writeInt16OffAddrzh
+  writeInt32OffAddrzh
   writeInt64OffAddrzh
+  writeWord8OffAddrzh
+  writeWord16OffAddrzh
+  writeWord32OffAddrzh
   writeWord64OffAddrzh
 
 --  indexOffForeignObjzh
@@ -266,7 +296,13 @@ __export PrelGHC
   indexFloatOffForeignObjzh
   indexDoubleOffForeignObjzh
   indexStablePtrOffForeignObjzh
+  indexInt8OffForeignObjzh
+  indexInt16OffForeignObjzh
+  indexInt32OffForeignObjzh
   indexInt64OffForeignObjzh
+  indexWord8OffForeignObjzh
+  indexWord16OffForeignObjzh
+  indexWord32OffForeignObjzh
   indexWord64OffForeignObjzh
   
   writeArrayzh
@@ -277,7 +313,13 @@ __export PrelGHC
   writeDoubleArrayzh
   writeAddrArrayzh
   writeStablePtrArrayzh
+  writeInt8Arrayzh
+  writeInt16Arrayzh
+  writeInt32Arrayzh
   writeInt64Arrayzh
+  writeWord8Arrayzh
+  writeWord16Arrayzh
+  writeWord32Arrayzh
   writeWord64Arrayzh
   
   readArrayzh
@@ -288,14 +330,19 @@ __export PrelGHC
   readDoubleArrayzh
   readAddrArrayzh
   readStablePtrArrayzh
+  readInt8Arrayzh
+  readInt16Arrayzh
+  readInt32Arrayzh
   readInt64Arrayzh
+  readWord8Arrayzh
+  readWord16Arrayzh
+  readWord32Arrayzh
   readWord64Arrayzh
 
   unsafeFreezzeArrayzh		-- Note zz in the middle
   unsafeFreezzeByteArrayzh	-- Ditto
 
   unsafeThawArrayzh
-  unsafeThawByteArrayzh
 
   sizzeofByteArrayzh		-- Ditto
   sizzeofMutableByteArrayzh	-- Ditto
@@ -315,8 +362,10 @@ __export PrelGHC
   finalizzeWeakzh
 
   ForeignObjzh
-  makeForeignObjzh
+  mkForeignObjzh
   writeForeignObjzh
+  foreignObjToAddrzh
+  touchzh
 
   StablePtrzh
   makeStablePtrzh
@@ -328,11 +377,24 @@ __export PrelGHC
   eqStableNamezh
   stableNameToIntzh
 
+  indexPtrOffClosurezh
+  indexWordOffClosurezh
+  setPtrOffClosurezh
+  setWordOffClosurezh
+
   reallyUnsafePtrEqualityzh
 
+  newBCOzh
+  getBCOPtrszh
+
   unsafeCoercezh
 ;
 
+-- Export PrelErr.error, so that others don't have to import PrelErr
+__export PrelErr error ;
+
+
+--------------------------------------------------
 instance {CCallable Charzh} = zdfCCallableCharzh;
 instance {CCallable Doublezh} = zdfCCallableDoublezh;
 instance {CCallable Floatzh} = zdfCCallableFloatzh;
@@ -342,15 +404,15 @@ instance {CCallable Int64zh} = zdfCCallableInt64zh;
 instance {CCallable Word64zh} = zdfCCallableWord64zh;
 instance {CCallable Wordzh} = zdfCCallableWordzh;
 instance {CCallable ByteArrayzh} = zdfCCallableByteArrayzh;
-instance __forall [s] => {CCallable (MutableByteArrayzh s)} = zdfCCallableMutableByteArrayzh;
+instance __forall s => {CCallable (MutableByteArrayzh s)} = zdfCCallableMutableByteArrayzh;
 instance {CCallable ForeignObjzh} = zdfCCallableForeignObjzh;
-
+instance __forall s => {CCallable (StablePtrzh s)} = zdfCCallableStablePtrzh;
 -- CCallable and CReturnable have kind (Type AnyBox) so that
 -- things like Int# can be instances of CCallable. 
 1 class CCallable a :: ? ;
 1 class CReturnable a :: ? ;
 
-1 assert :: __forall [a] => PrelBase.Bool -> a -> a ;
+1 assert :: __forall a => PrelBase.Bool -> a -> a ;
 
 -- These guys don't really exist:
 --
@@ -363,5 +425,6 @@ instance {CCallable ForeignObjzh} = zdfCCallableForeignObjzh;
 1 zdfCCallableWord64zh :: {CCallable Word64zh} ;
 1 zdfCCallableWordzh :: {CCallable Wordzh} ;
 1 zdfCCallableByteArrayzh :: {CCallable ByteArrayzh} ;
-1 zdfCCallableMutableByteArrayzh :: __forall [s] => {CCallable (MutableByteArrayzh s)} ;
+1 zdfCCallableMutableByteArrayzh :: __forall s => {CCallable (MutableByteArrayzh s)} ;
 1 zdfCCallableForeignObjzh :: {CCallable ForeignObjzh} ;
+1 zdfCCallableStablePtrzh :: __forall a => {CCallable (StablePtrzh a)} ;