diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-06-12 17:35:50 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-06-12 17:35:50 +0000 |
| commit | 9e86e73fe1aa9115233952ffbf8188b169677d6e (patch) | |
| tree | 25c19d0732c1af479e9442c7476d122c00f4920c /src/algebra/mlift.spad.jhd.pamphlet | |
| parent | 9e07dcd91c45bf8b22d932321f5c97e931ffe8ac (diff) | |
| download | open-axiom-9e86e73fe1aa9115233952ffbf8188b169677d6e.tar.gz | |
Support retract of domains.
* interp/i-funsel.boot (findFunctionInDomain): Don't look into
categories.
* interp/i-coerce.boot (retract): Retract domain objects too.
(retract1): Do it.
(coerceInteractive): Likewise.
* interp/nrunfast.boot (getDomainCategoriesVector): New.
(getDomainCompleteCategories): Likewise.
Diffstat (limited to 'src/algebra/mlift.spad.jhd.pamphlet')
0 files changed, 0 insertions, 0 deletions