diff options
Diffstat (limited to 'src/interp/c-util.boot')
-rw-r--r-- | src/interp/c-util.boot | 14 |
1 files changed, 1 insertions, 13 deletions
diff --git a/src/interp/c-util.boot b/src/interp/c-util.boot index be49e6fc..75a8ec60 100644 --- a/src/interp/c-util.boot +++ b/src/interp/c-util.boot @@ -683,24 +683,12 @@ TrimCF() == --% -isKnownCategory: (%Mode,%Env) -> %Boolean -isKnownCategory(c,e) == - c = $Type => true - c = $Category => true - [ctor,:args] := c - ctor = "Join" => true -- don't check arguments yet. - ctor = "SubsetCategory" => true -- ditto - get(ctor,"isCategory",e) => true - false - ---TRACE isKnownCategory - ++ Returns non-nil if `t' is a known type in the environement `e'. diagnoseUnknownType(t,e) == t isnt [.,:.] => t in '($ constant) => t t' := assoc(t,getDomainsInScope e) => t' - (m := getmode(t,e)) and isKnownCategory(m,$CategoryFrame) => t + (m := getmode(t,e)) and isCategoryForm(m,$CategoryFrame) => t string? t => t -- ??? We should not to check for $$ at this stage. -- ??? This is a bug in the compiler that needs to be fixed. |