Correctly defer this-resolution on ECMA6 fat-arrows.

diff --git a/Cycript.yy.in b/Cycript.yy.in
index e7355979673938406fcd81e96f1cfcbb6a86b202..cd63aecd68db6b281609451b3158b3395725e217 100644 (file)
--- a/Cycript.yy.in
+++ b/Cycript.yy.in
@@ -1288,7 +1288,7 @@ FunctionBody
 /* }}} */
 /* 13.2 Arrow Function Definitions {{{ */
 ArrowFunction
 /* }}} */
 /* 13.2 Arrow Function Definitions {{{ */
 ArrowFunction

-    : LexSetRegExp ArrowParameters "=>" LexNoBrace ConciseBody { $$ = CYNew CYFunctionExpression(NULL, $2, $5); }
+    : LexSetRegExp ArrowParameters "=>" LexNoBrace ConciseBody { $$ = CYNew CYFatArrow($2, $5); }

     ;
 
 ArrowParameters
     ;
 
 ArrowParameters

diff --git a/Output.cpp b/Output.cpp
index b4f82eda8fcbb59b58393f3e186f150967d10176..1feff42c04be13300a3dc680842a94438b07f01a 100644 (file)
--- a/Output.cpp
+++ b/Output.cpp
@@ -336,6 +336,10 @@ void CYExpression::Output(CYOutput &out, unsigned precedence, CYFlags flags) con
         Output(out, flags);
 }
 
         Output(out, flags);
 }
 

+void CYFatArrow::Output(CYOutput &out, CYFlags flags) const {
+    out << '(' << parameters_ << ')' << ' ' << "=>" << ' ' << code_;
+}
+

 void CYFinally::Output(CYOutput &out) const {
     out << ' ' << "finally" << ' ' << code_;
 }
 void CYFinally::Output(CYOutput &out) const {
     out << ' ' << "finally" << ' ' << code_;
 }

diff --git a/Parser.hpp b/Parser.hpp
index c26e6d298fb8d61815feeb9d8a214656651f6c89..afb2c6635e261ac5642b4f7fd8d5667c5bc5eb27 100644 (file)
--- a/Parser.hpp
+++ b/Parser.hpp
@@ -350,11 +350,14 @@ struct CYProgram :
 };
 
 struct CYNonLocal;
 };
 
 struct CYNonLocal;

+struct CYThisScope;

 
 struct CYContext {
     CYOptions &options_;
 
     CYScope *scope_;
 
 struct CYContext {
     CYOptions &options_;
 
     CYScope *scope_;

+    CYThisScope *this_;
+

     CYIdentifierUsageVector rename_;
 
     CYNonLocal *nonlocal_;
     CYIdentifierUsageVector rename_;
 
     CYNonLocal *nonlocal_;


@@ -364,6 +367,7 @@ struct CYContext {
     CYContext(CYOptions &options) :
         options_(options),
         scope_(NULL),
     CYContext(CYOptions &options) :
         options_(options),
         scope_(NULL),

+        this_(NULL),

         nonlocal_(NULL),
         nextlocal_(NULL),
         unique_(0)
         nonlocal_(NULL),
         nextlocal_(NULL),
         unique_(0)


@@ -414,6 +418,25 @@ struct CYNonLocal {
     }
 };
 
     }
 };
 

+struct CYThisScope :
+    CYNext<CYThisScope>
+{
+    CYIdentifier *identifier_;
+
+    CYThisScope() :
+        identifier_(NULL)
+    {
+    }
+
+    CYIdentifier *Identifier(CYContext &context) {
+        if (next_ != NULL)
+            return next_->Identifier(context);
+        if (identifier_ == NULL)
+            identifier_ = context.Unique();
+        return identifier_;
+    }
+};
+

 struct CYBlock :
     CYStatement,
     CYThing
 struct CYBlock :
     CYStatement,
     CYThing


