diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-01-08 04:28:41 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-01-08 04:28:41 +0000 |
| commit | 8d42d860e9f2fa6b71cfc1840134ad3b2a0a5dc9 (patch) | |
| tree | 9337472021a5bf88da7f8edb1981684b6725b358 /src/boot/ast.boot.pamphlet | |
| parent | 2ccae4d36c4bad637025e668b550c1e72d738193 (diff) | |
| download | open-axiom-8d42d860e9f2fa6b71cfc1840134ad3b2a0a5dc9.tar.gz | |
Automate FFI at Boot level
Diffstat (limited to 'src/boot/ast.boot.pamphlet')
| -rw-r--r-- | src/boot/ast.boot.pamphlet | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/boot/ast.boot.pamphlet b/src/boot/ast.boot.pamphlet index b4f6e76d..b0c2f483 100644 --- a/src/boot/ast.boot.pamphlet +++ b/src/boot/ast.boot.pamphlet @@ -76,8 +76,11 @@ structure Name == Name(Symbol) structure Ast == Command(String) -- includer command Module(String) -- module declaration - Import(String) -- import declaration + Import(String) -- import module + ImportSignature(Name, Signature) -- import function declaration TypeAlias(Name, List, List) -- type alias definition + Signature(Name, Mapping) -- op: S -> T + Mapping(Ast, List) -- (S1, S2) -> T SuffixDot(Ast) -- x . Quote(Ast) -- 'x EqualName(Name) -- =x -- patterns |