diff options
Diffstat (limited to 'src/interp')
| -rw-r--r-- | src/interp/i-analy.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/i-analy.boot b/src/interp/i-analy.boot index cfd483e5..8bf457d8 100644 --- a/src/interp/i-analy.boot +++ b/src/interp/i-analy.boot @@ -623,13 +623,13 @@ sayIntelligentMessageAboutOpAvailability(opName, nArgs) == nil -++ Returns the `conceptual' type of `type', e.g., the type type in +++ 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 type == isPartialMode type => $Mode - member(type,$LangSupportTypes) => $Type + member(type,[$Mode,$Domain,$Category]) => $Type categoryForm?(type) => $Category $Domain |