diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-05-15 23:07:19 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-05-15 23:07:19 +0000 |
| commit | 91dd5221505a28465d5407dbcf885cc1688654ea (patch) | |
| tree | 64707e949c15d5b7df748e5abff1381b64777c9b /src/interp | |
| parent | 36ccd718795486dcab9e5004bd14fb82b595c1eb (diff) | |
| download | open-axiom-91dd5221505a28465d5407dbcf885cc1688654ea.tar.gz | |
* interp/compiler.boot (comp2): Don't test for $bootStrapMode.
Diffstat (limited to 'src/interp')
| -rw-r--r-- | src/interp/compiler.boot | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/interp/compiler.boot b/src/interp/compiler.boot index 631e9242..3e951499 100644 --- a/src/interp/compiler.boot +++ b/src/interp/compiler.boot @@ -161,9 +161,8 @@ comp2(x,m,e) == [y,m',e]:= comp3(x,m,e) or return nil --if cons? y and isDomainForm(y,e) then e := addDomain(x,e) --line commented out to prevent adding derived domain forms - m~=m' and ($bootStrapMode or isDomainForm(m',e))=>[y,m',addDomain(m',e)] + m~=m' and isDomainForm(m',e) => [y,m',addDomain(m',e)] --isDomainForm test needed to prevent error while compiling Ring - --$bootStrapMode-test necessary for compiling Ring in $bootStrapMode [y,m',e] comp3(x,m,$e) == |