diff options
author | dos-reis <gdr@axiomatics.org> | 2013-05-09 13:10:13 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2013-05-09 13:10:13 +0000 |
commit | 78a10a3795011b28c3f143512a9b935edbb4e9c9 (patch) | |
tree | c6e71c2ec6e607868243a94f478103844fb49aa7 /src/interp/i-map.boot | |
parent | e688a0421303fb51afe31bb4b36774011bfac76d (diff) | |
download | open-axiom-78a10a3795011b28c3f143512a9b935edbb4e9c9.tar.gz |
* interp/i-special.boot (evalIF): Generate OIL intermediate
instruction %otherwise, not Lisp expression T.
* interp/slam.boot (isRecurrenceRelation): Likewise.
Diffstat (limited to 'src/interp/i-map.boot')
-rw-r--r-- | src/interp/i-map.boot | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/interp/i-map.boot b/src/interp/i-map.boot index 233c41ae..6470fd76 100644 --- a/src/interp/i-map.boot +++ b/src/interp/i-map.boot @@ -86,10 +86,10 @@ addDefMap(['DEF,lhs,mapsig,.,rhs],pred) == -- next check is for bad forms on the lhs of the ==, such as -- numbers, constants. - -- FIXME: this function miguidedly characterizes constant definitions + -- FIXME: this function misguidedly characterizes constant definitions -- as rules definitions. In particular, typed constant definitions - -- are characterized are rules in one part, and announced to user - -- a niladic functions. We try to limit the damage as much as we can. + -- are characterized as rules in one part, and announced to user + -- as niladic functions. We try to limit the damage as much as we can. defineeIsConstant := false if lhs isnt [.,:.] then |