diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-01-22 00:17:24 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-01-22 00:17:24 +0000 |
| commit | 1fec2e3a2ab2f97db90e18f03ec1c5df09a306b7 (patch) | |
| tree | 0389de90c0d5f9bc88e7cffe1df082b496fec4db /src | |
| parent | a2de2f06e723208d905a5a98cb4e9016951319a1 (diff) | |
| download | open-axiom-1fec2e3a2ab2f97db90e18f03ec1c5df09a306b7.tar.gz | |
commit forgotten comments
Diffstat (limited to 'src')
| -rw-r--r-- | src/interp/i-spec1.boot | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/interp/i-spec1.boot b/src/interp/i-spec1.boot index d5571fac..0f67fccf 100644 --- a/src/interp/i-spec1.boot +++ b/src/interp/i-spec1.boot @@ -261,6 +261,10 @@ upand x == ms := bottomUp term2 ms isnt [=$Boolean] => nil -- generate an IF expression and let the rest of the code handle it + -- ??? In full generality, this is still incorrect. We should be + -- ??? looking up modemaps to see whether the interpretation is + -- ??? unique and the target type is Boolean before going on + -- ??? generating LISP IF-expression. -- gdr 2008/01/14 cond := [mkAtreeNode "=",mkAtree "false",term1] putTarget(cond,$Boolean) code := [mkAtreeNode "IF",cond,mkAtree "false",term2] @@ -293,6 +297,7 @@ upor x == -- generate an IF expression and let the rest of the code handle it cond := [mkAtreeNode "=",mkAtree "true",term1] putTarget(cond,$Boolean) + -- ??? the following code generation is incorrect. -- gdr code := [mkAtreeNode "IF",cond,mkAtree "true",term2] putTarget(code,$Boolean) bottomUp code |