diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-01-28 21:13:46 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-01-28 21:13:46 +0000 |
| commit | 1eac6c122d6a62d8ce3eeced8c3b1b6b97108498 (patch) | |
| tree | 82aa9a05557e7fc955c32c164eee167045de9917 /src/lisp | |
| parent | a27cc2ac7bf6a0ad60cc6c9f949a988d0444bb4e (diff) | |
| download | open-axiom-1eac6c122d6a62d8ce3eeced8c3b1b6b97108498.tar.gz | |
Support signature declaration in Boot.
* boot/ast.boot (bfUntuple): New.
(bfTagged): Toplevel tags are signatures.
* boot/parser.boot (bpTyping): New.
(bpTagged): Use it.
* boot/translator.boot (genDeclaration): New.
(bpOutItem): Use it.
* interp/compiler.boot: Add type annotations for compiler routines.
* lisp/Makefile.in ($(OUT)/lisp$(EXEEXT)): Don't turn on emit-fn.
Diffstat (limited to 'src/lisp')
| -rw-r--r-- | src/lisp/Makefile.in | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/lisp/Makefile.in b/src/lisp/Makefile.in index 4a466082..8537f1fb 100644 --- a/src/lisp/Makefile.in +++ b/src/lisp/Makefile.in @@ -93,8 +93,7 @@ ifeq (@axiom_lisp_flavor@,gcl) ' sys-ld))) ' \ '(compiler::link (quote ($(FASLS))) "lisp$(EXEEXT)" ' \ ' (format nil "(progn (let ((*load-path* (cons ~S *load-path*))'\ - ' (si::*load-types* ~S))' \ - ' (compiler::emit-fn t))' \ + ' (si::*load-types* ~S)))' \ ' (when (fboundp (quote si::sgc-on))' \ ' (si::sgc-on nil))' \ ' (setq si::*top-level-hook* (read-from-string \"|AxiomCore|::|topLevel|\")))"' \ |