diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-10-21 08:26:37 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-10-21 08:26:37 +0000 |
| commit | ce9a3f7062228b84610f0effa0dec5a4e87095f4 (patch) | |
| tree | 2ae7eafc43771b8496ec7a98980bbaf196a63b87 /src/share/algebra/category.daase | |
| parent | 658e0a462f130140a3b18e284a7f5b1e580e1e43 (diff) | |
| download | open-axiom-ce9a3f7062228b84610f0effa0dec5a4e87095f4.tar.gz | |
* interp/define.boot (compDefineCapsuleFunction): Reimplement
signature inference.
(hasSigInTargetCategory): Implement what the documentation says:
infer the signature from the target category, not local declaration.
Diffstat (limited to 'src/share/algebra/category.daase')
| -rw-r--r-- | src/share/algebra/category.daase | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/share/algebra/category.daase b/src/share/algebra/category.daase index f070e538..0a0d8406 100644 --- a/src/share/algebra/category.daase +++ b/src/share/algebra/category.daase @@ -1,5 +1,5 @@ -(198618 . 3528046427) +(198618 . 3528172871) ((((-765)) . T)) ((((-765)) . T)) ((((-765)) . T)) |