iVProg/tests/test62.spec.js

import { CompoundType } from "./../js/typeSystem/compoundType";
import { Types } from "./../js/typeSystem/types";

describe("A CompoundType of an Int and dimension 1", () => {

  it("should accept an int ", () => {
    const t1 = new CompoundType(Types.INTEGER, 1);
    const t2 = Types.INTEGER;
    expect(t1.canAccept(t2)).toBeTruthy();
  });
});