;;;; -*- Hen -*-

(load "scheme0.ss")

(create)

(call-with-output-file
    "scheme0-pe.scm"
  (lambda (port)
    (pp
     `(module scheme0-pe
              
              (monope polype monotate polytate desugar scheme)
              
          (import scheme (only chicken error include))
          
          ,@(append '((include "scheme0.ss")
                      (include "spec.ss")
                      (include "annotate.ss")
                      (include "analyse.ss"))
                    (map sugartoscheme sugars)
                    (scheme specializer)
                    '((define spec specialize))
                    )
          
          ) port)
    ))

(compile -s -d2 scheme0-pe.scm -j scheme0-pe)
(compile -s -d2 scheme0-pe.import.scm)

(install-extension

 ;; Name of your extension:
  'scheme0-pe

  ;; Files to install for your extension:
  `("scheme0-pe.so" "scheme0-pe.import.so")

  ;; Assoc list with properties for your extension:
  '((version 1.0)))