[M3devel] bug in Fmt.F
mika at async.caltech.edu
mika at async.caltech.edu
Sun Nov 16 20:59:41 CET 2014
Ah, sorry, my choice of words was imprecise. By "does not terminate" I do
indeed mean that it raises the exception. I should have written "does
not terminate normally, raises an exception"
(My runtime turns the uncaught exception into abort, that is,
non-termination of the F procedure.)
Mika
"Rodney M. Bates" writes:
>By my reading, I can see how this fails. There is an inconsistent
>invariant in Fmt.ReadSpec. However, by reading, and confirmed by experiment,
>it should raise Convert.Failed. Is your loop happening outside the call on
>Fmt.F?
>
>On 11/16/2014 04:24 AM, mika at async.caltech.edu wrote:
>> Fmt.F("%s","X")
>>
>> produces "X" (right)
>>
>> Fmt.F("% %s", "X")
>>
>> produces "% X" (right)
>>
>> Fmt.F("%%s", "X")
>>
>> does not terminate (wrong)--should produce "%X"
>>
>> to produce "%X" workaround is
>>
>> Fmt.F("%s%s", "%", "X")
>>
>> but it really is a bug.
>>
>> Mika
>>
>>
>
>--
>Rodney Bates
>rodney.m.bates at acm.org
More information about the M3devel
mailing list