Re: [Scheme-reports] Some comments after reading the r7rs public draft Per Bothner (11 Jun 2012 05:58 UTC)

Re: [Scheme-reports] Some comments after reading the r7rs public draft Per Bothner 11 Jun 2012 05:57 UTC

In Kawa:

Implicit forcing happens for:

- arguments to arithmetic functions;

- the sequence and the index in indexing operations, like string-ref;

- the operands to eqv? and equal? are forced, though the operands to eq?
are not;

- port operands to port functions;

- the value to be emitted by a display but not the value to be emitted
by a write;

- the function in an application.

Though: "The exact behavior for when implicit forcing [happens] is a
work-in-progress:
There are certainly places where implicit forcing doesn't happen while it
should; there are also likely to be places where implicit forcing happens
while it is undesirable."

http://www.gnu.org/software/kawa/Lazy-evaluation.html#Implicit-forcing
--
	--Per Bothner
per@bothner.com   http://per.bothner.com/

_______________________________________________
Scheme-reports mailing list
Scheme-reports@scheme-reports.org
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports