Proposed solution to the "predetermined states" problem Wolfgang Corcoran-Mathe (22 May 2026 23:18 UTC)
Re: Proposed solution to the "predetermined states" problem Wolfgang Corcoran-Mathe (22 May 2026 23:26 UTC)
Re: Proposed solution to the "predetermined states" problem Peter McGoron (23 May 2026 00:02 UTC)
Re: Proposed solution to the "predetermined states" problem Peter McGoron (23 May 2026 01:18 UTC)
Re: Proposed solution to the "predetermined states" problem Peter McGoron (23 May 2026 13:44 UTC)
Re: Proposed solution to the "predetermined states" problem Wolfgang Corcoran-Mathe (23 May 2026 15:15 UTC)
Re: Proposed solution to the "predetermined states" problem Wolfgang Corcoran-Mathe (23 May 2026 16:28 UTC)
Re: Proposed solution to the "predetermined states" problem Peter McGoron (23 May 2026 17:00 UTC)
Re: Proposed solution to the "predetermined states" problem Peter McGoron (23 May 2026 17:02 UTC)
Re: Proposed solution to the "predetermined states" problem Wolfgang Corcoran-Mathe (24 May 2026 17:15 UTC)
Re: Proposed solution to the "predetermined states" problem Peter McGoron (03 Jun 2026 15:05 UTC)
Re: Proposed solution to the "predetermined states" problem Wolfgang Corcoran-Mathe (03 Jun 2026 15:42 UTC)
Re: Proposed solution to the "predetermined states" problem Wolfgang Corcoran-Mathe (03 Jun 2026 16:11 UTC)
Re: Proposed solution to the "predetermined states" problem Peter McGoron (03 Jun 2026 16:15 UTC)
Re: Proposed solution to the "predetermined states" problem Wolfgang Corcoran-Mathe (03 Jun 2026 19:51 UTC)

Re: Proposed solution to the "predetermined states" problem Peter McGoron 03 Jun 2026 16:14 UTC

 > I don't think it does.  The return value of 'port-position' is allowed
to be implementation-dependent only for textual input ports.  For binary
input ports, the position is an exact integer.  Chez and Guile both
enforce this type requirement.

I find it odd that "should" here

 > The get-position procedure (if supplied) should return an exact
integer object representing the current position of the input port. If
not supplied, the custom port will not support the port-position operation.

means (or gets interpreted to mean) that an implementation should reject
procedures that return non-exact integers, and not that the programmer
should only write procedures that return exact integer objects. (Another
reason to dislike R6RS's strictness.)

-- Peter McGoron