-- primitive operations and types that GHC knows about.
---------------------------------------------------------------------------
-__interface PrelGHC 2 0 where
+__interface "rts" PrelGHC 1 0 where
__export PrelGHC
newMVarzh
takeMVarzh
putMVarzh
+ tryTakeMVarzh
isEmptyMVarzh
-- Parallel
leAddrzh
int2Addrzh
addr2Intzh
- addr2Integerzh
Floatzh
gtFloatzh
readIntOffAddrzh
readWordOffAddrzh
readAddrOffAddrzh
- readForeignObjOffAddrzh
readFloatOffAddrzh
readDoubleOffAddrzh
readStablePtrOffAddrzh
finalizzeWeakzh
ForeignObjzh
- makeForeignObjzh
+ mkForeignObjzh
writeForeignObjzh
+ foreignObjToAddrzh
+ touchzh
StablePtrzh
makeStablePtrzh
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;
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:
--
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)} ;