;;; This should be used to create core symbols for every name exported
;;; by PreludeCore.  This only needs to run when the Prelude definition
;;; changes.  

(define (def->name-string x)
  (symbol->string (def-name x)))


(define (generate-prelude-core-symbols)
  (initialize-compilation)
  (load-compilation-unit *prelude-unit-filename* '#t '#f '#f '#f)
  (let* ((core (table-entry *modules* '|PreludeCore|))
	 (export-table (module-export-table core))
	 (vars '())
	 (classes '())
	 (types '())
	 (constrs '())
	 (syns '())
	 (methods '()))
    (table-for-each
      (lambda (k v)
	(declare (ignore k))
	(let ((def (tuple-2-2 (car v))))
	  (cond ((var? def)
		 (push (def->name-string def) vars))
		((synonym? def)
		 (push (def->name-string def) syns))
		((algdata? def)
		 (push (def->name-string def) types)
		 (dolist (x (cdr v))
		     (push (remove-con-prefix (def->name-string (tuple-2-2 x)))
			   constrs)))
		((class? def)
		 (push (def->name-string def) classes)
		 (dolist (x (cdr v))
		     (push (def->name-string (tuple-2-2 x))
			   methods)))
		(else (error "? strange def")))))
      export-table)
  (call-with-output-file "/tmp/prelude-syms"
      (lambda (port)
	(pprint `(define *haskell-prelude-vars*
		   '((classes ,@classes)
		     (methods ,@methods)
		     (types ,@types)
		     (constructors ,@constrs)
		     (synonyms ,@syns)
		     (values ,@vars)))
		port)))))



(define (create-prelude-init-code defs)
  (let* ((name (def-name def))
	 (sym-name (make-core-symbol-name name)))
    `(define sym-name '())))