diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-03-02 10:07:19 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-03-02 10:07:19 +0000 |
| commit | bc50325269c6765b78b8a7f8df0baf96d6dff4e8 (patch) | |
| tree | 625f7892ecc61ffa2226dcd544f74b0020d49583 /src/input | |
| parent | 06a195106936c4ff03dcf23eef9351c007c5e48e (diff) | |
| download | open-axiom-bc50325269c6765b78b8a7f8df0baf96d6dff4e8.tar.gz | |
* interp/i-eval.boot (mkEvalable): Exit early on niladic constructors.
* interp/define.boot (compDefineFunctor1): If bootstrapping, mark
functor as incomplete.
* interp/c-util.boot (lookupDefiningFunction): Don't look into
incomplete domains.
Diffstat (limited to 'src/input')
0 files changed, 0 insertions, 0 deletions