stack_comp_test.js

'use strict';

var Mt        = require("./mt.js");
var List      = require("../../lib/js/list.js");
var Curry     = require("../../lib/js/curry.js");
var Stack     = require("../../lib/js/stack.js");
var Caml_obj  = require("../../lib/js/caml_obj.js");
var Mt_global = require("./mt_global.js");

var suites = [/* [] */0];

var test_id = [0];

function eq(f, param) {
  return Mt_global.collect_eq(test_id, suites, f, param[0], param[1]);
}

function assert_(loc, v) {
  return eq(loc, /* tuple */[
              v,
              /* true */1
            ]);
}

function to_list(s) {
  var l = [/* [] */0];
  List.iter((function (x) {
          l[0] = /* :: */[
            x,
            l[0]
          ];
          return /* () */0;
        }), s[/* c */0]);
  return l[0];
}

var S = /* module */[
  /* Empty */Stack.Empty,
  /* create */Stack.create,
  /* push */Stack.push,
  /* pop */Stack.pop,
  /* top */Stack.top,
  /* clear */Stack.clear,
  /* copy */Stack.copy,
  /* is_empty */Stack.is_empty,
  /* length */Stack.length,
  /* iter */Stack.iter,
  /* to_list */to_list
];

function does_raise(f, s) {
  try {
    Curry._1(f, s);
    return /* false */0;
  }
  catch (exn){
    if (exn === Stack.Empty) {
      return /* true */1;
    } else {
      throw exn;
    }
  }
}

var s = /* record */[/* c : [] */0];

assert_("File \"stack_comp_test.ml\", line 33, characters 32-39", +(to_list(s) === /* [] */0 && List.length(s[/* c */0]) === 0));

Stack.push(1, s);

assert_("File \"stack_comp_test.ml\", line 34, characters 32-39", Caml_obj.caml_equal(to_list(s), /* :: */[
          1,
          /* [] */0
        ]) && +(List.length(s[/* c */0]) === 1));

Stack.push(2, s);

assert_("File \"stack_comp_test.ml\", line 35, characters 32-39", Caml_obj.caml_equal(to_list(s), /* :: */[
          1,
          /* :: */[
            2,
            /* [] */0
          ]
        ]) && +(List.length(s[/* c */0]) === 2));

Stack.push(3, s);

assert_("File \"stack_comp_test.ml\", line 36, characters 32-39", Caml_obj.caml_equal(to_list(s), /* :: */[
          1,
          /* :: */[
            2,
            /* :: */[
              3,
              /* [] */0
            ]
          ]
        ]) && +(List.length(s[/* c */0]) === 3));

Stack.push(4, s);

assert_("File \"stack_comp_test.ml\", line 37, characters 32-39", Caml_obj.caml_equal(to_list(s), /* :: */[
          1,
          /* :: */[
            2,
            /* :: */[
              3,
              /* :: */[
                4,
                /* [] */0
              ]
            ]
          ]
        ]) && +(List.length(s[/* c */0]) === 4));

assert_("File \"stack_comp_test.ml\", line 38, characters 10-17", +(Stack.pop(s) === 4));

assert_("File \"stack_comp_test.ml\", line 38, characters 41-48", Caml_obj.caml_equal(to_list(s), /* :: */[
          1,
          /* :: */[
            2,
            /* :: */[
              3,
              /* [] */0
            ]
          ]
        ]) && +(List.length(s[/* c */0]) === 3));

assert_("File \"stack_comp_test.ml\", line 39, characters 10-17", +(Stack.pop(s) === 3));

assert_("File \"stack_comp_test.ml\", line 39, characters 41-48", Caml_obj.caml_equal(to_list(s), /* :: */[
          1,
          /* :: */[
            2,
            /* [] */0
          ]
        ]) && +(List.length(s[/* c */0]) === 2));

assert_("File \"stack_comp_test.ml\", line 40, characters 10-17", +(Stack.pop(s) === 2));

assert_("File \"stack_comp_test.ml\", line 40, characters 41-48", Caml_obj.caml_equal(to_list(s), /* :: */[
          1,
          /* [] */0
        ]) && +(List.length(s[/* c */0]) === 1));

assert_("File \"stack_comp_test.ml\", line 41, characters 10-17", +(Stack.pop(s) === 1));

assert_("File \"stack_comp_test.ml\", line 41, characters 41-48", +(to_list(s) === /* [] */0 && List.length(s[/* c */0]) === 0));

assert_("File \"stack_comp_test.ml\", line 42, characters 10-17", does_raise(Stack.pop, s));

var s$1 = /* record */[/* c : [] */0];

Stack.push(1, s$1);

