[project @ 2000-03-10 18:28:26 by sewardj]
authorsewardj <unknown>
Fri, 10 Mar 2000 18:28:26 +0000 (18:28 +0000)
committersewardj <unknown>
Fri, 10 Mar 2000 18:28:26 +0000 (18:28 +0000)
Nuke a substantial number of no-longer-supported options.

ghc/includes/options.h

index ecd8f55..4b48294 100644 (file)
@@ -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 $
  * ------------------------------------------------------------------------*/
 
 
 #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 
 #define NO_REGS
 
 
-/* --------------------------------------------------------------------------
- * Fancy features
- * ------------------------------------------------------------------------*/
-
 /* Define if :xplain should be enabled                                    */
 #define EXPLAIN_INSTANCE_RESOLUTION 0
 
 
 
 /* --------------------------------------------------------------------------
- * 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
  * be used by most people..