diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-02-09 02:03:45 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-02-09 02:03:45 +0000 |
| commit | f6c0812a8b16458f096bea7a8dc4326906d2efa0 (patch) | |
| tree | 196dd2701193c08cc5da24c49c08ab6831660198 /src/ChangeLog | |
| parent | 09f2e3d8df2cea0ac51017045b15adadd4dcdf53 (diff) | |
| download | open-axiom-f6c0812a8b16458f096bea7a8dc4326906d2efa0.tar.gz | |
* interp/category.boot (mkCategory): Don't single out List
instantiations in determining NewLocals.
Diffstat (limited to 'src/ChangeLog')
| -rw-r--r-- | src/ChangeLog | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 1ab79262..ebd52469 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,6 +1,11 @@ 2011-02-08 Gabriel Dos Reis <gdr@cs.tamu.edu> - * interp/category.boot(categoryObject?): Rename from isCategory. + * interp/category.boot (mkCategory): Don't single out List + instantiations in determining NewLocals. + +2011-02-08 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * interp/category.boot(categoryObject?): Rename from isCategory. * interp/c-util.boot: Adjust use. * interp/functor.boot: Likewise. * interp/modemap.boot: Likewise. |