;;; These are global variables used throughout the compiler.
 
 ;;; Configuration stuff
 
 (define *prelude-unit-filename* "$PRELUDE/Prelude.hu")
 
 (define *haskell-compiler-version* "Y2.0.5")
 (define *haskell-compiler-update* "")
 
 
 ;;; Control over the init process
 (define *haskell-initialized?* '#f)
 
 ;;; Error control
 (define *break-on-error?* '#f)
 (define *never-break?* '#f)
 
 (define *runtime-abort* '())
 
 (define *recoverable-error-handler* '())
 (define *error-output-port* '())  ; initialized later
 
 (define *context* '#f)  ; ast node being compiled.
 
 (define *unit* '())
 
 (define *standard-module-default* '())
 
 (define *undefined-def* '())
 (define *printer-class* '())
 (define *printers* '(phase-time))
 
 (define *all-printers*
   '(phase-time time compiling loading reading extension
     parse import type-decl scope depend
     type cfn depend2
     flic optimize optimize-extra strictness codegen codegen-flic
     dumper dump-stat))
 
 ;;; Global context stuff 
 ;;; ***This variable is actually only used by the parser.
 
 (define *current-file* '())
 
 (define *printed-tyvars* '())
 
 
 ;;; Used by the symbol table routines
 
 (define *modules* '())  ; maps module name -> module structure
 (define *module* '())   ; current module
 (define *module-name* '())
 (define *symbol-table* '())  ; part of the current module
 (define *inverted-symbol-table* '())  ; maps def -> localname
 (define *fixity-table* '())  ; name -> fixity
 (define *suffix-table* '())  ; name -> int (for uniquifying names)
 
 (define *special-parse-for-type-macros* '#f)
 
 ;;; These are for diagnostic purposes only
 
 (define *big-let* '())
 
 (define *show-end-of-phase* '#f)
 
 ;;; This is used to configure error messages & responses.
 
 (define *emacs-mode* '#f)
 
 ;;; This is used to stash the Prelude symbol environment
 
 (define *prelude-symbol-table* '())
 (define *prelude-fixity-table* '())
 (define *prelude-inverted-symbol-table* '())