X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2FHsVersions.h;h=1c07d2c5aeb127f038c6a2c68bc5e8bbc2120c5e;hb=bba98641e10c71ec9aeb20d508b8905e4a64a143;hp=c5b68ef0b42e0496d615d8a17118cd5b24561b14;hpb=6c381e873e222417d9a67aeec77b9555eca7b7a8;p=ghc-hetmet.git diff --git a/ghc/compiler/HsVersions.h b/ghc/compiler/HsVersions.h index c5b68ef..1c07d2c 100644 --- a/ghc/compiler/HsVersions.h +++ b/ghc/compiler/HsVersions.h @@ -10,171 +10,91 @@ you will screw up the layout where they are used in case expressions! #endif -#define MkInt I# -#define MkChar C# -#define MkArray _Array +/* 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 TAG_ Int# -#define LT_ -1# -#define EQ_ 0# -#define GT_ 1# +#define GLOBAL_VAR(name,value,ty) \ +name = Util.global (value) :: IORef (ty); \ +{-# NOINLINE name #-} #endif -#define GT__ _ -#ifdef __HBC__ -#define IMPORT_Trace import Trace -#define BSCC(l) ( -#define ESCC ) +#if __GLASGOW_HASKELL__ >= 620 +#define UNBOX_FIELD !! #else -#define IMPORT_Trace {--} -#define BSCC(l) (_scc_ l ( -#define ESCC )) +#define UNBOX_FIELD ! #endif --- these are overridable -#ifndef BIND -#define BIND case -#endif /* BIND */ -#ifndef _TO_ -#define _TO_ of { -#endif /* _TO_ */ -#ifndef BEND -#define BEND } -#endif /* BEND */ -#ifndef RETN -#define RETN {--} -#endif /* RETN */ -#ifndef RETN_TYPE -#define RETN_TYPE {--} -#endif /* RETN_TYPE */ - #define COMMA , #ifdef DEBUG #define ASSERT(e) if (not (e)) then (assertPanic __FILE__ __LINE__) else -#define CHK_Ubiq() import Ubiq +#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 CHK_Ubiq() +#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 --- ToDo: ghci needs to load far too many bits of the backend because --- this ATTACK_PRAGMA stuff encourages Utils.lhs to tell --- everyone about everyone else. I guess we need to add some --- more conditional stuff in. -#ifdef USE_ATTACK_PRAGMAS -#define IF_ATTACK_PRAGMAS(x) x -#else -#define IF_ATTACK_PRAGMAS(x) {--} +-- This #ifndef lets us switch off the "import FastString" +-- when compiling FastString itself +#ifndef COMPILING_FAST_STRING +-- +import qualified FastString #endif -#if GHCI -#define IF_GHCI(stuff) stuff -#else -#define IF_GHCI(stuff) {-nothing-} -#endif +#define SLIT(x) (FastString.mkLitString# (x#)) +#define FSLIT(x) (FastString.mkFastString# (x#)) -#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 26 -#define trace _trace -#endif +#endif /* HsVersions.h */ -#if defined(__GLASGOW_HASKELL__) -#define FAST_INT Int# -#define ILIT(x) (x#) -#define IBOX(x) (I# (x)) -#define _ADD_ `plusInt#` -#define _SUB_ `minusInt#` -#define _MUL_ `timesInt#` -#define _DIV_ `divInt#` -#define _QUOT_ `quotInt#` -#define _NEG_ negateInt# -#define _EQ_ `eqInt#` -#define _LT_ `ltInt#` -#define _LE_ `leInt#` -#define _GE_ `geInt#` -#define _GT_ `gtInt#` - -#define FAST_BOOL Int# -#define _TRUE_ 1# -#define _FALSE_ 0# -#define _IS_TRUE_(x) ((x) `eqInt#` 1#) - -#else {- ! __GLASGOW_HASKELL__ -} - -#define FAST_INT Int -#define ILIT(x) (x) -#define IBOX(x) (x) -#define _ADD_ + -#define _SUB_ - -#define _MUL_ * -#define _DIV_ `div` -#define _QUOT_ `quot` -#define _NEG_ - -#define _EQ_ == -#define _LT_ < -#define _LE_ <= -#define _GE_ >= -#define _GT_ > - -#define FAST_BOOL Bool -#define _TRUE_ True -#define _FALSE_ False -#define _IS_TRUE_(x) (x) - -#endif {- ! __GLASGOW_HASKELL__ -} - -#if __GLASGOW_HASKELL__ >= 23 -#define USE_FAST_STRINGS 1 -#define FAST_STRING _PackedString -#define SLIT(x) (_packCString (A# x#)) -#define _CMP_STRING_ cmpPString -#define _NULL_ _nullPS -#define _NIL_ _nilPS -#define _CONS_ _consPS -#define _HEAD_ _headPS -#define _TAIL_ _tailPS -#define _LENGTH_ _lengthPS -#define _PK_ _packString -#define _UNPK_ _unpackPS -#define _SUBSTR_ _substrPS -#define _APPEND_ `_appendPS` -#define _CONCAT_ _concatPS -#else -#define FAST_STRING String -#define SLIT(x) (x) -#define _CMP_STRING_ cmpString -#define _NULL_ null -#define _NIL_ "" -#define _CONS_ (:) -#define _HEAD_ head -#define _TAIL_ tail -#define _LENGTH_ length -#define _PK_ (\x->x) -#define _UNPK_ (\x->x) -#define _SUBSTR_ substr{-from Utils-} -#define _APPEND_ ++ -#define _CONCAT_ concat -#endif - -#if __HASKELL1__ < 3 -{- To avoid confusion with Haskell 1.3, we use Swahili. - - data Maybe a = Nothing | Just a - data Labda a = Hamna | Ni a - - Should we ever need to increase confusion with HBC, we will - use Swedish: - - data Kanske a = Ingenting | Bara a --} -# define Maybe Labda -# define Just Ni -# define Nothing Hamna -#else -# define MAYBE Labda -# define JUST Ni -# define NOTHING Hamna -#endif - -#endif