From 1eac6c122d6a62d8ce3eeced8c3b1b6b97108498 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Mon, 28 Jan 2008 21:13:46 +0000 Subject: 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. --- src/lisp/Makefile.in | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'src/lisp') 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|\")))"' \ -- cgit v1.2.3