@@ -1482,7 +1505,9 @@ struct CYFunction {
     CYIdentifier *name_;
     CYFunctionParameter *parameters_;
     CYBlock code_;
     CYIdentifier *name_;
     CYFunctionParameter *parameters_;
     CYBlock code_;

+

     CYNonLocal *nonlocal_;
     CYNonLocal *nonlocal_;

+    CYThisScope this_;

 
     CYFunction(CYIdentifier *name, CYFunctionParameter *parameters, CYStatement *statements) :
         name_(name),
 
     CYFunction(CYIdentifier *name, CYFunctionParameter *parameters, CYStatement *statements) :
         name_(name),


@@ -1517,6 +1542,23 @@ struct CYFunctionExpression :
     virtual void Output(CYOutput &out, CYFlags flags) const;
 };
 
     virtual void Output(CYOutput &out, CYFlags flags) const;
 };
 

+// XXX: this should derive from CYAnonymousFunction
+struct CYFatArrow :
+    CYFunction,
+    CYExpression
+{
+    CYFatArrow(CYFunctionParameter *parameters, CYStatement *statements) :
+        CYFunction(NULL, parameters, statements)
+    {
+    }
+
+    CYPrecedence(0)
+    CYRightHand(false)
+
+    virtual CYExpression *Replace(CYContext &context);
+    virtual void Output(CYOutput &out, CYFlags flags) const;
+};
+

 // XXX: this should derive from CYAnonymousFunctionExpression
 struct CYRubyProc :
     CYFunctionExpression
 // XXX: this should derive from CYAnonymousFunctionExpression
 struct CYRubyProc :
     CYFunctionExpression

diff --git a/Replace.cpp b/Replace.cpp
index 3e063081b1aeea731244e5a12f09683136d5be5e..acf4d51527d63eb5910656c228e46b20cdfcd899 100644 (file)
--- a/Replace.cpp
+++ b/Replace.cpp
@@ -330,6 +330,12 @@ CYString *CYFalse::String(CYContext &context) {
     return $S("false");
 }
 
     return $S("false");
 }
 

+CYExpression *CYFatArrow::Replace(CYContext &context) {
+    CYFunctionExpression *function($ CYFunctionExpression(NULL, parameters_, code_));
+    function->this_.SetNext(context.this_);
+    return function;
+}
+

 void CYFinally::Replace(CYContext &context) { $T()
     code_.Replace(context);
 }
 void CYFinally::Replace(CYContext &context) { $T()
     code_.Replace(context);
 }


@@ -411,6 +417,9 @@ void CYFunction::Replace_(CYContext &context, bool outer) {
     if (outer)
         Inject(context);
 
     if (outer)
         Inject(context);
 

+    CYThisScope *_this(context.this_);
+    context.this_ = CYGetLast(&this_);
+

     CYNonLocal *nonlocal(context.nonlocal_);
     CYNonLocal *nextlocal(context.nextlocal_);
 
     CYNonLocal *nonlocal(context.nonlocal_);
     CYNonLocal *nextlocal(context.nextlocal_);
 


@@ -432,12 +441,19 @@ void CYFunction::Replace_(CYContext &context, bool outer) {
     parameters_->Replace(context, code_);
     code_.Replace(context);
 
     parameters_->Replace(context, code_);
     code_.Replace(context);
 

+    if (CYIdentifier *identifier = this_.identifier_)
+        code_.statements_ = $$->*
+            $ CYVar($L1($ CYDeclaration(identifier, $ CYThis())))->*
+            code_.statements_;
+

     if (localize)
         context.NonLocal(code_.statements_);
 
     context.nextlocal_ = nextlocal;
     context.nonlocal_ = nonlocal;
 
     if (localize)
         context.NonLocal(code_.statements_);
 
     context.nextlocal_ = nextlocal;
     context.nonlocal_ = nonlocal;
 

+    context.this_ = _this;
+

     scope.Close();
 }
 
     scope.Close();
 }
 


@@ -806,6 +822,8 @@ CYStatement *CYSwitch::Replace(CYContext &context) {
 }
 
 CYExpression *CYThis::Replace(CYContext &context) {
 }
 
 CYExpression *CYThis::Replace(CYContext &context) {

+    if (context.this_ != NULL)
+        return $V(context.this_->Identifier(context));

     return this;
 }
 
     return this;
 }