diff options
| author | dos-reis <gdr@axiomatics.org> | 2012-02-13 06:26:42 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2012-02-13 06:26:42 +0000 |
| commit | 722618d8f5ca5ba86289bb0e1a6e3b427ab0262f (patch) | |
| tree | 3b461a3df423d5f3f82d7d10d14b8d558bd8365e /src/ChangeLog | |
| parent | e8e935c694c961342c781a6dcfbe636b85547449 (diff) | |
| download | open-axiom-722618d8f5ca5ba86289bb0e1a6e3b427ab0262f.tar.gz | |
* interp/g-util.boot (stripTags): Rename from stripUnionTags.
Adjust callers.
* interp/database.boot (genericInstanceForm): New.
* interp/buildom.boot (parentsOfBuiltinInstance): New.
(builtinInstanceForm): Likewise.
* interp/br-data.boot (genericParentsOf): New.
(parentsOfForm): Use it,
(ancestorsRecur): Likewise.
* interp/br-con.boot (originInOrder): Use parentsOfForm.
Diffstat (limited to 'src/ChangeLog')
| -rw-r--r-- | src/ChangeLog | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index c1833264..73deaa86 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,4 +1,16 @@ -2012-02-12 Gabriel Dos Reis <gdr@cse.tamu.edu> +2012-02-13 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * interp/g-util.boot (stripTags): Rename from stripUnionTags. + Adjust callers. + * interp/database.boot (genericInstanceForm): New. + * interp/buildom.boot (parentsOfBuiltinInstance): New. + (builtinInstanceForm): Likewise. + * interp/br-data.boot (genericParentsOf): New. + (parentsOfForm): Use it, + (ancestorsRecur): Likewise. + * interp/br-con.boot (originInOrder): Use parentsOfForm. + +2012-02-12 Gabriel Dos Reis <gdr@cs.tamu.edu> * interp/define.boot (getCatAncestors): Remove. Adjust caller. (depthAssoc): Tidy. |