[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