[Types-sig] Re: [Python-Dev] Revive the types sig?

[Jeremy Hylton]

>>>>> "BAW" == Barry A Warsaw <barry@digicool.com> writes:
>>>>> "GvR" == Guido van Rossum <guido@digicool.com> writes:

  GvR> I'm not sure this is viable.  I believe Jeremy's compiler
  GvR> package actually doesn't have its own parser -- it uses the
  GvR> parser module (which invokes Python's standard parse) and then
  GvR> transmogrifies the parse tree into something more usable, but
  GvR> it doesn't change the syntax!  Quixote can get away with this
  GvR> because their only change is giving a different meaning to
  GvR> stand-alone string literals.  But for type annotations this
  GvR> doesn't give enough freedom, I expect.

  BAW> I thought PTL definitely included a "template" declaration
  BAW> keyword, a la, def, so they must have some solution here.  MEMs
  BAW> guys?

I believe they use something like buf.replace("template", "def").
This won't cut it for type declarations, obviously :-).

Jeremy