[project @ 1998-02-05 12:23:33 by simonm]
[ghc-hetmet.git] / ghc / compiler / HsVersions.h
index ef14e63..cd5c220 100644 (file)
@@ -10,93 +10,108 @@ you will screw up the layout where they are used in case expressions!
 
 #endif
 
-#define MkInt I#
-#define MkChar C#
-#define MkArray _Array
-
-#ifdef __GLASGOW_HASKELL__
-#define TAG_ Int#
-#define LT_ -1#
-#define EQ_ 0#
-#define GT_ 1#
-#endif
-#define GT__ _
-
-#ifdef __HBC__
-#define IMPORT_Trace import Trace
-#define BSCC(l) (
-#define ESCC   )
-#else
-#define IMPORT_Trace {--}
-#define BSCC(l) (_scc_ l (
-#define ESCC   ))
-#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 ASSERT2(e,msg) if (not (e)) then (assertPprPanic __FILE__ __LINE__ (msg)) else
 #else
 #define ASSERT(e)
+#define ASSERT2(e,msg)
 #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
+#if __STDC__
+#define CAT2(a,b)a##b
 #else
-#define IF_ATTACK_PRAGMAS(x) {--}
-#endif
-
-#if GHCI
-#define IF_GHCI(stuff) stuff
-#else 
-#define IF_GHCI(stuff) {-nothing-}
+#define CAT2(a,b)a/**/b
 #endif
 
-#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 26
-#define trace _trace
+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 202
+# define REALLY_HASKELL_1_3
+# define SYN_IE(a) a
+# define EXP_MODULE(a) module a
+# define IMPORT_DELOOPER(mod) import mod
+# define IMPORT_1_3(mod) import mod
+# define _Addr Addr
+# define _ByteArray GlaExts.ByteArray
+# define _MutableByteArray GlaExts.MutableByteArray
+# define _MutableArray GlaExts.MutableArray
+# define _RealWorld GlaExts.RealWorld
+# define _ST GlaExts.ST
+# define _ForeignObj Foreign.ForeignObj
+# define _runST ST.runST
+# define seqStrictlyST seqST
+# define thenStrictlyST thenST
+# define returnStrictlyST return
+# define MkST ST
+# if __GLASGOW_HASKELL__ >= 209
+#  define STATE_TOK(x)    x
+#  define ST_RET(x,y)     STret (y) (x)
+#  define unsafePerformST(x)  runST (x)
+#  define ST_TO_PrimIO(x) (stToIO (x))
+# else
+#  define STATE_TOK(x)  (S# x)
+#  define ST_RET(x,y)   (x,y)
+#  define unsafePerformST(x) unsafePerformPrimIO(x)
+#  define ST_TO_PrimIO(x) x
+# endif
+# define failWith fail
+# define MkIOError(h,errt,msg) (IOError (Just h) errt msg)
+# define CCALL_THEN thenIO_Prim
+# define Text Show
+# define IMP_FASTSTRING() import FastString
+# if __GLASGOW_HASKELL__ >= 209
+#  define IMP_Ubiq() import GlaExts ; import Addr(Addr(..)); import FastString
+#  define CHK_Ubiq() import GlaExts ; import Addr(Addr(..)); import FastString
+# else
+#  define IMP_Ubiq() import GlaExts ; import FastString
+#  define CHK_Ubiq() import GlaExts ; import FastString
+# endif
+# define minInt (minBound::Int)
+# define maxInt (maxBound::Int)
+#else
+# define STATE_TOK(x)  (S# x)
+# define ST_RET(x,y)   (x,y)
+# define unsafePerformST(x) unsafePerformPrimIO(x)
+# define ST_TO_PrimIO(x) x
+# define SYN_IE(a) a(..)
+# define EXP_MODULE(a) a..
+# define IMPORT_DELOOPER(mod) import mod
+# define IMPORT_1_3(mod) {--}
+# define IMP_FASTSTRING() import FastString
+# define IMP_Ubiq() IMPORT_DELOOPER(Ubiq) ; import FastString
+# define CHK_Ubiq() IMPORT_DELOOPER(Ubiq) ; import FastString
+# define MkST
+# define CCALL_THEN thenPrimIO
+# define MkIOError(h,errt,msg) (errt msg)
 #endif
 
 #if defined(__GLASGOW_HASKELL__)
+
+-- Import the beggars
+import GlaExts
+       ( Int(..), Int#, (+#), (-#), (*#), 
+         quotInt#, negateInt#, (==#), (<#), (<=#), (>=#), (>#)
+       )
+
 #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 _ADD_ +#
+#define _SUB_ -#
+#define _MUL_ *#
 #define _QUOT_ `quotInt#`
 #define _NEG_ negateInt#
-#define _EQ_ `eqInt#`
-#define _LT_ `ltInt#`
-#define _LE_ `leInt#`
-#define _GE_ `geInt#`
-#define _GT_ `gtInt#`
+#define _EQ_ ==#
+#define _LT_ <#
+#define _LE_ <=#
+#define _GE_ >=#
+#define _GT_ >#
 
 #define FAST_BOOL Int#
 #define _TRUE_ 1#
 #define _FALSE_ 0#
-#define _IS_TRUE_(x) ((x) `eqInt#` 1#)
+#define _IS_TRUE_(x) ((x) _EQ_ 1#)
 
 #else {- ! __GLASGOW_HASKELL__ -}
 
@@ -123,56 +138,42 @@ you will screw up the layout where they are used in case expressions!
 #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:
+-- This #ifndef lets us switch off the "import FastString"
+-- when compiling FastString itself
+#ifndef COMPILING_FAST_STRING
+-- 
+import qualified FastString 
+#endif
 
-   data Kanske a = Ingenting | Bara a
--}
-# define Maybe Labda
-# define Just Ni
-# define Nothing Hamna
+# define USE_FAST_STRINGS 1
+# define FAST_STRING   FastString.FastString
+# define SLIT(x)       (FastString.mkFastCharString# (x#))
+# define _NULL_                FastString.nullFastString
+# define _NIL_         (FastString.mkFastString "")
+# define _CONS_                FastString.consFS
+# define _HEAD_                FastString.headFS
+# define _TAIL_                FastString.tailFS
+# define _LENGTH_      FastString.lengthFS
+# define _PK_          FastString.mkFastString
+# define _UNPK_                FastString.unpackFS
+# define _APPEND_      `FastString.appendFS`
+# define _CONCAT_      FastString.concatFS
 #else
-# define MAYBE Labda
-# define JUST Ni
-# define NOTHING Hamna
+# 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
 
 #endif