[Compiler-sig] dipping my toe in...

[Jeremy Hylton]

>>>>> "SM" == Skip Montanaro <skip@pobox.com> writes:

  SM> -- 'type' is a bad name
  SM>               | Raise(expr? type, expr? inst, expr? tback)

  SM> How about "exc" instead?

Yes.

  SM> Does the "?" imply the preceeding fields must be present if that
  SM> is?  For example, if we have an "inst", does that imply we also
  SM> have a "type" the same way optional args work in Python?

It's not that powerful.  It just says that the type is optional.  So
the Raise ctor above would actually accept a raise statement with only
a traceback.

Jeremy