assert_("File \"stack_comp_test.ml\", line 47, characters 22-29", +(Stack.pop(s$1) === 1));

assert_("File \"stack_comp_test.ml\", line 47, characters 53-60", does_raise(Stack.pop, s$1));

Stack.push(2, s$1);

assert_("File \"stack_comp_test.ml\", line 48, characters 22-29", +(Stack.pop(s$1) === 2));

assert_("File \"stack_comp_test.ml\", line 48, characters 53-60", does_raise(Stack.pop, s$1));

assert_("File \"stack_comp_test.ml\", line 49, characters 10-17", +(List.length(s$1[/* c */0]) === 0));

var s$2 = /* record */[/* c : [] */0];

Stack.push(1, s$2);

assert_("File \"stack_comp_test.ml\", line 54, characters 22-29", +(Stack.top(s$2) === 1));

Stack.push(2, s$2);

assert_("File \"stack_comp_test.ml\", line 55, characters 22-29", +(Stack.top(s$2) === 2));

Stack.push(3, s$2);

assert_("File \"stack_comp_test.ml\", line 56, characters 22-29", +(Stack.top(s$2) === 3));

assert_("File \"stack_comp_test.ml\", line 57, characters 10-17", +(Stack.top(s$2) === 3));

assert_("File \"stack_comp_test.ml\", line 57, characters 41-48", +(Stack.pop(s$2) === 3));

assert_("File \"stack_comp_test.ml\", line 58, characters 10-17", +(Stack.top(s$2) === 2));

assert_("File \"stack_comp_test.ml\", line 58, characters 41-48", +(Stack.pop(s$2) === 2));

assert_("File \"stack_comp_test.ml\", line 59, characters 10-17", +(Stack.top(s$2) === 1));

assert_("File \"stack_comp_test.ml\", line 59, characters 41-48", +(Stack.pop(s$2) === 1));

assert_("File \"stack_comp_test.ml\", line 60, characters 10-17", does_raise(Stack.top, s$2));

assert_("File \"stack_comp_test.ml\", line 61, characters 10-17", does_raise(Stack.top, s$2));

var s$3 = /* record */[/* c : [] */0];

for(var i = 1; i <= 10; ++i){
  Stack.push(i, s$3);
}

s$3[/* c */0] = /* [] */0;

assert_("File \"stack_comp_test.ml\", line 68, characters 10-17", +(List.length(s$3[/* c */0]) === 0));

assert_("File \"stack_comp_test.ml\", line 69, characters 10-17", does_raise(Stack.pop, s$3));

assert_("File \"stack_comp_test.ml\", line 70, characters 10-17", Caml_obj.caml_equal(s$3, /* record */[/* c : [] */0]));

Stack.push(42, s$3);

assert_("File \"stack_comp_test.ml\", line 72, characters 10-17", +(Stack.pop(s$3) === 42));

var s1 = /* record */[/* c : [] */0];

for(var i$1 = 1; i$1 <= 10; ++i$1){
  Stack.push(i$1, s1);
}

var s2 = /* record */[/* c */s1[/* c */0]];

assert_("File \"stack_comp_test.ml\", line 79, characters 10-17", Caml_obj.caml_equal(to_list(s1), /* :: */[
          1,
          /* :: */[
            2,
            /* :: */[
              3,
              /* :: */[
                4,
                /* :: */[
                  5,
                  /* :: */[
                    6,
                    /* :: */[
                      7,
                      /* :: */[
                        8,
                        /* :: */[
                          9,
                          /* :: */[
                            10,
                            /* [] */0
                          ]
                        ]
                      ]
                    ]
                  ]
                ]
              ]
            ]
          ]
        ]));

assert_("File \"stack_comp_test.ml\", line 80, characters 10-17", Caml_obj.caml_equal(to_list(s2), /* :: */[
          1,
          /* :: */[
            2,
            /* :: */[
              3,
              /* :: */[
                4,
                /* :: */[
                  5,
                  /* :: */[
                    6,
                    /* :: */[
                      7,
                      /* :: */[
                        8,
                        /* :: */[
                          9,
                          /* :: */[
                            10,
                            /* [] */0
                          ]
                        ]
                      ]
                    ]
                  ]
                ]
              ]
            ]
          ]
        ]));

assert_("File \"stack_comp_test.ml\", line 81, characters 10-17", +(List.length(s1[/* c */0]) === 10));

assert_("File \"stack_comp_test.ml\", line 82, characters 10-17", +(List.length(s2[/* c */0]) === 10));

for(var i$2 = 10; i$2 >= 1; --i$2){
  assert_("File \"stack_comp_test.ml\", line 84, characters 12-19", +(Stack.pop(s1) === i$2));
}

