[project @ 2000-10-24 15:40:19 by sewardj]

[ghc-hetmet.git] / ghc / lib / std / PrelGHC.hi-boot

diff --git a/ghc/lib/std/PrelGHC.hi-boot b/ghc/lib/std/PrelGHC.hi-boot
index 440f4ac..13f4aac 100644 (file)
--- 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
@@ -251,7 +249,6 @@ __export PrelGHC
   readIntOffAddrzh
   readWordOffAddrzh
   readAddrOffAddrzh
-  readForeignObjOffAddrzh
   readFloatOffAddrzh
   readDoubleOffAddrzh
   readStablePtrOffAddrzh
@@ -325,8 +322,10 @@ __export PrelGHC
   finalizzeWeakzh
 
   ForeignObjzh
-  makeForeignObjzh
+  mkForeignObjzh
   writeForeignObjzh
+  foreignObjToAddrzh
+  touchzh
 
   StablePtrzh
   makeStablePtrzh
@@ -338,11 +337,19 @@ __export PrelGHC
   eqStableNamezh
   stableNameToIntzh
 
+  indexPtrOffClosurezh
+  indexWordOffClosurezh
+
   reallyUnsafePtrEqualityzh
 
   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;
@@ -352,15 +359,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;
+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:
 --
@@ -373,6 +380,6 @@ instance __forall [s] => {CCallable (StablePtrzh s)} = zdfCCallableStablePtrzh;
 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)} ;
+1 zdfCCallableStablePtrzh :: __forall a => {CCallable (StablePtrzh a)} ;