Commit 37fe8f8c authored by sewardj's avatar sewardj

[project @ 2000-03-10 18:28:26 by sewardj]

Nuke a substantial number of no-longer-supported options.
parent 08e36f1d
......@@ -7,8 +7,8 @@
* Hugs version 1.4, December 1997
*
* $RCSfile: options.h,v $
* $Revision: 1.21 $
* $Date: 2000/03/10 17:30:36 $
* $Revision: 1.22 $
* $Date: 2000/03/10 18:28:26 $
* ------------------------------------------------------------------------*/
......@@ -168,23 +168,12 @@
#define PROVIDE_COERCE 1
#define PROVIDE_PTREQUALITY 1
/* Set to 1 to use a non-GMP implementation of integer, in the
standalone Hugs. Set to 0 in the combined GHC-Hugs system,
in which case GNU MP will be used.
*/
#define STANDALONE_INTEGER 1
/* Enable a crude profiler which counts BCO entries, bytes allocated
and bytecode insns executed on a per-fn basis. Used for assessing
the effect of the simplifier/optimiser.
*/
#undef CRUDE_PROFILING
/* Is the default default (Int,Double) or (Integer,Double)?
*/
#define DEFAULT_BIGNUM 1
/* Turn bytecode interpreter support on/off.
*/
#define INTERPRETER 1
......@@ -213,10 +202,6 @@
#define NO_REGS
/* --------------------------------------------------------------------------
* Fancy features
* ------------------------------------------------------------------------*/
/* Define if :xplain should be enabled */
#define EXPLAIN_INSTANCE_RESOLUTION 0
......@@ -270,13 +255,6 @@
#define USE_ADDR_FOR_STRINGS 1
/* --------------------------------------------------------------------------
* Debugging options (intended for use by maintainers)
* ------------------------------------------------------------------------*/
/* Define if debugging generated bytecodes or the bytecode interpreter */
#define DEBUG_CODE 1
/* --------------------------------------------------------------------------
* Experimental features
* These are likely to disappear/change in future versions and should not
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment