aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/syntax.spad.pamphlet
diff options
context:
space:
mode:
authorGabriel Dos Reis <gdr@axiomatics.org>2016-01-09 23:18:22 -0800
committerGabriel Dos Reis <gdr@axiomatics.org>2016-01-09 23:18:22 -0800
commit3465292862da54d168542b62be13790de0cd5988 (patch)
tree259d52b741cba3391877c529b6261edb71fb00f6 /src/algebra/syntax.spad.pamphlet
parentea62b3a837416bea218f7a52db80505b8d271dc3 (diff)
downloadopen-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