/
pattern-match.test.ts
35 lines (33 loc) · 1.55 KB
/
pattern-match.test.ts
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
import { parseMatchPattern } from "../../syntax";
import { isMatch } from "./pattern-match";
import { EvaluationValue } from "../types";
import { createRootEnvironment } from "../environment";
const id = (name: string) => ({ kind: "Identifier", name }) as const;
describe(isMatch, () => {
const getEnv = (input: string, value: EvaluationValue) =>
isMatch(value, parseMatchPattern(input).unwrap(), createRootEnvironment());
test("not match", () => {
expect(getEnv("x::y", [])).toBeFalsy();
expect(getEnv("x::y", 0)).toBeFalsy();
expect(getEnv("_::_", 0)).toBeFalsy();
expect(getEnv("_::_", [])).toBeFalsy();
expect(getEnv("x::_", [])).toBeFalsy();
expect(getEnv("_::x", [])).toBeFalsy();
expect(getEnv("[]", 0)).toBeFalsy();
expect(getEnv("[]", false)).toBeFalsy();
});
test("match", () => {
expect(getEnv("_", 1)).toBeTruthy();
expect(getEnv("x", 1)!.get(id("x"))).toEqual(1);
expect(getEnv("[]", [])).toBeTruthy();
expect(getEnv("x::y", [1, 2])!.get(id("x"))).toEqual(1);
expect(getEnv("x::y", [1, 2])!.get(id("y"))).toEqual([2]);
expect(getEnv("x::y::[]", [1, 2])!.get(id("y"))).toEqual(2);
expect(getEnv("x::y", [1, 2, 3])!.get(id("y"))).toEqual([2, 3]);
expect(getEnv("x::_::y", [1, 2, 3])!.get(id("y"))).toEqual([3]);
expect(getEnv("x::_::_::y", [1, 2, 3])!.get(id("y"))).toEqual([]);
expect(getEnv("x::_", [1, 2, 3])!.get(id("x"))).toEqual(1);
expect(getEnv("_::x", [1, 2, 3])!.get(id("x"))).toEqual([2, 3]);
expect(getEnv("x::y::z", [1, 2, 3])!.get(id("z"))).toEqual([3]);
});
});