diff options
author | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-09 23:18:22 -0800 |
---|---|---|
committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-09 23:18:22 -0800 |
commit | 3465292862da54d168542b62be13790de0cd5988 (patch) | |
tree | 259d52b741cba3391877c529b6261edb71fb00f6 /src/algebra/syntax.spad.pamphlet | |
parent | ea62b3a837416bea218f7a52db80505b8d271dc3 (diff) | |
download | open-axiom-3465292862da54d168542b62be13790de0cd5988.tar.gz |
Switch getDualSignature to avoiding interpreter database
Now that OpenAxiom emits the dual signature data also directly in the
generated executable code for a constructor, there is no no need to
consult the interpreter data base for that information. This change
relies on the previous commit, e.g. getDualSignature should be
considered invalid for builtin constructors. Any instanbility caused
by this patch should be considered a latent bug that should be given
high priority fixing.
Diffstat (limited to 'src/algebra/syntax.spad.pamphlet')
0 files changed, 0 insertions, 0 deletions