diff options
Diffstat (limited to 'src/interp/c-util.boot')
-rw-r--r-- | src/interp/c-util.boot | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/interp/c-util.boot b/src/interp/c-util.boot index 8a305c37..b16d52ef 100644 --- a/src/interp/c-util.boot +++ b/src/interp/c-util.boot @@ -740,7 +740,9 @@ extendsCategoryForm(domain,form,form') == -- if we are compiling the category `form', then we should look at -- the body as provided in the current definition, not a version -- possibly compiled previously that may have changed. - form = $functorForm => + -- FIXME: should not we go all the way down and implement + -- polynormic recursion? + domain = "$" and form = $definition => extendsCategoryForm(domain, $currentCategoryBody, form') isCategoryForm(form,$EmptyEnvironment) => --Constructs the associated vector |