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/ChangeLog | |
| 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/ChangeLog')
| -rw-r--r-- | src/ChangeLog | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 5bdbf5f8..d60325bf 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,15 @@ +2008-01-28 Gabriel Dos Reis <gdr@cs.tamu.edu> + + 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. + 2008-01-27 Gabriel Dos Reis <gdr@cs.tamu.edu> * boot/Makefile.pamphlet: Remove. |