diff options
Diffstat (limited to 'src/interp/modemap.boot')
| -rw-r--r-- | src/interp/modemap.boot | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/interp/modemap.boot b/src/interp/modemap.boot index 25172e4f..041289bf 100644 --- a/src/interp/modemap.boot +++ b/src/interp/modemap.boot @@ -63,9 +63,8 @@ addDomain(domain,e) == -- ??? we should probably augment $DummyFunctorNames with CATEGORY -- ??? so that we don't have to do this special check here. Investigate. isQuasiquote domain => e - if not isCategoryForm(domain,e) and - not member(name,'(Mapping CATEGORY)) then - unknownTypeError name + if not isCategoryForm(domain,e) and name ~= "Mapping" then + unknownTypeError name e --is not a functor domainMember(dom,domList) == or/[modeEqual(dom,d) for d in domList] |