X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2FHsVersions.h;h=dd80922e0b3692e04b11581ab106212d07b4790e;hb=9d7da331989abcd1844e9d03b8d1e4163796fa85;hp=40a58517b4e080000e58f4b8ac7fa6374504063b;hpb=b085ee40c7f265a5977ea6ec1c415e573be5ff8c;p=ghc-hetmet.git diff --git a/ghc/compiler/HsVersions.h b/ghc/compiler/HsVersions.h index 40a5851..dd80922 100644 --- a/ghc/compiler/HsVersions.h +++ b/ghc/compiler/HsVersions.h @@ -10,41 +10,99 @@ you will screw up the layout where they are used in case expressions! #endif +/* Useful in the headers that we share with the RTS */ +#define COMPILING_GHC 1 + +/* Pull in all the platform defines for this build (foo_TARGET_ARCH etc.) */ +#include "ghc_boot_platform.h" + +/* Pull in the autoconf defines (HAVE_FOO), but don't include + * ghcconfig.h, because that will include ghcplatform.h which has the + * wrong platform settings for the compiler (it has the platform + * settings for the target plat instead). */ +#include "../includes/ghcautoconf.h" + +#if __GLASGOW_HASKELL__ >= 504 + +#define CONCURRENT Control.Concurrent +#define EXCEPTION Control.Exception + /* If you want Control.Exception.try, get it as Panic.try, which + deals with the shift from 'tryAllIO' to 'try'. */ +#define DYNAMIC Data.Dynamic +#define GLAEXTS GHC.Exts +#define DATA_BITS Data.Bits +#define DATA_INT Data.Int +#define DATA_WORD Data.Word +#define UNSAFE_IO System.IO.Unsafe +#define TRACE Debug.Trace +#define DATA_IOREF Data.IORef +#define FIX_IO System.IO +#define MONAD_ST Control.Monad.ST +#define ST_ARRAY Data.Array.ST + +#else + +#define CONCURRENT Concurrent +#define EXCEPTION Exception +#define DYNAMIC Dynamic +#define GLAEXTS GlaExts +#define DATA_BITS Bits +#define DATA_INT Int +#define DATA_WORD Word +#define UNSAFE_IO IOExts +#define TRACE IOExts +#define DATA_IOREF IOExts +#define FIX_IO IOExts +#define MONAD_ST ST +#define ST_ARRAY ST + +#endif + #ifdef __GLASGOW_HASKELL__ #define GLOBAL_VAR(name,value,ty) \ name = Util.global (value) :: IORef (ty); \ {-# NOINLINE name #-} #endif +#if __GLASGOW_HASKELL__ >= 620 +#define UNBOX_FIELD !! +#else +#define UNBOX_FIELD ! +#endif + #define COMMA , #ifdef DEBUG #define ASSERT(e) if (not (e)) then (assertPanic __FILE__ __LINE__) else #define ASSERT2(e,msg) if (not (e)) then (assertPprPanic __FILE__ __LINE__ (msg)) else #define WARN( e, msg ) (warnPprTrace (e) __FILE__ __LINE__ (msg)) +#define ASSERTM(mbool) do { bool <- mbool; ASSERT(bool) return () } +#define ASSERTM2(mbool,msg) do { bool <- mbool; ASSERT2(bool,msg) return () } #else -#define ASSERT(e) -#define ASSERT2(e,msg) -#define WARN(e,msg) -#endif - --- temporary usage assertion control KSW 2000-10 -#ifdef DO_USAGES -#define UASSERT(e) ASSERT(e) -#define UASSERT2(e,msg) ASSERT2(e,msg) -#else -#define UASSERT(e) -#define UASSERT2(e,msg) +#define ASSERT(e) if False then error "ASSERT" else +#define ASSERT2(e,msg) if False then error "ASSERT2" else +#define ASSERTM(e) +#define ASSERTM2(e,msg) +#define WARN(e,msg) if False then error "WARN" else #endif -- This #ifndef lets us switch off the "import FastString" -- when compiling FastString itself #ifndef COMPILING_FAST_STRING -- -import qualified FastString +import qualified FastString as FS #endif -#define SLIT(x) (FastString.mkLitString# (x#)) -#define FSLIT(x) (FastString.mkFastString# (x#)) +#define SLIT(x) (FS.mkLitString# (x#)) +#define FSLIT(x) (FS.mkFastString# (x#)) + +-- Useful for declaring arguments to be strict +#define STRICT1(f) f a b c | a `seq` False = undefined +#define STRICT2(f) f a b | a `seq` b `seq` False = undefined +#define STRICT3(f) f a b c | a `seq` b `seq` c `seq` False = undefined +#define STRICT4(f) f a b c d | a `seq` b `seq` c `seq` d `seq` False = undefined +#define STRICT5(f) f a b c d e | a `seq` b `seq` c `seq` d `seq` e `seq` False = undefined +#define STRICT6(f) f a b c d e f | a `seq` b `seq` c `seq` d `seq` e `seq` f `seq` False = undefined + +#endif /* HsVersions.h */ -#endif // HSVERSIONS_H