* included in the distribution.
*
* $RCSfile: connect.h,v $
- * $Revision: 1.36 $
- * $Date: 2000/04/04 17:35:04 $
+ * $Revision: 1.39 $
+ * $Date: 2000/04/25 17:43:49 $
* ------------------------------------------------------------------------*/
/* --------------------------------------------------------------------------
* Texts, Names, Instances, Classes, Types, Kinds and Modules
* ------------------------------------------------------------------------*/
-extern Text textPrimPrel;
+extern Text textPrelPrim;
extern Text textPrelude;
extern Text textNum; /* used to process default decls */
extern Text textCcall; /* used to process foreign import */
extern Type typeIO;
extern Type typeException;
-extern Module modulePrimPrel;
+extern Module modulePrelPrim;
extern Module modulePrelude;
extern Kind starToStar; /* Type -> Type */
extern Float whnfFloat; /* float value of term in whnf */
extern Long numCells; /* number of cells allocated */
extern Int numGcs; /* number of garbage collections */
+extern int numEnters; /* number of enters */
extern Bool preludeLoaded; /* TRUE => prelude has been loaded */
extern Bool flagAssert; /* TRUE => assert False <e> causes
an assertion failure */
* Environment variables and the registry
*-------------------------------------------------------------------------*/
-/* On Win32 we can use the registry to supplement info in environment
- * variables.
- */
-/* AJG: Commented out for now for development */
-/* #define USE_REGISTRY (HAVE_WINDOWS_H && !__MSDOS__) */
-
-#ifdef USE_REGISTRY
-Bool writeRegString ( String var, String val );
-String readRegString ( String var, String def );
-Int readRegInt ( String var, Int def );
-Bool writeRegInt ( String var, Int val );
-#endif
-
#define N_INSTALLDIR 200
extern char installDir[N_INSTALLDIR];