Call Construct on the super constructor and the ArgumentListEvaluation of
the TemplateLiteral. Maybe like this?

CallExpression : super TemplateLiteral


   1. Let newTarget be GetNewTarget().
      2. If newTarget is undefined, throw a ReferenceError exception.
      3. Let func be GetSuperConstructor().
      4. ReturnIfAbrupt(func).
      5. Let argList be ArgumentListEvaluation(TemplateLiteral)
      6. ReturnIfAbrupt(argList).
      7. Let result be Construct(func, argList, newTarget).
      8. ReturnIfAbrupt(result).
      9. Let thisER be GetThisEnvironment( ).
      10. Return the result of calling the BindThisValue concrete method of
      thisER with argument result.

Michael Ficarra

On Fri, Feb 13, 2015 at 4:56 PM, Domenic Denicola <d at domenic.me> wrote:

>  What semantics would you propose for this extension?
>  ------------------------------
> From: Michael Ficarra <mficarra at shapesecurity.com>
> Sent: ‎2015-‎02-‎13 19:53
> To: es-discuss <es-discuss at mozilla.org>
> Subject: TemplateLiteral tagged with super
>
>   Is there any reason why a TemplateLiteral cannot be tagged with super?
> They can be tagged with a SuperProperty and a SuperCall, so the omission of
> super itself is strange. I propose we extend CallExpression to allow super
>  TemplateLiteral[?Yield].
>
>  Michael Ficarra
>



-- 
Shape Security is hiring outstanding individuals. Check us out at
*https://shapesecurity.com/jobs/
<https://shapesecurity.com/jobs/>*
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.mozilla.org/pipermail/es-discuss/attachments/20150213/a059b696/attachment.html>

Call Construct on the super constructor and the ArgumentListEvaluation of
the TemplateLiteral. Maybe like this?

CallExpression : super TemplateLiteral


1. Let newTarget be GetNewTarget().
2. If newTarget is undefined, throw a ReferenceError exception.
3. Let func be GetSuperConstructor().
4. ReturnIfAbrupt(func).
5. Let argList be ArgumentListEvaluation(TemplateLiteral)
6. ReturnIfAbrupt(argList).
7. Let result be Construct(func, argList, newTarget).
8. ReturnIfAbrupt(result).
9. Let thisER be GetThisEnvironment( ).
10. Return the result of calling the BindThisValue concrete method of thisER with argument result.