X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Flib%2Fstd%2FPrelGHC.hi-boot;h=49520a9d993d4b3e494ed5683fd82e2efb61e9a8;hb=e58d0e9b37910fbf802804f534accb159235d539;hp=9d8a1b2031a35832ee9ff39266dc7a991c44df87;hpb=28139aea50376444d56f43f0914291348a51a7e7;p=ghc-hetmet.git diff --git a/ghc/lib/std/PrelGHC.hi-boot b/ghc/lib/std/PrelGHC.hi-boot index 9d8a1b2..49520a9 100644 --- a/ghc/lib/std/PrelGHC.hi-boot +++ b/ghc/lib/std/PrelGHC.hi-boot @@ -5,236 +5,317 @@ -- primitive operations and types that GHC knows about. --------------------------------------------------------------------------- -_interface_ PrelGHC 2 -_exports_ -PrelGHC - -> +__interface PrelGHC 2 0 where + +__export PrelGHC + + ZLzmzgZR -- (->) All -- Pseudo class used for universal quantification CCallable CReturnable - Void --- void CAF is defined in PrelBase +-- Magical assert thingy + assert --- I/O primitives + -- I/O primitives RealWorld - realWorld# - State# - - fork# - delay# - seq# - par# - parGlobal# - parLocal# - parAt# - parAtAbs# - parAtRel# - parAtForNow# - - SynchVar# - newSynchVar# - takeMVar# - putMVar# - waitRead# - waitWrite# - - errorIO# - - Char# - gtChar# - geChar# - eqChar# - neChar# - ltChar# - leChar# - ord# - chr# - - Int# - ># - >=# - ==# - /=# - <# - <=# - +# - -# - *# - /# - quotInt# - remInt# - negateInt# - iShiftL# - iShiftRA# - iShiftRL# - - Word# - gtWord# - geWord# - eqWord# - neWord# - ltWord# - leWord# - quotWord# - remWord# - and# - or# - not# - xor# - shiftL# - shiftRA# - shiftRL# - int2Word# - word2Int# + realWorldzh + Statezh + + -- Concurrency primitives + ThreadIdzh + forkzh + killThreadzh + delayzh + waitReadzh + waitWritezh + + -- MVars + MVarzh + sameMVarzh + newMVarzh + takeMVarzh + putMVarzh + isEmptyMVarzh - Addr# - gtAddr# - geAddr# - eqAddr# - neAddr# - ltAddr# - leAddr# - int2Addr# - addr2Int# + -- Parallel + seqzh + parzh + parGlobalzh + parLocalzh + parAtzh + parAtAbszh + parAtRelzh + parAtForNowzh + + -- Character Type + Charzh + gtCharzh + geCharzh + eqCharzh + neCharzh + ltCharzh + leCharzh + ordzh + chrzh - Float# - gtFloat# - geFloat# - eqFloat# - neFloat# - ltFloat# - leFloat# - plusFloat# - minusFloat# - timesFloat# - divideFloat# - negateFloat# - float2Int# - int2Float# - expFloat# - logFloat# - sqrtFloat# - sinFloat# - cosFloat# - tanFloat# - asinFloat# - acosFloat# - atanFloat# - sinhFloat# - coshFloat# - tanhFloat# - powerFloat# - decodeFloat# - encodeFloat# + -- Int Type + Intzh + zgzh + zgzezh + zezezh + zszezh + zlzh + zlzezh + zpzh + zmzh + ztzh + zszh + quotIntzh + remIntzh + negateIntzh + iShiftLzh + iShiftRAzh + iShiftRLzh + addIntCzh + subIntCzh + mulIntCzh - Double# - >## - >=## - ==## - /=## - <## - <=## - +## - -## - *## - /## - negateDouble# - double2Int# - int2Double# - double2Float# - float2Double# - expDouble# - logDouble# - sqrtDouble# - sinDouble# - cosDouble# - tanDouble# - asinDouble# - acosDouble# - atanDouble# - sinhDouble# - coshDouble# - tanhDouble# - **## - decodeDouble# - encodeDouble# + Wordzh + gtWordzh + geWordzh + eqWordzh + neWordzh + ltWordzh + leWordzh + quotWordzh + remWordzh + andzh + orzh + notzh + xorzh + shiftLzh +-- shiftRAzh + shiftRLzh + int2Wordzh + word2Intzh - cmpInteger# - negateInteger# - plusInteger# - minusInteger# - timesInteger# - quotRemInteger# - integer2Int# - int2Integer# - word2Integer# + Word64zh + + Int64zh + + Addrzh + gtAddrzh + geAddrzh + eqAddrzh + neAddrzh + ltAddrzh + leAddrzh + int2Addrzh + addr2Intzh + addr2Integerzh + + Floatzh + gtFloatzh + geFloatzh + eqFloatzh + neFloatzh + ltFloatzh + leFloatzh + plusFloatzh + minusFloatzh + timesFloatzh + divideFloatzh + negateFloatzh + float2Intzh + int2Floatzh + expFloatzh + logFloatzh + sqrtFloatzh + sinFloatzh + cosFloatzh + tanFloatzh + asinFloatzh + acosFloatzh + atanFloatzh + sinhFloatzh + coshFloatzh + tanhFloatzh + powerFloatzh + decodeFloatzh - Array# - ByteArray# - MutableArray# - MutableByteArray# + Doublezh + zgzhzh + zgzezhzh + zezezhzh + zszezhzh + zlzhzh + zlzezhzh + zpzhzh + zmzhzh + ztzhzh + zszhzh + negateDoublezh + double2Intzh + int2Doublezh + double2Floatzh + float2Doublezh + expDoublezh + logDoublezh + sqrtDoublezh + sinDoublezh + cosDoublezh + tanDoublezh + asinDoublezh + acosDoublezh + atanDoublezh + sinhDoublezh + coshDoublezh + tanhDoublezh + ztztzhzh + decodeDoublezh - sameMutableArray# - sameMutableByteArray# + cmpIntegerzh + cmpIntegerIntzh + plusIntegerzh + minusIntegerzh + timesIntegerzh + quotRemIntegerzh + integer2Intzh + integer2Wordzh + int2Integerzh + word2Integerzh + integerToInt64zh + integerToWord64zh + int64ToIntegerzh + word64ToIntegerzh - newArray# - newCharArray# - newIntArray# - newFloatArray# - newDoubleArray# - newAddrArray# + Arrayzh + ByteArrayzh + MutableArrayzh + MutableByteArrayzh - indexArray# - indexCharArray# - indexIntArray# - indexFloatArray# - indexDoubleArray# - indexAddrArray# + sameMutableArrayzh + sameMutableByteArrayzh --- indexOffAddr# -indexCharOffAddr# -indexIntOffAddr# -indexAddrOffAddr# -indexFloatOffAddr# -indexDoubleOffAddr# - --- indexOffForeignObj# -indexCharOffForeignObj# -indexIntOffForeignObj# -indexAddrOffForeignObj# -indexFloatOffForeignObj# -indexDoubleOffForeignObj# + newArrayzh + newCharArrayzh + newIntArrayzh + newWordArrayzh + newFloatArrayzh + newDoubleArrayzh + newAddrArrayzh + newStablePtrArrayzh - writeArray# - writeCharArray# - writeIntArray# - writeFloatArray# - writeDoubleArray# - writeAddrArray# + indexArrayzh + indexCharArrayzh + indexIntArrayzh + indexWordArrayzh + indexFloatArrayzh + indexDoubleArrayzh + indexAddrArrayzh + indexStablePtrArrayzh + indexInt64Arrayzh + indexWord64Arrayzh - readArray# - readCharArray# - readIntArray# - readFloatArray# - readDoubleArray# - readAddrArray# +-- indexOffAddrzh + indexCharOffAddrzh + indexIntOffAddrzh + indexWordOffAddrzh + indexAddrOffAddrzh + indexFloatOffAddrzh + indexDoubleOffAddrzh + indexStablePtrOffAddrzh + indexInt64OffAddrzh + indexWord64OffAddrzh - unsafeFreezeArray# - unsafeFreezeByteArray# + writeCharOffAddrzh + writeIntOffAddrzh + writeWordOffAddrzh + writeAddrOffAddrzh + writeForeignObjOffAddrzh + writeFloatOffAddrzh + writeDoubleOffAddrzh + writeStablePtrOffAddrzh + writeInt64OffAddrzh + writeWord64OffAddrzh + +-- indexOffForeignObjzh + indexCharOffForeignObjzh + indexIntOffForeignObjzh + indexWordOffForeignObjzh + indexAddrOffForeignObjzh + indexFloatOffForeignObjzh + indexDoubleOffForeignObjzh + indexStablePtrOffForeignObjzh + indexInt64OffForeignObjzh + indexWord64OffForeignObjzh - ForeignObj# - makeForeignObj# - writeForeignObj# + writeArrayzh + writeCharArrayzh + writeIntArrayzh + writeWordArrayzh + writeFloatArrayzh + writeDoubleArrayzh + writeAddrArrayzh + writeStablePtrArrayzh + writeInt64Arrayzh + writeWord64Arrayzh - StablePtr# - makeStablePtr# - deRefStablePtr# - reallyUnsafePtrEquality# + readArrayzh + readCharArrayzh + readIntArrayzh + readWordArrayzh + readFloatArrayzh + readDoubleArrayzh + readAddrArrayzh + readStablePtrArrayzh + readInt64Arrayzh + readWord64Arrayzh + + unsafeFreezzeArrayzh -- Note zz in the middle + unsafeFreezzeByteArrayzh -- Ditto + + sizzeofByteArrayzh -- Ditto + sizzeofMutableByteArrayzh -- Ditto + + MutVarzh + newMutVarzh + readMutVarzh + writeMutVarzh + sameMutVarzh + + catchzh + raisezh + + Weakzh + mkWeakzh + deRefWeakzh + finalizzeWeakzh + + ForeignObjzh + makeForeignObjzh + writeForeignObjzh + + StablePtrzh + makeStablePtrzh + deRefStablePtrzh + eqStablePtrzh + + StableNamezh + makeStableNamezh + eqStableNamezh + stableNameToIntzh + + reallyUnsafePtrEqualityzh + + unsafeCoercezh ; -_declarations_ +-- 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 class CCallable a :: ** ; -1 class CReturnable a :: ** ; +1 assert :: __forall [a] => PrelBase.Bool -> a -> a ;