X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Flib%2Fstd%2FPrelGHC.hi-boot;h=ace6e251a1cacf52b060b637cb748490d07c8468;hb=225d251337438e2f7870f0ec2781b1c616ef7462;hp=6d86963e59d6fb5a5e4a1730def6712a7b8abf50;hpb=e921b2e307532e0f30eefa88b11a124be592bde4;p=ghc-hetmet.git diff --git a/ghc/lib/std/PrelGHC.hi-boot b/ghc/lib/std/PrelGHC.hi-boot index 6d86963..ace6e25 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 "std" PrelGHC 1 0 where __export PrelGHC ZLzmzgZR -- (->) - All -- Pseudo class used for universal quantification CCallable CReturnable @@ -46,8 +45,10 @@ __export PrelGHC newMVarzh takeMVarzh putMVarzh + tryTakeMVarzh + tryPutMVarzh isEmptyMVarzh - + -- Parallel seqzh parzh @@ -68,7 +69,7 @@ __export PrelGHC leCharzh ordzh chrzh - + -- Int Type Intzh zgzh @@ -80,7 +81,6 @@ __export PrelGHC zpzh zmzh ztzh - zszh quotIntzh remIntzh gcdIntzh @@ -91,7 +91,7 @@ __export PrelGHC addIntCzh subIntCzh mulIntCzh - + Wordzh gtWordzh geWordzh @@ -99,6 +99,9 @@ __export PrelGHC neWordzh ltWordzh leWordzh + plusWordzh + minusWordzh + timesWordzh quotWordzh remWordzh andzh @@ -106,14 +109,19 @@ __export PrelGHC notzh xorzh shiftLzh --- shiftRAzh shiftRLzh int2Wordzh word2Intzh - - Word64zh Int64zh + Word64zh + + intToInt8zh + intToInt16zh + intToInt32zh + wordToWord8zh + wordToWord16zh + wordToWord32zh Addrzh gtAddrzh @@ -124,7 +132,6 @@ __export PrelGHC leAddrzh int2Addrzh addr2Intzh - addr2Integerzh Floatzh gtFloatzh @@ -154,7 +161,7 @@ __export PrelGHC tanhFloatzh powerFloatzh decodeFloatzh - + Doublezh zgzhzh zgzezhzh @@ -185,7 +192,7 @@ __export PrelGHC tanhDoublezh ztztzhzh decodeDoublezh - + cmpIntegerzh cmpIntegerIntzh plusIntegerzh @@ -207,47 +214,112 @@ __export PrelGHC integerToWord64zh int64ToIntegerzh word64ToIntegerzh - + andIntegerzh + orIntegerzh + xorIntegerzh + complementIntegerzh + Arrayzh ByteArrayzh MutableArrayzh MutableByteArrayzh - + sameMutableArrayzh sameMutableByteArrayzh - + newArrayzh - newCharArrayzh - newIntArrayzh - newWordArrayzh - newFloatArrayzh - newDoubleArrayzh - newAddrArrayzh - newStablePtrArrayzh - + newByteArrayzh + indexArrayzh indexCharArrayzh + indexWideCharArrayzh indexIntArrayzh indexWordArrayzh + indexAddrArrayzh indexFloatArrayzh indexDoubleArrayzh - indexAddrArrayzh indexStablePtrArrayzh + indexInt8Arrayzh + indexInt16Arrayzh + indexInt32Arrayzh indexInt64Arrayzh + indexWord8Arrayzh + indexWord16Arrayzh + indexWord32Arrayzh indexWord64Arrayzh - --- indexOffAddrzh + + readArrayzh + readCharArrayzh + readWideCharArrayzh + readIntArrayzh + readWordArrayzh + readAddrArrayzh + readFloatArrayzh + readDoubleArrayzh + readStablePtrArrayzh + readInt8Arrayzh + readInt16Arrayzh + readInt32Arrayzh + readInt64Arrayzh + readWord8Arrayzh + readWord16Arrayzh + readWord32Arrayzh + readWord64Arrayzh + + writeArrayzh + writeCharArrayzh + writeWideCharArrayzh + writeIntArrayzh + writeWordArrayzh + writeAddrArrayzh + writeFloatArrayzh + writeDoubleArrayzh + writeStablePtrArrayzh + writeInt8Arrayzh + writeInt16Arrayzh + writeInt32Arrayzh + writeInt64Arrayzh + writeWord8Arrayzh + writeWord16Arrayzh + writeWord32Arrayzh + writeWord64Arrayzh + indexCharOffAddrzh + indexWideCharOffAddrzh indexIntOffAddrzh indexWordOffAddrzh indexAddrOffAddrzh indexFloatOffAddrzh indexDoubleOffAddrzh indexStablePtrOffAddrzh + indexInt8OffAddrzh + indexInt16OffAddrzh + indexInt32OffAddrzh indexInt64OffAddrzh + indexWord8OffAddrzh + indexWord16OffAddrzh + indexWord32OffAddrzh indexWord64OffAddrzh - + + readCharOffAddrzh + readWideCharOffAddrzh + readIntOffAddrzh + readWordOffAddrzh + readAddrOffAddrzh + readFloatOffAddrzh + readDoubleOffAddrzh + readStablePtrOffAddrzh + readInt8OffAddrzh + readInt16OffAddrzh + readInt32OffAddrzh + readInt64OffAddrzh + readWord8OffAddrzh + readWord16OffAddrzh + readWord32OffAddrzh + readWord64OffAddrzh + writeCharOffAddrzh + writeWideCharOffAddrzh writeIntOffAddrzh writeWordOffAddrzh writeAddrOffAddrzh @@ -255,47 +327,37 @@ __export PrelGHC writeFloatOffAddrzh writeDoubleOffAddrzh writeStablePtrOffAddrzh + writeInt8OffAddrzh + writeInt16OffAddrzh + writeInt32OffAddrzh writeInt64OffAddrzh + writeWord8OffAddrzh + writeWord16OffAddrzh + writeWord32OffAddrzh writeWord64OffAddrzh --- indexOffForeignObjzh + eqForeignObjzh indexCharOffForeignObjzh + indexWideCharOffForeignObjzh indexIntOffForeignObjzh indexWordOffForeignObjzh indexAddrOffForeignObjzh indexFloatOffForeignObjzh indexDoubleOffForeignObjzh indexStablePtrOffForeignObjzh + indexInt8OffForeignObjzh + indexInt16OffForeignObjzh + indexInt32OffForeignObjzh indexInt64OffForeignObjzh + indexWord8OffForeignObjzh + indexWord16OffForeignObjzh + indexWord32OffForeignObjzh indexWord64OffForeignObjzh - - writeArrayzh - writeCharArrayzh - writeIntArrayzh - writeWordArrayzh - writeFloatArrayzh - writeDoubleArrayzh - writeAddrArrayzh - writeStablePtrArrayzh - writeInt64Arrayzh - writeWord64Arrayzh - - readArrayzh - readCharArrayzh - readIntArrayzh - readWordArrayzh - readFloatArrayzh - readDoubleArrayzh - readAddrArrayzh - readStablePtrArrayzh - readInt64Arrayzh - readWord64Arrayzh unsafeFreezzeArrayzh -- Note zz in the middle unsafeFreezzeByteArrayzh -- Ditto unsafeThawArrayzh - unsafeThawByteArrayzh sizzeofByteArrayzh -- Ditto sizzeofMutableByteArrayzh -- Ditto @@ -315,8 +377,10 @@ __export PrelGHC finalizzeWeakzh ForeignObjzh - makeForeignObjzh + mkForeignObjzh writeForeignObjzh + foreignObjToAddrzh + touchzh StablePtrzh makeStablePtrzh @@ -330,9 +394,19 @@ __export PrelGHC reallyUnsafePtrEqualityzh + newBCOzh + BCOzh + mkApUpd0zh + unsafeCoercezh + addrToHValuezh ; +-- 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 +416,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: -- @@ -363,6 +437,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)} ;