brownplt / lambdas5 Goto Github PK

// 8.7.2 PutValue (V, W), [[Put]], Step 7.a

// 7. Else, this is a request to create an own property on the transient object O
//     a. If Throw is true, then throw a TypeError exception.

// For [[Put]] for a reference with a primitive base,
// if it does not have its own value, but a inherited data descriptor,
// then this assignment will create its own data descriptor which cannot be used later at all, because this object will immediately disappear after this assignment
// (at least there is no reference pointing to this object, so it's not accessible).
// Thus, if throw is true, then it throws TypeError.

"use strict";
try {
  1["x"] = 10; // TypeError
  throw "Not here!";
} catch (e) {
  if (!(e instanceof TypeError)) {
    $ERROR('"use strict"; Object.defineProperty(Number.prototype, "x", { "value" : 0, "writable" : false, "enumerable" : true, "configurable" : true }); 1["x"] = 10; throws TypeError. Actual: ' + e);
  }
}

$ ./s5-test262 /tmp/07.js 
../envs/es5.env:6:0-5029:0
<unknown>:13:-1--4
<unknown>:13:-1--4
<unknown>:13:-1--4
<unknown>:17:-3-18:-200
<unknown>:18:-5--199
<unknown>:18:-5--11
../envs/es5.env:977:28-983:3
../envs/es5.env:980:11-982:5
../envs/es5.env:287:28-293:1
Uncaught exception: {[#proto: @9, #class: "Object", #extensible: true,]
 'message' : {#value "Unbound identifier: $ERROR" ,
              #writable true ,
              #configurable false}}

Fatal error: exception Failure("Runtime error")

vlorentz@gommier:~/js/LambdaS5/tests$ echo "print('foo\nbar')" > /tmp/tmp.js && ../obj/s5.d.byte -desugar /tmp/tmp.js -env ../envs/es5.env -apply -eval
foo
bar
undefined

vlorentz@gommier:~/js/LambdaS5/tests$ echo "print('foo\nbar')" > /tmp/tmp.js && ./s5-desugar /tmp/tmp.js > /tmp/tmp.ljs
vlorentz@gommier:~/js/LambdaS5/tests$ ../obj/s5.d.byte /tmp/tmp.ljs -env ../envs/es5.env -apply -eval
foo\nbar
undefined

// 8.7.2 PutValue (V, W), [[Put]], Step 2.b

// 2. If the result of calling the [[CanPut]] internal method of O with argument P is false, then
//     a. ...
//     b. Else return.

// For [[Put]] for a reference with a primitive base,
// if [[CanPut]] returns false, and Throw is false, then it does nothing.

// NOTE: In this example, [[CanPut]] returns false, because 'writable' is false.

Object.defineProperty(Number.prototype, "x", { "value" : 0, "writable" : false, "enumerable" : true, "configurable" : true });
try {
  1["x"] = 10; // Nop
} catch (e) {
  $ERROR('Object.defineProperty(Number.prototype, "x", { "value" : 0, "writable" : false, "enumerable" : true, "configurable" : true }); 1["x"] = 10; does nothing. Actual: ' + e);
}

$ ./s5-test262  /tmp/03.js 
../envs/es5.env:6:0-5029:0
<unknown>:13:-1--4
<unknown>:13:-1--4
<unknown>:13:-1--4
<unknown>:16:-3--179
<unknown>:16:-3--9
../envs/es5.env:977:28-983:3
../envs/es5.env:980:11-982:5
../envs/es5.env:287:28-293:1
Uncaught exception: {[#proto: @9, #class: "Object", #extensible: true,]
 'message' : {#value "Unbound identifier: $ERROR" ,
              #writable true ,
              #configurable false}}

Fatal error: exception Failure("Runtime error")

    var o = {x: 0};
    function f() { o.x++; return o };
    (f()).x += 1

switch(1) {
  default:
  case 1: 
  switch(1) { 
    default:
    case 1:
    x = 1
  }
}

var x = function f (a) { var f; if (a == 0) return 1; else return a * f(a-1) }; x(5)

a: for (var x = 1; x < 5; x+=1) { continue a }; x

// 10.5 Declaration Binding Instantiation, Step 5.e.iv, First condition is true

// 5. For each FunctionDeclaration f in code, in source text order do
//     ...
//     e. Else if env is the environment record component of the global environment then
//         ...
//         iii. If existingProp .[[Configurable]] is true, then
//             ... 
//         iv. Else if IsAccessorDescriptor(existingProp) or ..., then
//             1. Throw a TypeError exception.

// A duplicated function declaration in a global scope throws TypeError,
// if the existing is not configurable and an accessor descriptor.

// In the below example, we put the duplicated function declaration in 'eval', in order to the declaration is evaluated after the 'Object.defineProperty' statement,
// otherwise the function declaration will be evaluated first before the first statement.

Object.defineProperty(this, "f", { "get" : undefined, "set" : undefined, "enumerable" : false, "configurable" : false });
try {
  eval(" function f() { return 0; } "); // TypeError
  throw "Not here!";
} catch (e) {
  if (!(e instanceof TypeError)) {
    $ERROR('Object.defineProperty(this, "f", { "get" : undefined, "set" : undefined, "enumerable" : false, "configurable" : false }); eval(" function f() { return 0; } "); throws TypeError. Actual: ' + e);
  }
}

$ ./s5-test262 /tmp/15.js 
../envs/es5.env:6:0-5029:0
<unknown>:19:-1--4
<unknown>:19:-1--4
<unknown>:19:-1--4
<unknown>:23:-3-24:-206
<unknown>:24:-5--205
<unknown>:24:-5--11
../envs/es5.env:977:28-983:3
../envs/es5.env:980:11-982:5
../envs/es5.env:287:28-293:1
Uncaught exception: {[#proto: @9, #class: "Object", #extensible: true,]
 'message' : {#value "Unbound identifier: $ERROR" ,
              #writable true ,
              #configurable false}}

Fatal error: exception Failure("Runtime error")

// 8.7.1 GetValue (V), [[Get]], Step 6

// 6. If getter is undefined, return undefined.

// For [[Get]] for a reference with a primitive base,
// if its value is an accessor descriptor, and its getter is undefined, then it returns undefined.
"use strict";
var r;
var n;
Object.defineProperty(Number.prototype, "x", { "set" : function (v) { n = v; }, "enumerable" : true, "configurable" : true });
r = 1["x"]; // undefined
if (!(r === undefined)) {
  $ERROR('Object.defineProperty(Number.prototype, "x", { "enumerable" : true, "configurable" : true, "set" : function (v) { n = v; } }); 1["x"] is undefined. Actual: ' + r);
}

$ ./s5-test262  /tmp/01.js 
../envs/es5.env:6:0-5029:0
<unknown>:11:-1--2
<unknown>:11:-5--11
Uncaught error: "[interp] (<unknown>:11:-5--11) Applied non-function, was actually undefined"

Fatal error: exception Failure("Runtime error")

$ echo "{[] 'foo': {#getter undefined, #setter undefined}}['foo']" | ../obj/s5.d.byte -load init.heap /dev/stdin -continue-s5-eval

Uncaught error: "[interp] (/dev/stdin:1:0-57) Applied non-function, was actually undefined"

Fatal error: exception Failure("Runtime error")

$ echo "{[] 'foo': {#getter undefined, #setter undefined}}['foo' = 'bar']" | ../obj/s5.d.byte -load init.heap /dev/stdin -continue-s5-eval
Fatal error: exception Failure("Runtime error")

// 10.2.1.1.3 SetMutableBinding (N,V,S), Step 4, if-condition is true

// 4. Else this must be an attempt to change the value of an immutable binding so if S if true throw a TypeError exception.

// In a strict mode, assigning an immutable binding throws TypeError.

// There are only two ways to create an immutable binding:
//   1. 'arguments' is an immutable binding in a strict mode function.
//   2. name of a recursive function expression (it should be a function 'expression', not a function 'declaration') is an immutable binding of the function body's environment.
// In the first case, assigning such binding raises a syntax error, in advance, in a strict mode code, thus it cannot reach here.
// Thus, assigning the second kind of binding is the only case that can reach here, and the below example represents this case.

// In the example below, 'g' is a name of recursive function expression, thus inside the function body, 'g' is a immutable binding.
// Note that 'g' is not visible outside of the function body, that is, it is not visible in a global scope.

"use strict";
var f = function g() {
  g = 0;
};
try {
  f(); // TypeError
  throw "Not here!";
} catch (e) {
  if (!(e instanceof TypeError)) {
    $ERROR('"use strict"; var f = function g() { g = 0; }; f(); throws TypeError. Actual: ' + e);
  }
}

$ ./s5-test262 /tmp/09.js 
../envs/es5.env:6:0-5029:0
<unknown>:20:-1--4
<unknown>:20:-1--4
<unknown>:20:-1--4
<unknown>:24:-3-25:-98
<unknown>:25:-5--97
<unknown>:25:-5--11
../envs/es5.env:977:28-983:3
../envs/es5.env:980:11-982:5
../envs/es5.env:287:28-293:1
Uncaught exception: {[#proto: @9, #class: "Object", #extensible: true,]
 'message' : {#value "Unbound identifier: $ERROR" ,
              #writable true ,
              #configurable false}}

Fatal error: exception Failure("Runtime error")

function f(x) {
  var y = 5;
}

f = func(this, args) {
  let %%x = undefined
  let %%y = undefined
  %%y = 5
}}

// 10.2.1.1.5 DeleteBinding (N), Step 4 & 5

// 4. Remove the binding for N from envRec.
// 5. Return true.

// If a binding of a declarative environment record (i.e., not in a global scope nor an 'with' construct) is deletable, then remove it and return true.

// The only way to create a deletable binding is to call CreateMutableBinding with the second argument 'D' of true,
// while the only time to call CreateMutableBinding with 'D' of true is when 'configurableBindings' is true in "10.5 Declaration Binding Instantiation",
// while 'configurableBindings' is true only when 'code' is eval code.
// Thus, a binding of a declarative environment record is deletable only when
// - a function or a variable name is declared in a eval code
// - a formal parameter of a function or an argument object of a function in a eval code (although, in this case, it is not specified whether 'configurableBindings' is used or not)

// a variable declaration in an eval code
function f11() {
  eval(" var x11 = 1; delete x11; ");
  return x11; // ReferenceError
}
try {
  f11();
  throw "Not here!";
} catch (e) {
  if (!(e instanceof ReferenceError)) {
    $ERROR('function f11() { eval(" var x11 = 1; delete x11; "); return x11; } f11(); throws ReferenceError. Actual: ' + e);
  }
}

$ ./s5-test262 /tmp/12.js 
../envs/es5.env:6:0-5029:0
<unknown>:20:-1--4
<unknown>:20:-1--4
<unknown>:20:-1--4
<unknown>:24:-3-25:-125
<unknown>:25:-5--124
<unknown>:25:-5--11
../envs/es5.env:977:28-983:3
../envs/es5.env:980:11-982:5
../envs/es5.env:287:28-293:1
Uncaught exception: {[#proto: @9, #class: "Object", #extensible: true,]
 'message' : {#value "Unbound identifier: $ERROR" ,
              #writable true ,
              #configurable false}}

Fatal error: exception Failure("Runtime error")

vlorentz@gommier:~/js/LambdaS5/tests(working)$ echo "{[#proto: 5]}"  | ../obj/s5.d.byte -load init.heap /dev/stdin -continue-s5-eval
object
vlorentz@gommier:~/js/LambdaS5/tests(working)$ echo "{[#class: 'foo']}"  | ../obj/s5.d.byte -load init.heap /dev/stdin -continue-s5-eval
object
vlorentz@gommier:~/js/LambdaS5/tests(working)$ echo "{[#class: 5]}"  | ../obj/s5.d.byte -load init.heap /dev/stdin -continue-s5-eval
Fatal error: exception Failure("parse error at /dev/stdin:1:11-11; unexpected token 5")

// 8.12.4 [[CanPut]] (P), Step 8.a

// 8. Else, inherited must be a DataDescriptor
//     a. If the [[Extensible]] internal property of O is false, return false.
//     b. ...

// If O inherits P, which is data descriptor, but O is not extensible, then CanPut is false.

// In this example, the assignment is ignored, since CanPut is false.

var o = Object.create( { x : 0 } );
Object.freeze(o); // Set o's [[Extensible]] false
o.x = 1; // [[CanPut]] is false, thus Nop
if (!(o.x === 0)) {
  $ERROR('var o = Object.create( { x : 0 } ); Object.freeze(o); o.x = 1; o.x is 0. Actual: ' + o.x);
}

$ ./s5-test262 /tmp/08.js 
../envs/es5.env:6:0-5029:0
<unknown>:13:-1--8
../envs/es5.env:108:44-117:1
../envs/es5.env:109:34-58
Uncaught exception: {[#proto: @7, #class: "Object", #extensible: true,]
 'message' : {#value "set-property failed" ,
              #writable false ,
              #configurable false}}

Fatal error: exception Failure("Runtime error")

$ echo "'é'.length" > /tmp/test.js
$ ./obj/s5.d.byte -desugar /tmp/test.js -env ./envs/es5.env -apply -eval
2.

$ nodejs
> 'é'.length
1