diff options
author | dos-reis <gdr@axiomatics.org> | 2008-04-14 01:59:56 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-04-14 01:59:56 +0000 |
commit | 663089e7f95f4901a46939ef34c60982dd5aadda (patch) | |
tree | 591d333d98a1eaf5b3c22d57e75ece8c56f9619b /src/interp/define.boot | |
parent | c5659a8580de5b531891c6703465c84add9fbb1b (diff) | |
download | open-axiom-663089e7f95f4901a46939ef34c60982dd5aadda.tar.gz |
Various cleanups.
Diffstat (limited to 'src/interp/define.boot')
-rw-r--r-- | src/interp/define.boot | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/interp/define.boot b/src/interp/define.boot index d99cc278..a9f37559 100644 --- a/src/interp/define.boot +++ b/src/interp/define.boot @@ -191,7 +191,7 @@ macroExpand(x,e) == --not worked out yet macroExpandList(l,e) == -- macros should override niladic props - (l is [name]) and IDENTP name and GETDATABASE(name, 'NILADIC) and + (l is [name]) and IDENTP name and niladicConstructorFromDB name and (u := get(name, 'macro, e)) => macroExpand(u,e) [macroExpand(x,e) for x in l] @@ -229,7 +229,7 @@ makeCategoryPredicates(form,u) == --+ the following function mkCategoryPackage(form is [op,:argl],cat,def) == packageName:= INTERN(STRCONC(PNAME op,'"&")) - packageAbb := INTERN(STRCONC(GETDATABASE(op,'ABBREVIATION),'"-")) + packageAbb := INTERN(STRCONC(getConstructorAbbreviationFromDB op,'"-")) $options:local := [] -- This stops the next line from becoming confused abbreviationsSpad2Cmd ['domain,packageAbb,packageName] @@ -530,7 +530,7 @@ compDefineFunctor1(df is ['DEF,form,signature,$functorSpecialCases,body], $lisplibFunctionLocations := SUBLIS($pairlis,$functionLocations) $lisplibCategoriesExtended := SUBLIS($pairlis,$lisplibCategoriesExtended) -- see NRTsetVector4 for initial setting of $lisplibCategoriesExtended - libFn := GETDATABASE(op','ABBREVIATION) + libFn := getConstructorAbbreviationFromDB op' $lookupFunction: local := NRTgetLookupFunction($functorForm,CADAR $lisplibModemap,$NRTaddForm) --either lookupComplete (for forgetful guys) or lookupIncomplete |