X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Finterpreter%2Fstorage.h;h=881d2730cee52f5949769c5aec6cbb39d3390e96;hb=e6c29f8b1abd4892bcb4a8626fc817e16ab960cd;hp=ea6a78dc8dca0c52e8959e53331854a7dde81585;hpb=3d4dba8892d9d17e80cf7f4c76e61267876ab8f0;p=ghc-hetmet.git diff --git a/ghc/interpreter/storage.h b/ghc/interpreter/storage.h index ea6a78d..881d273 100644 --- a/ghc/interpreter/storage.h +++ b/ghc/interpreter/storage.h @@ -10,10 +10,13 @@ * included in the distribution. * * $RCSfile: storage.h,v $ - * $Revision: 1.27 $ - * $Date: 2000/02/24 14:05:55 $ + * $Revision: 1.43 $ + * $Date: 2000/04/11 16:36:53 $ * ------------------------------------------------------------------------*/ +#define DEBUG_STORAGE /* a moderate level of sanity checking */ +#define DEBUG_STORAGE_EXTRA /* max paranoia in sanity checks */ + /* -------------------------------------------------------------------------- * Typedefs for main data types: * Many of these type names are used to indicate the intended us of a data @@ -29,7 +32,6 @@ typedef Cell far *Heap; /* storage of heap */ typedef Cell Pair; /* pair cell */ typedef Int StackPtr; /* stack pointer */ typedef Cell Offset; /* offset/generic variable*/ -typedef Int Script; /* script file number */ typedef Int Module; /* module */ typedef Cell Tycon; /* type constructor */ typedef Cell Type; /* type expression */ @@ -53,26 +55,65 @@ typedef Cell QualId; typedef Cell ConVarId; /* -------------------------------------------------------------------------- + * Address ranges. + * + * -heapSize .. -1 cells in the heap + * 0 NIL + * + * TAG_NONPTR_MIN(100) .. TAG_NONPTR_MAX(115) non pointer tags + * TAG_PTR_MIN(200) .. TAG_PTR_MAX(298) pointer tags + * TAG_SPEC_MIN(400) .. TAG_SPEC_MAX(431) special tags + * OFF_MIN(1,000) .. OFF_MAX(1,999) offsets + * CHARR_MIN(3,000) .. CHARR_MAX(3,255) chars + * + * SMALL_INT_MIN(100,000) .. SMALL_INT_MAX(499,999) smallish ints + * (300,000 denotes 0) + * + * NAME_BASE_ADDR (1,000,000 .. 1,899,999) names + * TYCON_BASE_ADDR (2,000,000 .. 2,899,999) tycons + * CCLASS_BASE_ADDR (3,000,000 .. 3,899,999) classes + * INST_BASE_ADDR (4,000,000 .. 4,899,999) instances + * MODULE_BASE_ADDR (5,000,000 .. 5,899,999) modules + * INVAR_BASE_ADDR (6,000,000 .. 6,899,999) invented var names + * INDVAR_BASE_ADDR (7,000,000 .. 7,899,999) invented dict var names + * TEXT_BASE_ADDR (8,000,000 .. 8M +TEXT_SIZE-1) text + * ------------------------------------------------------------------------*/ + +/* -------------------------------------------------------------------------- * Text storage: * provides storage for the characters making up identifier and symbol * names, string literals, character constants etc... * ------------------------------------------------------------------------*/ -extern String textToStr Args((Text)); -extern Text findText Args((String)); -extern Text inventText Args((Void)); -extern Text inventDictText Args((Void)); -extern Bool inventedText Args((Text)); -extern Text enZcodeThenFindText Args((String)); -extern Text unZcodeThenFindText Args((String)); +extern String textToStr ( Text ); +extern Text findText ( String ); +extern Text inventText ( Void ); +extern Text inventDictText ( Void ); +extern Bool inventedText ( Text ); +extern Text enZcodeThenFindText ( String ); +extern Text unZcodeThenFindText ( String ); /* Variants of textToStr and syntaxOf which work for idents, ops whether * qualified or unqualified. */ -extern String identToStr Args((Cell)); -extern Text fixLitText Args((Text)); -extern Syntax identSyntax Args((Cell)); -extern Syntax defaultSyntax Args((Text)); +extern String identToStr ( Cell ); +extern Text fixLitText ( Text ); +extern Syntax identSyntax ( Cell ); +extern Syntax defaultSyntax ( Text ); + +#define INVAR_BASE_ADDR 6000000 +#define INVAR_MAX_AVAIL 900000 +#define isInventedVar(c) (INVAR_BASE_ADDR<=(c) \ + && (c)