Interactive Debugger for the JavaScript Specification

JsInterpreter.jsJsInterpreter.pseudoJsInterpreter.ml

xxxxxxxxxx
 
var JsInterpreter = (function() {
with (Datatypes) {
with (JsCommon) {
with (JsCommonAux) {
with (JsInit) {
with (JsInterpreterMonads) {
with (JsSyntax) {
with (JsSyntaxAux) {
with (LibList) {
with (LibOption) {
with (LibProd) {
with (Shared) {
​
var equality_test_for_same_type = function (ty, v1, v2) {
  switch (ty) {
    case Type_undef:
      return (true);
    case Type_null:
      return (true);
    case Type_bool:
      return (value_compare(v1, v2));
    case Type_number:
      switch (v1) {
        case Value_undef:
          return (false);
        case Value_null: