Function parseRec2

article/utils.ts:560–582

(code: string)

}

export function parseRec2(code: string) {
  return subsetSystem(
    parse(code),
    ["Boolean", "Number", "Func", "Object", "TaggedUnion", "Rec", "TypeVar"],
    [
      "true",
      "false",
      "if",
      "number",
      "add",
      "var",
      "func",
      "call",
      "seq",
      "const",
      "objectNew",
      "objectGet",
      "taggedUnionNew",
      "taggedUnionGet",
      "recFunc",
    ],
  );
}

export function parsePoly(code: string) {
  return subsetSystem(