diff options
author | dos-reis <gdr@axiomatics.org> | 2011-11-13 04:23:19 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-11-13 04:23:19 +0000 |
commit | 6c1c0bcb2816b92639a2a1e55f66504ae712d9d1 (patch) | |
tree | 3f394d12f04660e3557c72630e83ac11ac6ff405 | |
parent | 9cd53b14b6a45a5b55f68d2ca0276dc0b6b1d9e8 (diff) | |
download | open-axiom-6c1c0bcb2816b92639a2a1e55f66504ae712d9d1.tar.gz |
* interp/br-data.boot (buildLibdbConEntry): Exit early if argument
is a builtin constructor.
(mkDependentsHashTable): Filter out builtin constructors.
* interp/cattable.boot (genCategoryTable): Likewise.
* interp/database.boot (getConstructorModemap): Load the
contructor if necessary and try again before failing.
* interp/define.boot (NRTgetLookupFunction): Handle multiple
inheritance of domains.
(getBaseExports): Rename from getExportCategory. Adjust caller.
Handle multiple inheritance of domains.
(extendsCategory): Do not reference $functorForm. Take it from
the DB argument.
(getTargetFromRhs): Do not optimize codegen.
-rw-r--r-- | src/ChangeLog | 16 | ||||
-rw-r--r-- | src/algebra/Makefile.in | 81 | ||||
-rw-r--r-- | src/interp/br-data.boot | 8 | ||||
-rw-r--r-- | src/interp/cattable.boot | 3 | ||||
-rw-r--r-- | src/interp/database.boot | 3 | ||||
-rw-r--r-- | src/interp/define.boot | 13 |
6 files changed, 104 insertions, 20 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index d992249e..1b8b723a 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,19 @@ +2011-11-12 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * interp/br-data.boot (buildLibdbConEntry): Exit early if argument + is a builtin constructor. + (mkDependentsHashTable): Filter out builtin constructors. + * interp/cattable.boot (genCategoryTable): Likewise. + * interp/database.boot (getConstructorModemap): Load the + contructor if necessary and try again before failing. + * interp/define.boot (NRTgetLookupFunction): Handle multiple + inheritance of domains. + (getBaseExports): Rename from getExportCategory. Adjust caller. + Handle multiple inheritance of domains. + (extendsCategory): Do not reference $functorForm. Take it from + the DB argument. + (getTargetFromRhs): Do not optimize codegen. + 2011-11-11 Gabriel Dos Reis <gdr@cs.tamu.edu> * interp/define.boot (getTargetFromRhs): Do not try to record diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in index b09976bc..49f8eb56 100644 --- a/src/algebra/Makefile.in +++ b/src/algebra/Makefile.in @@ -133,6 +133,7 @@ strap-0/SGROUP.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) strap-0/OAMON.$(FASLEXT): strap-0/OASGP.$(FASLEXT) \ strap-0/ABELMON.$(FASLEXT) strap-0/MONOID.$(FASLEXT): strap-0/SGROUP.$(FASLEXT) +strap-0/GROUP.$(FASLEXT): strap-0/MONOID.$(FASLEXT) strap-0/ABELGRP.$(FASLEXT): strap-0/CABMON.$(FASLEXT) \ strap-0/LLINSET.$(FASLEXT) strap-0/OAGROUP.$(FASLEXT): strap-0/OCAMON.$(FASLEXT) \ @@ -228,6 +229,8 @@ strap-0/HYPCAT.$(FASLEXT): strap-0/TYPE.$(FASLEXT) strap-0/AHYP.$(FASLEXT): strap-0/TYPE.$(FASLEXT) strap-0/ELEMFUN.$(FASLEXT): strap-0/TYPE.$(FASLEXT) +strap-0/SEGCAT.$(FASLEXT): strap-0/KVTFROM.$(FASLEXT) +strap-0/SEGXCAT.$(FASLEXT): strap-0/SEGCAT.$(FASLEXT) strap-0/VECTCAT.$(FASLEXT): strap-0/A1AGG.$(FASLEXT) \ strap-0/ABELMON.$(FASLEXT) strap-0/RING.$(FASLEXT) \ @@ -252,6 +255,9 @@ strap-0/POLYCAT.$(FASLEXT): strap-0/PDRING.$(FASLEXT) \ strap-0/FAMR.$(FASLEXT) strap-0/EVALAB.$(FASLEXT) \ strap-0/RETRACT.$(FASLEXT) strap-0/FLINEXP.$(FASLEXT) +strap-0/PDRING.$(FASLEXT): strap-0/RING.$(FASLEXT) \ + strap-0/PDSPC.$(FASLEXT) + strap-0/UPOLYC.$(FASLEXT): strap-0/POLYCAT.$(FASLEXT) \ strap-0/ELTAB.$(FASLEXT) strap-0/DIFRING.$(FASLEXT) \ strap-0/DIFEXT.$(FASLEXT) strap-0/STEP.$(FASLEXT) \ @@ -335,6 +341,34 @@ strap-0/SUP.$(FASLEXT): strap-0/UPOLYC.$(FASLEXT) strap-0/PR.$(FASLEXT) strap-0/TABLE.$(FASLEXT): strap-0/TBAGG.$(FASLEXT) +strap-0/EQ.$(FASLEXT): strap-0/TYPE.$(FASLEXT) \ + strap-0/IEVALAB.$(FASLEXT) strap-0/KOERCE.$(FASLEXT) \ + strap-0/BOOLEAN.$(FASLEXT) strap-0/EVALAB.$(FASLEXT) \ + strap-0/ABELSG.$(FASLEXT) strap-0/ABELGRP.$(FASLEXT) \ + strap-0/MONOID.$(FASLEXT) strap-0/GROUP.$(FASLEXT) \ + strap-0/RING.$(FASLEXT) strap-0/BMODULE.$(FASLEXT) \ + strap-0/COMRING.$(FASLEXT) strap-0/MODULE.$(FASLEXT) \ + strap-0/INTDOM.$(FASLEXT) strap-0/PDRING.$(FASLEXT) \ + strap-0/FIELD.$(FASLEXT) strap-0/VSPACE.$(FASLEXT) \ + strap-0/ES.$(FASLEXT) + +strap-0/UNISEG.$(FASLEXT): strap-0/SEGCAT.$(FASLEXT) \ + strap-0/SETCAT.$(FASLEXT) strap-0/SEGXCAT.$(FASLEXT) \ + strap-0/ORDRING.$(FASLEXT) + +strap-0/SYNTAX.$(FASLEXT): strap-0/UTYPE.$(FASLEXT) \ + strap-0/SETCAT.$(FASLEXT) strap-0/RETRACT.$(FASLEXT) \ + strap-0/INT.$(FASLEXT) strap-0/DFLOAT.$(FASLEXT) \ + strap-0/IDENT.$(FASLEXT) strap-0/STRING.$(FASLEXT) \ + strap-0/KOERCE.$(FASLEXT) strap-0/INFORM.$(FASLEXT) + +strap-0/FR.$(FASLEXT): strap-0/INTDOM.$(FASLEXT) \ + strap-0/DIFEXT.$(FASLEXT) strap-0/FEVALAB.$(FASLEXT) \ + strap-0/ALGEBRA.$(FASLEXT) strap-0/FRETRCT.$(FASLEXT) + +strap-0/PATTERN.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) \ + strap-0/RETRACT.$(FASLEXT) + ## Bootstrap stage 1 dependencies. ## At this stage, we attempt to compile domains essential for completing ## the bootstrap process (stage 2). Those that were compiled at stage 0 @@ -344,7 +378,8 @@ strap-1/BASTYPE.$(FASLEXT): strap-1/TYPE.$(FASLEXT) \ strap-0/BOOLEAN.$(FASLEXT) strap-1/SETCAT.$(FASLEXT): strap-1/BASTYPE.$(FASLEXT) \ - strap-0/SINT.$(FASLEXT) strap-0/STRING.$(FASLEXT) + strap-0/SINT.$(FASLEXT) strap-0/STRING.$(FASLEXT) \ + strap-0/OUTFORM.$(FASLEXT) strap-1/LOGIC.$(FASLEXT): strap-1/TYPE.$(FASLEXT) @@ -370,7 +405,7 @@ strap-1/EUCDOM.$(FASLEXT): strap-1/PID.$(FASLEXT) \ strap-0/BOOLEAN.$(FASLEXT) strap-1/UFD.$(FASLEXT): strap-1/GCDDOM.$(FASLEXT) \ - strap-1/BOOLEAN.$(FASLEXT) + strap-1/BOOLEAN.$(FASLEXT) strap-0/FR.$(FASLEXT) strap-1/LLINSET.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) @@ -464,7 +499,8 @@ strap-1/INS.$(FASLEXT): strap-1/UFD.$(FASLEXT) strap-1/EUCDOM.$(FASLEXT) \ strap-1/KONVERT.$(FASLEXT) strap-1/RETRACT.$(FASLEXT) \ strap-1/LINEXP.$(FASLEXT) strap-1/CFCAT.$(FASLEXT) \ strap-1/REAL.$(FASLEXT) strap-1/CHARZ.$(FASLEXT) \ - strap-1/STEP.$(FASLEXT) strap-1/PATMAB.$(FASLEXT) + strap-1/STEP.$(FASLEXT) strap-1/PATMAB.$(FASLEXT) \ + strap-0/PATTERN.$(FASLEXT) strap-1/FPS.$(FASLEXT): strap-1/RNS.$(FASLEXT) @@ -520,7 +556,8 @@ strap-1/UPOLYC.$(FASLEXT): strap-1/POLYCAT.$(FASLEXT) \ strap-1/ELTAB.$(FASLEXT) strap-1/DIFRING.$(FASLEXT) \ strap-1/DIFEXT.$(FASLEXT) strap-1/STEP.$(FASLEXT) \ strap-1/COMRING.$(FASLEXT) strap-1/INTDOM.$(FASLEXT) \ - strap-1/FIELD.$(FASLEXT) strap-1/ALGEBRA.$(FASLEXT) + strap-1/FIELD.$(FASLEXT) strap-1/ALGEBRA.$(FASLEXT) \ + strap-1/SAOS.$(FASLEXT) strap-1/PFECAT.$(FASLEXT): strap-1/UFD.$(FASLEXT) strap-1/CHARZ.$(FASLEXT) @@ -537,6 +574,8 @@ strap-1/QFCAT.$(FASLEXT): strap-1/FIELD.$(FASLEXT) \ strap-1/OPERCAT.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) \ strap-0/OUTFORM.$(FASLEXT) strap-0/BOOLEAN.$(FASLEXT) +strap-1/ARR2CAT.$(FASLEXT): strap-1/HOAGG.$(FASLEXT) + strap-1/BTAGG.$(FASLEXT): strap-1/ORDSET.$(FASLEXT) \ strap-1/BOOLE.$(FASLEXT) strap-1/LOGIC.$(FASLEXT) \ strap-1/A1AGG.$(FASLEXT) @@ -563,14 +602,16 @@ strap-1/A1AGG.$(FASLEXT): strap-1/FLAGG.$(FASLEXT) strap-1/FLAGG.$(FASLEXT): strap-1/LNAGG.$(FASLEXT) strap-1/LNAGG.$(FASLEXT): strap-1/IXAGG.$(FASLEXT) \ - strap-1/CLAGG.$(FASLEXT) strap-1/ETLAB.$(FASLEXT) + strap-1/CLAGG.$(FASLEXT) strap-1/ETLAB.$(FASLEXT) \ + strap-0/UNISEG.$(FASLEXT) strap-1/IXAGG.$(FASLEXT): strap-1/HOAGG.$(FASLEXT) \ strap-1/ELTAGG.$(FASLEXT) strap-1/HOAGG.$(FASLEXT): strap-1/AGG.$(FASLEXT) \ strap-1/KOERCE.$(FASLEXT) strap-1/BASTYPE.$(FASLEXT) \ - strap-1/SETCAT.$(FASLEXT) strap-1/EVALAB.$(FASLEXT) + strap-1/SETCAT.$(FASLEXT) strap-1/EVALAB.$(FASLEXT) \ + strap-0/EQ.$(FASLEXT) strap-1/SETAGG.$(FASLEXT): strap-1/CLAGG.$(FASLEXT) strap-1/SETCAT.$(FASLEXT) @@ -589,10 +630,25 @@ strap-1/SEXCAT.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) \ strap-1/CTORCAT.$(FASLEXT): strap-1/OPERCAT.$(FASLEXT) \ strap-0/CTORKIND.$(FASLEXT) strap-0/LIST.$(FASLEXT) \ - strap-0/OVERSET.$(FASLEXT) + strap-0/OVERSET.$(FASLEXT) strap-1/ARITY.$(FASLEXT) + +strap-1/MATCAT.$(FASLEXT): strap-1/ARR2CAT.$(FASLEXT) \ + strap-1/INTDOM.$(FASLEXT) strap-1/FIELD.$(FASLEXT) \ + strap-1/EUCDOM.$(FASLEXT) + +strap-1/VECTCAT.$(FASLEXT): strap-1/A1AGG.$(FASLEXT) \ + strap-1/ABELSG.$(FASLEXT) strap-1/ABELMON.$(FASLEXT) \ + strap-1/ABELGRP.$(FASLEXT) strap-1/MONOID.$(FASLEXT) \ + strap-1/RING.$(FASLEXT) strap-1/RADCAT.$(FASLEXT) + +strap-1/ARITY.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) \ + strap-1/RETRACT.$(FASLEXT) strap-0/NNI.$(FASLEXT) \ + strap-0/BOOLEAN.$(FASLEXT) strap-0/SINT.$(FASLEXT) \ + strap-0/OUTFORM.$(FASLEXT) strap-1/CTORCALL.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) \ - strap-1/CTORCAT.$(FASLEXT) strap-0/LIST.$(FASLEXT) + strap-1/CTORCAT.$(FASLEXT) strap-0/LIST.$(FASLEXT) \ + strap-0/SYNTAX.$(FASLEXT) strap-1/OUTFORM.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) \ strap-0/VOID.$(FASLEXT) strap-0/STRING.$(FASLEXT) \ @@ -660,7 +716,7 @@ strap-1/LIST.$(FASLEXT): strap-1/KOERCE.$(FASLEXT) \ strap-1/VECTOR.$(FASLEXT): strap-1/IVECTOR.$(FASLEXT) strap-1/IVECTOR.$(FASLEXT): strap-1/VECTCAT.$(FASLEXT) \ - strap-1/IARRAY1.$(FASLEXT) + strap-1/IARRAY1.$(FASLEXT) strap-0/MATRIX.$(FASLEXT) strap-1/IARRAY1.$(FASLEXT): strap-1/A1AGG.$(FASLEXT) \ strap-0/PRIMARR.$(FASLEXT) @@ -680,7 +736,14 @@ strap-1/TABLE.$(FASLEXT): strap-1/TBAGG.$(FASLEXT) strap-1/IBITS.$(FASLEXT): strap-1/BTAGG.$(FASLEXT) +strap-1/CTOR.$(FASLEXT): strap-1/CTORCAT.$(FASLEXT) \ + strap-1/IDENT.$(FASLEXT) strap-1/MAYBE.$(FASLEXT) + +strap-1/CATCTOR.$(FASLEXT): strap-1/CTORCAT.$(FASLEXT) \ + strap-1/KOERCE.$(FASLEXT) strap-1/CTOR.$(FASLEXT) +strap-1/SAOS.$(FASLEXT): strap-1/ORDSET.$(FASLEXT) \ + strap-1/KONVERT.$(FASLEXT) strap-0/SYMBOL.$(FASLEXT) ## Bootstrap stage 2 dependencies. ## At this stage we recompile everything from stage 1, including diff --git a/src/interp/br-data.boot b/src/interp/br-data.boot index d4d41461..dbc7eb16 100644 --- a/src/interp/br-data.boot +++ b/src/interp/br-data.boot @@ -94,11 +94,11 @@ buildLibdb(:options) == --called by buildDatabase (database.boot) removeFile '"temp.text" buildLibdbConEntry conname == - null getConstructorModemap conname => nil + builtinConstructor? conname => nil abb:= getConstructorAbbreviationFromDB conname $conname := conname - conform := getConstructorFormFromDB conname or [conname] --hack for Category,.. - $conform := dbMkForm substitute('T,"T$",conform) + conform := getConstructorFormFromDB conname + $conform := dbMkForm substitute("T","T$",conform) null $conform => nil $exposed? := (isExposedConstructor conname => '"x"; '"n") $doc := getConstructorDocumentationFromDB conname @@ -441,7 +441,7 @@ getDefaultPackageClients con == --called by mkUsersHashTable --============================================================================ mkDependentsHashTable() == --called by buildDatabase (database.boot) $depTb := MAKE_-HASH_-TABLE() - for nam in allConstructors() repeat + for nam in allConstructors() | not builtinConstructor? nam repeat for con in getArgumentConstructors nam repeat tableValue($depTb,con) := [nam,:tableValue($depTb,con)] for [k,:v] in entries $depTb repeat diff --git a/src/interp/cattable.boot b/src/interp/cattable.boot index a25c91b5..4cd1d444 100644 --- a/src/interp/cattable.boot +++ b/src/interp/cattable.boot @@ -61,7 +61,8 @@ genCategoryTable() == genTempCategoryTable() domainTable := [addDomainToTable(con,getConstrCat getConstructorCategory con) - for con in allConstructors() | getConstructorKindFromDB con is "domain"] + for con in allConstructors() | not builtinFunctorName? con + and getConstructorKindFromDB con is "domain"] -- $nonLisplibDomains, $noCategoryDomains are set in BUILDOM BOOT specialDs := setDifference($nonLisplibDomains,$noCategoryDomains) domainTable:= [:[addDomainToTable(id, getConstrCat eval([id]).3) diff --git a/src/interp/database.boot b/src/interp/database.boot index dc942f85..648ce919 100644 --- a/src/interp/database.boot +++ b/src/interp/database.boot @@ -82,7 +82,8 @@ getConstructorAncestorsFromDB ctor == getConstructorModemap: %Constructor -> %Mode getConstructorModemap ctor == GETDATABASE(ctor, 'CONSTRUCTORMODEMAP) - + or dbConstructorModemap loadDBIfNecessary constructorDB ctor + getConstructorFormFromDB: %Constructor -> %Form getConstructorFormFromDB ctor == GETDATABASE(ctor,"CONSTRUCTORFORM") diff --git a/src/interp/define.boot b/src/interp/define.boot index c13b52f7..5e46a464 100644 --- a/src/interp/define.boot +++ b/src/interp/define.boot @@ -517,15 +517,15 @@ getXmode(x,e) == NRTgetLookupFunction(db,addForm,env) == $why: local := nil domform := dbSubstituteFormals(db,dbConstructorForm db) - exCategory := dbCategory db + cat := dbCategory db addForm isnt [.,:.] => ident? addForm and (m := getmode(addForm,env)) ~= nil and isCategoryForm(m,env) and - extendsCategory(db,domform,exCategory,dbSubstituteFormals(db,m),env) => + extendsCategory(db,domform,cat,dbSubstituteFormals(db,m),env) => 'lookupIncomplete 'lookupComplete addForm := dbSubstituteFormals(db,addForm) - NRTextendsCategory1(db,domform,exCategory,getExportCategory addForm,env) => + NRTextendsCategory1(db,domform,cat,getBaseExports(db,addForm),env) => 'lookupIncomplete [u,msg,:v] := $why SAY '"--------------non extending category----------------------" @@ -537,12 +537,15 @@ NRTgetLookupFunction(db,addForm,env) == SAY '"----------------------------------------------------------" 'lookupComplete -getExportCategory form == +getBaseExports(db,form) == [op,:argl] := form op is 'Record => ['RecordCategory,:argl] op is 'Union => ['UnionCategory,:argl] op is 'Enumeration => ['EnumerationCategory,:argl] op is 'Mapping => ['MappingCategory,:argl] + op is '%Comma => ['Join, + :[getBaseExports(db,substSlotNumbers(x,dbTemplate db,dbConstructorForm db)) + for x in argl]] [[.,target,:tl],:.] := getConstructorModemap op applySubst(pairList($FormalMapVariableList,argl),target) @@ -562,7 +565,7 @@ extendsCategory(db,dom,u,v,env) == v is ["CATEGORY",.,:l] => and/[extendsCategory(db,dom,u,x,env) for x in l] v is ["SubsetCategory",cat,d] => extendsCategory(db,dom,u,cat,env) and isSubset(dom,d,env) - v := substSlotNumbers(v,dbTemplate db,$functorForm) + v := substSlotNumbers(v,dbTemplate db,dbConstructorForm db) extendsCategoryBasic(dom,u,v,env) => true $why := v is ['SIGNATURE,op,sig,:.] => |