assert.re

let quote = Util.quote;

let fail_equal a b show location =>
  failwith ("Expected " ^ show a ^ " to equal " ^ show b ^ " at " ^ location);

let bools a b => fail_equal a b string_of_bool;

let ints a b => fail_equal a b string_of_int;

let strings a b => fail_equal a b quote;

let assert_equal asserter a b location =>
  ignore (
    if (a != b) {
      asserter a b location
    }
  );

let assert_zero a => assert_equal ints a 0;

let assert_true a => assert_equal bools a true;

let assert_false a => assert_equal bools a false;

assert.rei

/**
 * Simple testing library.
 */

/**
 * Assertions.
 */
let assert_equal: ('a => 'a => string => unit) => 'a => 'a => string => unit;

let assert_false: bool => string => unit;

let assert_true: bool => string => unit;

let assert_zero: int => string => unit;


/**
 * Assertion type helpers.
 */
let bools: bool => bool => string => 'a;

let ints: int => int => string => 'a;

let strings: string => string => string => 'a;

util_test.re

open Assert;

open Util;


/** Making ranges. */
assert (range 0 5 == [0, 1, 2, 3, 4, 5]);

assert (range 10 10 == [10]);

assert (range 100 1 == []);


/** Joining strings. */
assert_equal strings (join ["this", "that"] ",") "this,that" __LOC__;

assert_equal strings (join ["foo", "bar"] "") "foobar" __LOC__;

/** Splitting strings. */
assert (split "foobar" == ['f', 'o', 'o', 'b', 'a', 'r']);
assert (split "" == []);

/** Converting chars to strings. */
assert_equal strings (string_of_char 'a') "a" __LOC__;

/** Escaping strings. */
assert_equal strings (escape "foo") "foo" __LOC__;
assert_equal strings (escape "hi \"there\"") "hi \\\"there\\\"" __LOC__;
assert_equal strings (escape "this\\that") "this\\\\that" __LOC__;
assert_equal strings (escape "this/that") "this\\/that" __LOC__;
assert_equal strings (escape "foo\b") "foo\\b" __LOC__;
assert_equal strings (escape "foo\x0c") "foo\\f" __LOC__;
assert_equal strings (escape "foo\n") "foo\\n" __LOC__;
assert_equal strings (escape "foo\r") "foo\\r" __LOC__;
assert_equal strings (escape "foo\t") "foo\\t" __LOC__;

log ("Done: " ^ __FILE__);