diff options
Diffstat (limited to 'src/interp/category.boot')
| -rw-r--r-- | src/interp/category.boot | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/interp/category.boot b/src/interp/category.boot index b7a301b6..d9ad2e7e 100644 --- a/src/interp/category.boot +++ b/src/interp/category.boot @@ -55,8 +55,10 @@ isCategory a == ++ envronement `e'. isCategoryForm: (%Form,%Env) -> %Boolean isCategoryForm(x,e) == - atom x => u:= get(x,"macro",e) => isCategoryForm(u,e) - categoryForm? first x + atom x => + u := macroExpand(x,e) + cons? u and categoryForm? u + categoryForm? x --% Functions for building categories |