From 1fec2e3a2ab2f97db90e18f03ec1c5df09a306b7 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Tue, 22 Jan 2008 00:17:24 +0000 Subject: commit forgotten comments --- src/interp/i-spec1.boot | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'src') 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 -- cgit v1.2.3