aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat
-rw-r--r--src/ChangeLog16
-rw-r--r--src/algebra/Makefile.in81
-rw-r--r--src/interp/br-data.boot8
-rw-r--r--src/interp/cattable.boot3
-rw-r--r--src/interp/database.boot3
-rw-r--r--src/interp/define.boot13
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,:.] =>
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-17 07:16:58 +0000