<div dir="auto"><div><div class="gmail_extra"><div class="gmail_quote">On Nov 12, 2017 19:10, "Guido van Rossum" <<a href="mailto:guido@python.org" target="_blank">guido@python.org</a>> wrote:<br type="attribution"><blockquote class="m_8235786748067175219quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="m_8235786748067175219quoted-text"><div class="gmail_extra"><div class="gmail_quote">On Sun, Nov 12, 2017 at 4:14 AM, Koos Zevenhoven <span dir="ltr"><<a href="mailto:k7hoven@gmail.com" target="_blank">k7hoven@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><span class="m_8235786748067175219m_1291730799070096996gmail-"></span><div class="gmail_extra"><div class="gmail_quote">So actually my question is: What should happen when the annotation is already a string literal?<br></div></div></div></blockquote></div><br clear="all"></div></div><div class="gmail_extra">The PEP answers that clearly (under Implementation):<br></div><div class="m_8235786748067175219quoted-text"><div class="gmail_extra"><br></div><div class="gmail_extra">> If an annotation was already a string, this string is preserved<br>> verbatim.</div><div class="gmail_extra"></div></div></div></blockquote></div></div></div><div dir="auto"><br></div><div dir="auto">Oh sorry, I was looking for a spec, so I somehow assumed I can ignore the gory implementation details just like I routinely ignore things like headers and footers of emails.</div><div dir="auto"><br></div><div dir="auto">There's two thing I don't understand here:</div><div dir="auto"><br></div><div dir="auto">* What does it mean to preserve the string verbatim? No matter how I read it, I can't tell if it's with quotes or without.</div><div dir="auto"><br></div><div dir="auto">Maybe I'm missing some context.</div><div dir="auto"><br></div><div dir="auto"><br></div><div dir="auto">-- Koos (mobile)</div><div dir="auto"><br></div></div>