diff options
| author | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-21 20:41:53 -0800 |
|---|---|---|
| committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-21 20:41:53 -0800 |
| commit | 28501b2d6ae273f3be80b087f4e508ffcff3c182 (patch) | |
| tree | a5c60bf60309952729342f67eedc2a5cc7889b13 /src/input/fr2.input.pamphlet | |
| parent | e572854c495b63ee446831a7d61a27e5bc84550f (diff) | |
| download | open-axiom-28501b2d6ae273f3be80b087f4e508ffcff3c182.tar.gz | |
getConstructorAncestorsFromDB: get them from generated code
Ancestors for category constructors are stored in databases with
parameter names of the form #1, #2, etc. called "formals", instead of
the user-writtern parameters in the input souce code. However, the
ancestors as previously stored in generated code used the input
source-level parameter names. Changed to formals, so no rewrite
needed before making databases.
Diffstat (limited to 'src/input/fr2.input.pamphlet')
0 files changed, 0 insertions, 0 deletions