diff options
Diffstat (limited to 'src/interp/compiler.boot')
| -rw-r--r-- | src/interp/compiler.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/compiler.boot b/src/interp/compiler.boot index 4825382a..0ff039f3 100644 --- a/src/interp/compiler.boot +++ b/src/interp/compiler.boot @@ -1697,7 +1697,7 @@ compColon([":",f,t],m,e) == t:= t isnt [.,:.] and (t':= assoc(t,getDomainsInScope e)) => t' t = $Category and categoryInstance? f => t - isDomainForm(t,e) and not $insideCategoryIfTrue => + not dbForCategory? db and isDomainForm(t,e) => e := addDomain(db,t,e) t isDomainForm(t,e) or isCategoryForm(t,e) => t |