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/scripts/tex | |
| 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/scripts/tex')
0 files changed, 0 insertions, 0 deletions