Re: Roundtripping Solved

From: Arcane Jill (
Date: Fri Dec 17 2004 - 02:55:40 CST

  • Next message: Arcane Jill: "RE: Roundtripping Solved"

    This probably doesn't make any difference, Peter, but just so we're talking
    the same language as each other, I had actually defined f() to return a
    stream of Unicode characters, not a stream of UTF-16 code units, so I would
    have written this as:

    UTF-16(f(s8)) = UTF-16(utf_8_decode(s8))

    which simplifies to

    f(s8) = utf_8_decode(s8)

    This is probably not terribly important to your argument - I guess you've
    defined your f differently from mine - but it is good to keep the code units
    versus code points distinction, for clarity.


    -----Original Message-----
    From: []On
    Behalf Of Peter Kirk
    Sent: 16 December 2004 14:26
    To: Lars Kristan
    Cc: Unicode
    Subject: Re: Roundtripping Solved

    3. for all valid UTF-8 strings s8, f(s8) = UTF-16(s8)

    This archive was generated by hypermail 2.1.5 : Fri Dec 17 2004 - 03:22:37 CST