diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-04-23 06:18:38 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-04-23 06:18:38 +0000 |
| commit | 91d664eb6380ea490a6d30d0230f907a613652d3 (patch) | |
| tree | dd3bf796a152087d94776490a13a7ef31ed9b2bf /src/interp/i-analy.boot | |
| parent | b825ed51bc11564e35f84a88bbb43fbe2ac51d99 (diff) | |
| download | open-axiom-91d664eb6380ea490a6d30d0230f907a613652d3.tar.gz | |
* lisp/core.lisp.in: Export basic types and compiler data types.
* interp/modemap.boot (knownInfo): Fix latent bug uncovered by
type declarations.
* boot/ast.boot: Remove type definitions.
(bfIN): Handle DOT as loop variable.
(bfON): Likewise. Allow a loop variable to iterator over its own
tails.
* boot/parser.boot (bfTyping): Simplify.
(bpSimpleMapping): Fix thinko.
Diffstat (limited to 'src/interp/i-analy.boot')
| -rw-r--r-- | src/interp/i-analy.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/i-analy.boot b/src/interp/i-analy.boot index 718897ec..7a404c41 100644 --- a/src/interp/i-analy.boot +++ b/src/interp/i-analy.boot @@ -705,7 +705,7 @@ sayIntelligentMessageAboutOpAvailability(opName, nArgs) == ++ Returns the `conceptual' type of `type', e.g., the type of type in ++ the abstract semantics, not necessarily the one from implementation ++ point of view. -conceptualType: %Thing -> %List +conceptualType: %Thing -> %Mode conceptualType type == isPartialMode type => $Mode member(type,[$Mode,$Domain,$Category]) => $Type |