for(var i$3 = 10; i$3 >= 1; --i$3){
  assert_("File \"stack_comp_test.ml\", line 87, characters 12-19", +(Stack.pop(s2) === i$3));
}

var s$4 = /* record */[/* c : [] */0];

assert_("File \"stack_comp_test.ml\", line 93, characters 10-17", +(s$4[/* c */0] === /* [] */0));

for(var i$4 = 1; i$4 <= 10; ++i$4){
  Stack.push(i$4, s$4);
  assert_("File \"stack_comp_test.ml\", line 96, characters 12-19", +(List.length(s$4[/* c */0]) === i$4));
  assert_("File \"stack_comp_test.ml\", line 97, characters 12-19", +(s$4[/* c */0] !== /* [] */0));
}

for(var i$5 = 10; i$5 >= 1; --i$5){
  assert_("File \"stack_comp_test.ml\", line 100, characters 12-19", +(List.length(s$4[/* c */0]) === i$5));
  assert_("File \"stack_comp_test.ml\", line 101, characters 12-19", +(s$4[/* c */0] !== /* [] */0));
  Stack.pop(s$4);
}

assert_("File \"stack_comp_test.ml\", line 104, characters 10-17", +(List.length(s$4[/* c */0]) === 0));

assert_("File \"stack_comp_test.ml\", line 105, characters 10-17", +(s$4[/* c */0] === /* [] */0));

var s$5 = /* record */[/* c : [] */0];

for(var i$6 = 10; i$6 >= 1; --i$6){
  Stack.push(i$6, s$5);
}

var i$7 = [1];

List.iter((function (j) {
        assert_("File \"stack_comp_test.ml\", line 112, characters 27-34", +(i$7[0] === j));
        i$7[0] = i$7[0] + 1 | 0;
        return /* () */0;
      }), s$5[/* c */0]);

var s1$1 = /* record */[/* c : [] */0];

assert_("File \"stack_comp_test.ml\", line 117, characters 10-17", +(List.length(s1$1[/* c */0]) === 0));

assert_("File \"stack_comp_test.ml\", line 117, characters 45-52", +(to_list(s1$1) === /* [] */0));

var s2$1 = /* record */[/* c */s1$1[/* c */0]];

assert_("File \"stack_comp_test.ml\", line 119, characters 10-17", +(List.length(s1$1[/* c */0]) === 0));

assert_("File \"stack_comp_test.ml\", line 119, characters 45-52", +(to_list(s1$1) === /* [] */0));

assert_("File \"stack_comp_test.ml\", line 120, characters 10-17", +(List.length(s2$1[/* c */0]) === 0));

assert_("File \"stack_comp_test.ml\", line 120, characters 45-52", +(to_list(s2$1) === /* [] */0));

var s1$2 = /* record */[/* c : [] */0];

for(var i$8 = 1; i$8 <= 4; ++i$8){
  Stack.push(i$8, s1$2);
}

assert_("File \"stack_comp_test.ml\", line 126, characters 10-17", +(List.length(s1$2[/* c */0]) === 4));

assert_("File \"stack_comp_test.ml\", line 126, characters 45-52", Caml_obj.caml_equal(to_list(s1$2), /* :: */[
          1,
          /* :: */[
            2,
            /* :: */[
              3,
              /* :: */[
                4,
                /* [] */0
              ]
            ]
          ]
        ]));

var s2$2 = /* record */[/* c */s1$2[/* c */0]];

assert_("File \"stack_comp_test.ml\", line 128, characters 10-17", +(List.length(s1$2[/* c */0]) === 4));

assert_("File \"stack_comp_test.ml\", line 128, characters 45-52", Caml_obj.caml_equal(to_list(s1$2), /* :: */[
          1,
          /* :: */[
            2,
            /* :: */[
              3,
              /* :: */[
                4,
                /* [] */0
              ]
            ]
          ]
        ]));

assert_("File \"stack_comp_test.ml\", line 129, characters 10-17", +(List.length(s2$2[/* c */0]) === 4));

assert_("File \"stack_comp_test.ml\", line 129, characters 45-52", Caml_obj.caml_equal(to_list(s2$2), /* :: */[
          1,
          /* :: */[
            2,
            /* :: */[
              3,
              /* :: */[
                4,
                /* [] */0
              ]
            ]
          ]
        ]));

Mt.from_pair_suites("stack_comp_test.ml", suites[0]);

exports.suites     = suites;
exports.test_id    = test_id;
exports.eq         = eq;
exports.assert_    = assert_;
exports.S          = S;
exports.does_raise = does_raise;
/* s Not a pure module */