update typescript

cicada-lang · Jan 8, 2025 · cf750bd · cf750bd
1 parent ac40310
commit cf750bd
Show file tree

Hide file tree

Showing 328 changed files with 1,008 additions and 1,023 deletions.
diff --git a/docs/examples/books/the-reasoned-schemer/06-the-fun-never-ends.ch.out b/docs/examples/books/the-reasoned-schemer/06-the-fun-never-ends.ch.out
diff --git a/docs/examples/books/the-reasoned-schemer/08-just-a-bit-more.ch.out b/docs/examples/books/the-reasoned-schemer/08-just-a-bit-more.ch.out
diff --git a/docs/examples/tests/globals/equal.ch.out b/docs/examples/tests/globals/equal.ch.out
diff --git a/docs/examples/tests/module/ABC.ch.out b/docs/examples/tests/module/ABC.ch.out
diff --git a/...books/clause-and-effect/01-party-pairs.ch → ...books/clause-and-effect/01-party-pairs.ch b/...books/clause-and-effect/01-party-pairs.ch → ...books/clause-and-effect/01-party-pairs.ch
diff --git a/...s/clause-and-effect/01-party-pairs.ch.out → ...s/clause-and-effect/01-party-pairs.ch.out b/...s/clause-and-effect/01-party-pairs.ch.out → ...s/clause-and-effect/01-party-pairs.ch.out
diff --git a/...ks/clause-and-effect/02-drinking-pairs.ch → ...ks/clause-and-effect/02-drinking-pairs.ch b/...ks/clause-and-effect/02-drinking-pairs.ch → ...ks/clause-and-effect/02-drinking-pairs.ch
diff --git a/...lause-and-effect/02-drinking-pairs.ch.out → ...lause-and-effect/02-drinking-pairs.ch.out b/...lause-and-effect/02-drinking-pairs.ch.out → ...lause-and-effect/02-drinking-pairs.ch.out
diff --git a/...ause-and-effect/03-affordable-journeys.ch → ...ause-and-effect/03-affordable-journeys.ch b/...ause-and-effect/03-affordable-journeys.ch → ...ause-and-effect/03-affordable-journeys.ch
diff --git a/...-and-effect/03-affordable-journeys.ch.out → ...-and-effect/03-affordable-journeys.ch.out b/...-and-effect/03-affordable-journeys.ch.out → ...-and-effect/03-affordable-journeys.ch.out
diff --git a/...e-and-effect/04-acyclic-directed-graph.ch → ...e-and-effect/04-acyclic-directed-graph.ch b/...e-and-effect/04-acyclic-directed-graph.ch → ...e-and-effect/04-acyclic-directed-graph.ch
diff --git a/...d-effect/04-acyclic-directed-graph.ch.out → ...d-effect/04-acyclic-directed-graph.ch.out b/...d-effect/04-acyclic-directed-graph.ch.out → ...d-effect/04-acyclic-directed-graph.ch.out
diff --git a/...ples/books/clause-and-effect/05-member.ch → ...ples/books/clause-and-effect/05-member.ch b/...ples/books/clause-and-effect/05-member.ch → ...ples/books/clause-and-effect/05-member.ch
diff --git a/.../books/clause-and-effect/05-member.ch.out → .../books/clause-and-effect/05-member.ch.out b/.../books/clause-and-effect/05-member.ch.out → .../books/clause-and-effect/05-member.ch.out
diff --git a/.../clause-and-effect/06-length-of-a-list.ch → .../clause-and-effect/06-length-of-a-list.ch b/.../clause-and-effect/06-length-of-a-list.ch → .../clause-and-effect/06-length-of-a-list.ch
diff --git a/...clause-and-effect/08-maximum-of-a-list.ch → ...clause-and-effect/08-maximum-of-a-list.ch b/...clause-and-effect/08-maximum-of-a-list.ch → ...clause-and-effect/08-maximum-of-a-list.ch
diff --git a/...and-effect/09-searching-a-cyclic-graph.ch → ...and-effect/09-searching-a-cyclic-graph.ch b/...and-effect/09-searching-a-cyclic-graph.ch → ...and-effect/09-searching-a-cyclic-graph.ch
diff --git a/...effect/09-searching-a-cyclic-graph.ch.out → ...effect/09-searching-a-cyclic-graph.ch.out b/...effect/09-searching-a-cyclic-graph.ch.out → ...effect/09-searching-a-cyclic-graph.ch.out
diff --git a/...er-programs/a-boston-high-tech-company.ch → ...er-programs/a-boston-high-tech-company.ch b/...er-programs/a-boston-high-tech-company.ch → ...er-programs/a-boston-high-tech-company.ch
diff --git a/...rograms/a-boston-high-tech-company.ch.out → ...rograms/a-boston-high-tech-company.ch.out b/...rograms/a-boston-high-tech-company.ch.out → ...rograms/a-boston-high-tech-company.ch.out
diff --git a/...of-computer-programs/logic-as-programs.md → ...of-computer-programs/logic-as-programs.md b/...of-computer-programs/logic-as-programs.md → ...of-computer-programs/logic-as-programs.md
diff --git a/...oks/the-reasoned-schemer/01-playthings.ch → ...oks/the-reasoned-schemer/01-playthings.ch b/...oks/the-reasoned-schemer/01-playthings.ch → ...oks/the-reasoned-schemer/01-playthings.ch
diff --git a/...the-reasoned-schemer/01-playthings.ch.out → ...the-reasoned-schemer/01-playthings.ch.out b/...the-reasoned-schemer/01-playthings.ch.out → ...the-reasoned-schemer/01-playthings.ch.out
diff --git a/...chemer/02-teaching-old-toys-new-tricks.ch → ...chemer/02-teaching-old-toys-new-tricks.ch b/...chemer/02-teaching-old-toys-new-tricks.ch → ...chemer/02-teaching-old-toys-new-tricks.ch
diff --git a/...er/02-teaching-old-toys-new-tricks.ch.out → ...er/02-teaching-old-toys-new-tricks.ch.out b/...er/02-teaching-old-toys-new-tricks.ch.out → ...er/02-teaching-old-toys-new-tricks.ch.out
diff --git a/...emer/03-seeing-old-friends-in-new-ways.ch → ...emer/03-seeing-old-friends-in-new-ways.ch b/...emer/03-seeing-old-friends-in-new-ways.ch → ...emer/03-seeing-old-friends-in-new-ways.ch
diff --git a/.../03-seeing-old-friends-in-new-ways.ch.out → .../03-seeing-old-friends-in-new-ways.ch.out b/.../03-seeing-old-friends-in-new-ways.ch.out → .../03-seeing-old-friends-in-new-ways.ch.out
@@ -1,3 +1,67 @@
+[]
+[]
+["pea"]
+["pea"]
+[_.0]
+[_.0]
+[_.0]
+[_.0]
+[[_.0]]
+[_.0]
+[_.0]
+["pod"]
+[[_.0, _.0]]
+[[_.0, _.1]]
+[[_.0, _.1]]
+[[_.0, _.1, _.0]]
+[]
+[]
+[_.0]
+["corn"]
+[]
+[]
+[]
+["corn"]
+["tea", "cup"]
+[ 
+  ["tea", "tea"],
+  ["tea", "cup"],
+  ["cup", "tea"],
+  ["cup", "cup"]
+]
+[["tea", _.0], ["cup", _.0]]
+[["tea", _.0], ["cup", _.0]]
+["a"]
+[_.0]
+["pear"]
+[["grape", "a"]]
+["o"]
+[[["raisin", "pear"], "a"]]
+[_.0]
+["o"]
+[["a", "c", "o", "r", "n"]]
+[[["a", "b", "c"], "d", "e"]]
+["d"]
+[["e", "a", "d", "c"]]
+["d"]
+[["d", "a", "d", "c"]]
+[["d", "a", "d", "c"]]
+[["b", "o", "n", "u", "s"]]
+[]
+[_.0]
+[[]]
+[[_.0, _.1, "salad"]]
+[_.0]
+[]
+[]
+[[_.0 | _.1]]
+[_.0]
+[_.0]
+[_.0]
+[]
+[]
+[]
+[]
 [_.0]
 [[]]
 [ 

diff --git a/...he-reasoned-schemer/04-double-your-fun.ch → ...he-reasoned-schemer/04-double-your-fun.ch b/...he-reasoned-schemer/04-double-your-fun.ch → ...he-reasoned-schemer/04-double-your-fun.ch
diff --git a/...easoned-schemer/04-double-your-fun.ch.out → ...easoned-schemer/04-double-your-fun.ch.out b/...easoned-schemer/04-double-your-fun.ch.out → ...easoned-schemer/04-double-your-fun.ch.out
@@ -1,3 +1,34 @@
+["a"]
+[_.0]
+["pear"]
+[["grape", "a"]]
+["o"]
+[[["raisin", "pear"], "a"]]
+[_.0]
+["o"]
+[["a", "c", "o", "r", "n"]]
+[[["a", "b", "c"], "d", "e"]]
+["d"]
+[["e", "a", "d", "c"]]
+["d"]
+[["d", "a", "d", "c"]]
+[["d", "a", "d", "c"]]
+[["b", "o", "n", "u", "s"]]
+[]
+[_.0]
+[[]]
+[[_.0, _.1, "salad"]]
+[_.0]
+[]
+[]
+[[_.0 | _.1]]
+[_.0]
+[_.0]
+[_.0]
+[]
+[]
+[]
+[]
 [[1, 2, 3, 4, 5]]
 [[4, 5]]
 []

diff --git a/...s/the-reasoned-schemer/05-members-only.ch → ...s/the-reasoned-schemer/05-members-only.ch b/...s/the-reasoned-schemer/05-members-only.ch → ...s/the-reasoned-schemer/05-members-only.ch
diff --git a/...e-reasoned-schemer/05-members-only.ch.out → ...e-reasoned-schemer/05-members-only.ch.out b/...e-reasoned-schemer/05-members-only.ch.out → ...e-reasoned-schemer/05-members-only.ch.out
@@ -1,3 +1,34 @@
+["a"]
+[_.0]
+["pear"]
+[["grape", "a"]]
+["o"]
+[[["raisin", "pear"], "a"]]
+[_.0]
+["o"]
+[["a", "c", "o", "r", "n"]]
+[[["a", "b", "c"], "d", "e"]]
+["d"]
+[["e", "a", "d", "c"]]
+["d"]
+[["d", "a", "d", "c"]]
+[["d", "a", "d", "c"]]
+[["b", "o", "n", "u", "s"]]
+[]
+[_.0]
+[[]]
+[[_.0, _.1, "salad"]]
+[_.0]
+[]
+[]
+[[_.0 | _.1]]
+[_.0]
+[_.0]
+[_.0]
+[]
+[]
+[]
+[]
 [["fig", "beet", "roll", "pea"]]
 []
 []

diff --git a/...reasoned-schemer/06-the-fun-never-ends.ch → ...reasoned-schemer/06-the-fun-never-ends.ch b/...reasoned-schemer/06-the-fun-never-ends.ch → ...reasoned-schemer/06-the-fun-never-ends.ch
diff --git a/examples/books/the-reasoned-schemer/06-the-fun-never-ends.ch.out b/examples/books/the-reasoned-schemer/06-the-fun-never-ends.ch.out
@@ -0,0 +1,38 @@
+[]
+[]
+["pea"]
+["pea"]
+[_.0]
+[_.0]
+[_.0]
+[_.0]
+[[_.0]]
+[_.0]
+[_.0]
+["pod"]
+[[_.0, _.0]]
+[[_.0, _.1]]
+[[_.0, _.1]]
+[[_.0, _.1, _.0]]
+[]
+[]
+[_.0]
+["corn"]
+[]
+[]
+[]
+["corn"]
+["tea", "cup"]
+[ 
+  ["tea", "tea"],
+  ["tea", "cup"],
+  ["cup", "tea"],
+  ["cup", "cup"]
+]
+[["tea", _.0], ["cup", _.0]]
+[["tea", _.0], ["cup", _.0]]
+[_.0, _.0, _.0]
+["onion", "onion", "onion"]
+["onion", "onion", "onion"]
+[]
+[]
diff --git a/...the-reasoned-schemer/07-a-bit-too-much.ch → ...the-reasoned-schemer/07-a-bit-too-much.ch b/...the-reasoned-schemer/07-a-bit-too-much.ch → ...the-reasoned-schemer/07-a-bit-too-much.ch
diff --git a/...reasoned-schemer/07-a-bit-too-much.ch.out → ...reasoned-schemer/07-a-bit-too-much.ch.out b/...reasoned-schemer/07-a-bit-too-much.ch.out → ...reasoned-schemer/07-a-bit-too-much.ch.out
diff --git a/...he-reasoned-schemer/08-just-a-bit-more.ch → ...he-reasoned-schemer/08-just-a-bit-more.ch b/...he-reasoned-schemer/08-just-a-bit-more.ch → ...he-reasoned-schemer/08-just-a-bit-more.ch
diff --git a/examples/books/the-reasoned-schemer/08-just-a-bit-more.ch.out b/examples/books/the-reasoned-schemer/08-just-a-bit-more.ch.out
@@ -0,0 +1,132 @@
+[0, 1]
+[[0, 0], [1, 1]]
+[[0, 1], [1, 0]]
+[[0, 0, 0], [0, 1, 1], [1, 0, 1], [1, 1, 0]]
+[[1, 1]]
+[0]
+[[0, 0, 0, 0], [0, 1, 1, 0], [1, 0, 1, 0], [1, 1, 0, 1]]
+[[0, 1]]
+[[1, 1]]
+[ 
+  [0, 0, 0, 0, 0],
+  [1, 0, 0, 1, 0],
+  [0, 0, 1, 1, 0],
+  [1, 0, 1, 0, 1],
+  [0, 1, 0, 1, 0],
+  [1, 1, 0, 0, 1],
+  [0, 1, 1, 0, 1],
+  [1, 1, 1, 1, 1]
+]
+[_.0]
+[_.0]
+[]
+[[_.0 | _.1]]
+[_.0]
+[_.0]
+[]
+[]
+[[_.0, _.1 | _.2]]
+[[_.0, [], _.0], [[], [_.0 | _.1], [_.0 | _.1]]]
+[ 
+  [_.0, [], _.0],
+  [[], [_.0 | _.1], [_.0 | _.1]],
+  [[1], [1], [0, 1]]
+]
+[ 
+  [_.0, [], _.0],
+  [[], [_.0 | _.1], [_.0 | _.1]],
+  [[1], [1], [0, 1]],
+  [[1], [0, _.0 | _.1], [1, _.0 | _.1]]
+]
+[ 
+  [_.0, [], _.0],
+  [[], [_.0 | _.1], [_.0 | _.1]],
+  [[1], [1], [0, 1]],
+  [[1], [0, _.0 | _.1], [1, _.0 | _.1]],
+  [[0, _.0 | _.1], [1], [1, _.0 | _.1]]
+]
+[ 
+  [_.0, [], _.0],
+  [[], [_.0 | _.1], [_.0 | _.1]],
+  [[1], [1], [0, 1]],
+  [[1], [0, _.0 | _.1], [1, _.0 | _.1]],
+  [[0, _.0 | _.1], [1], [1, _.0 | _.1]],
+  [[0, 1], [0, 1], [0, 0, 1]],
+  [[0, 1], [1, 1], [1, 0, 1]],
+  [[1, 1], [0, 1], [1, 0, 1]],
+  [[1, 1], [1, 1], [0, 1, 1]],
+  [[1], [1, 1], [0, 0, 1]],
+  [[1, 1], [1], [0, 0, 1]],
+  [[0, 1], [0, 0, _.0 | _.1], [0, 1, _.0 | _.1]],
+  [[0, 1], [1, 0, _.0 | _.1], [1, 1, _.0 | _.1]],
+  [[1, 1], [0, 0, _.0 | _.1], [1, 1, _.0 | _.1]],
+  [[1], [1, 0, _.0 | _.1], [0, 1, _.0 | _.1]],
+  [[0, 0, _.0 | _.1], [0, 1], [0, 1, _.0 | _.1]],
+  [[0, 0, _.0 | _.1], [1, 1], [1, 1, _.0 | _.1]],
+  [[1, 0, _.0 | _.1], [0, 1], [1, 1, _.0 | _.1]],
+  [[1, 0, _.0 | _.1], [1], [0, 1, _.0 | _.1]]
+]
+[ 
+  [[1, 0, 1], []],
+  [[], [1, 0, 1]],
+  [[1], [0, 0, 1]],
+  [[0, 0, 1], [1]],
+  [[0, 1], [1, 1]],
+  [[1, 1], [0, 1]]
+]
+[[[1], []], [[], [1]]]
+[[[0, 1], []], [[], [0, 1]], [[1], [1]]]
+[[[1, 1], []], [[], [1, 1]], [[1], [0, 1]], [[0, 1], [1]]]
+[ 
+  [[1, 0, 1], []],
+  [[], [1, 0, 1]],
+  [[1], [0, 0, 1]],
+  [[0, 0, 1], [1]],
+  [[0, 1], [1, 1]],
+  [[1, 1], [0, 1]]
+]
+[[]]
+[]
+[[0, 1]]
+[[1, 1]]
+[[0, 0, 0, 1]]
+[[1, 1]]
+[[_.0]]
+[[_.0, _.1]]
+[[], [1], [0, 1]]
+[ 
+  [[], _.0, []],
+  [[_.0 | _.1], [], []],
+  [[1], [_.0 | _.1], [_.0 | _.1]],
+  [[_.0, _.1 | _.2], [1], [_.0, _.1 | _.2]],
+  [[0, 1], [_.0, _.1 | _.2], [0, _.0, _.1 | _.2]],
+  [[1, _.0 | _.1], [0, 1], [0, 1, _.0 | _.1]],
+  [[0, 0, 1], [_.0, _.1 | _.2], [0, 0, _.0, _.1 | _.2]],
+  [[0, 1, _.0 | _.1], [0, 1], [0, 0, 1, _.0 | _.1]],
+  [[1, _.0 | _.1], [0, 0, 1], [0, 0, 1, _.0 | _.1]],
+  [[0, 0, 0, 1], [_.0, _.1 | _.2], [0, 0, 0, _.0, _.1 | _.2]]
+]
+[[0, 0, 0, 1]]
+[[[1, 1], [1, 1], [1, 0, 0, 1]]]
+[[[1], [1]]]
+[[[1], [1, 1]], [[1, 1], [1]]]
+[]
+[[[1], [1]]]
+[[1, 0, 0, 1, 1, 1, 0, 1, 1]]
+[[_.0, _.1, [_.2, 1]]]
+[1]
+[[_.0, 1]]
+[ 
+  [[], []],
+  [[1], [1]],
+  [[_.0, 1], [_.1, 1]],
+  [[_.0, _.1, 1], [_.2, _.3, 1]],
+  [[_.0, _.1, _.2, 1], [_.3, _.4, _.5, 1]]
+]
+[ 
+  [[1], [1]],
+  [[_.0, 1], [_.1, 1]],
+  [[_.0, _.1, 1], [_.2, _.3, 1]],
+  [[_.0, _.1, _.2, 1], [_.3, _.4, _.5, 1]],
+  [[_.0, _.1, _.2, _.3, 1], [_.4, _.5, _.6, _.7, 1]]
+]
diff --git a/...books/the-reasoned-schemer/09-thin-ice.ch → ...books/the-reasoned-schemer/09-thin-ice.ch b/...books/the-reasoned-schemer/09-thin-ice.ch → ...books/the-reasoned-schemer/09-thin-ice.ch
diff --git a/...the-reasoned-schemer/10-under-the-hood.ch → ...the-reasoned-schemer/10-under-the-hood.ch b/...the-reasoned-schemer/10-under-the-hood.ch → ...the-reasoned-schemer/10-under-the-hood.ch
diff --git a/docs/examples/langs/lambda-closure.ch → examples/langs/lambda-closure.ch b/docs/examples/langs/lambda-closure.ch → examples/langs/lambda-closure.ch
diff --git a/docs/examples/langs/lambda-closure.ch.out → examples/langs/lambda-closure.ch.out b/docs/examples/langs/lambda-closure.ch.out → examples/langs/lambda-closure.ch.out
diff --git a/docs/examples/langs/lambda-simple-type.ch → examples/langs/lambda-simple-type.ch b/docs/examples/langs/lambda-simple-type.ch → examples/langs/lambda-simple-type.ch
diff --git a/.../examples/langs/lambda-simple-type.ch.out → examples/langs/lambda-simple-type.ch.out b/.../examples/langs/lambda-simple-type.ch.out → examples/langs/lambda-simple-type.ch.out
diff --git a/docs/examples/std/list/Append.ch → examples/std/list/Append.ch b/docs/examples/std/list/Append.ch → examples/std/list/Append.ch
diff --git a/docs/examples/std/list/Append.test.ch → examples/std/list/Append.test.ch b/docs/examples/std/list/Append.test.ch → examples/std/list/Append.test.ch
diff --git a/docs/examples/std/list/Append.test.ch.out → examples/std/list/Append.test.ch.out b/docs/examples/std/list/Append.test.ch.out → examples/std/list/Append.test.ch.out
diff --git a/docs/examples/std/list/Lookup.ch → examples/std/list/Lookup.ch b/docs/examples/std/list/Lookup.ch → examples/std/list/Lookup.ch
diff --git a/docs/examples/std/list/Lookup.test.ch → examples/std/list/Lookup.test.ch b/docs/examples/std/list/Lookup.test.ch → examples/std/list/Lookup.test.ch
diff --git a/docs/examples/std/list/Lookup.test.ch.out → examples/std/list/Lookup.test.ch.out b/docs/examples/std/list/Lookup.test.ch.out → examples/std/list/Lookup.test.ch.out
diff --git a/docs/examples/std/list/index.ch → examples/std/list/index.ch b/docs/examples/std/list/index.ch → examples/std/list/index.ch
diff --git a/docs/examples/std/nat/Add.ch → examples/std/nat/Add.ch b/docs/examples/std/nat/Add.ch → examples/std/nat/Add.ch
diff --git a/docs/examples/std/nat/Add.test.ch → examples/std/nat/Add.test.ch b/docs/examples/std/nat/Add.test.ch → examples/std/nat/Add.test.ch
diff --git a/docs/examples/std/nat/Add.test.ch.out → examples/std/nat/Add.test.ch.out b/docs/examples/std/nat/Add.test.ch.out → examples/std/nat/Add.test.ch.out
diff --git a/docs/examples/std/nat/Mul.ch → examples/std/nat/Mul.ch b/docs/examples/std/nat/Mul.ch → examples/std/nat/Mul.ch
diff --git a/docs/examples/std/nat/Mul.test.ch → examples/std/nat/Mul.test.ch b/docs/examples/std/nat/Mul.test.ch → examples/std/nat/Mul.test.ch
diff --git a/docs/examples/std/nat/Mul.test.ch.out → examples/std/nat/Mul.test.ch.out b/docs/examples/std/nat/Mul.test.ch.out → examples/std/nat/Mul.test.ch.out
diff --git a/docs/examples/std/nat/Nat.ch → examples/std/nat/Nat.ch b/docs/examples/std/nat/Nat.ch → examples/std/nat/Nat.ch
diff --git a/docs/examples/std/nat/index.ch → examples/std/nat/index.ch b/docs/examples/std/nat/index.ch → examples/std/nat/index.ch
diff --git a/docs/examples/std/nat/numbers.ch → examples/std/nat/numbers.ch b/docs/examples/std/nat/numbers.ch → examples/std/nat/numbers.ch
diff --git a/docs/examples/std/nat/play.ch → examples/std/nat/play.ch b/docs/examples/std/nat/play.ch → examples/std/nat/play.ch
diff --git a/docs/examples/std/nat/play.ch.out → examples/std/nat/play.ch.out b/docs/examples/std/nat/play.ch.out → examples/std/nat/play.ch.out
diff --git a/docs/examples/std/trilean/Trilean.ch → examples/std/trilean/Trilean.ch b/docs/examples/std/trilean/Trilean.ch → examples/std/trilean/Trilean.ch
diff --git a/docs/examples/std/trilean/Trilean.ch.out → examples/std/trilean/Trilean.ch.out b/docs/examples/std/trilean/Trilean.ch.out → examples/std/trilean/Trilean.ch.out
diff --git a/...xamples/tests/basic/assert-false.error.ch → examples/tests/basic/assert-false.error.ch b/...xamples/tests/basic/assert-false.error.ch → examples/tests/basic/assert-false.error.ch
diff --git a/...les/tests/basic/assert-false.error.ch.err → ...les/tests/basic/assert-false.error.ch.err b/...les/tests/basic/assert-false.error.ch.err → ...les/tests/basic/assert-false.error.ch.err
diff --git a/...s/tests/basic/assert-non-boolean.error.ch → ...s/tests/basic/assert-non-boolean.error.ch b/...s/tests/basic/assert-non-boolean.error.ch → ...s/tests/basic/assert-non-boolean.error.ch
diff --git a/...sts/basic/assert-non-boolean.error.ch.err → ...sts/basic/assert-non-boolean.error.ch.err b/...sts/basic/assert-non-boolean.error.ch.err → ...sts/basic/assert-non-boolean.error.ch.err
diff --git a/docs/examples/tests/basic/assert.ch → examples/tests/basic/assert.ch b/docs/examples/tests/basic/assert.ch → examples/tests/basic/assert.ch
diff --git a/docs/examples/tests/basic/compute.ch → examples/tests/basic/compute.ch b/docs/examples/tests/basic/compute.ch → examples/tests/basic/compute.ch
diff --git a/docs/examples/tests/basic/compute.ch.out → examples/tests/basic/compute.ch.out b/docs/examples/tests/basic/compute.ch.out → examples/tests/basic/compute.ch.out
diff --git a/docs/examples/tests/basic/currying.ch → examples/tests/basic/currying.ch b/docs/examples/tests/basic/currying.ch → examples/tests/basic/currying.ch
diff --git a/docs/examples/tests/basic/currying.ch.out → examples/tests/basic/currying.ch.out b/docs/examples/tests/basic/currying.ch.out → examples/tests/basic/currying.ch.out
diff --git a/docs/examples/tests/basic/dot.ch → examples/tests/basic/dot.ch b/docs/examples/tests/basic/dot.ch → examples/tests/basic/dot.ch
diff --git a/docs/examples/tests/basic/function-print.ch → examples/tests/basic/function-print.ch b/docs/examples/tests/basic/function-print.ch → examples/tests/basic/function-print.ch
diff --git a/...xamples/tests/basic/function-print.ch.out → examples/tests/basic/function-print.ch.out b/...xamples/tests/basic/function-print.ch.out → examples/tests/basic/function-print.ch.out
@@ -17,3 +17,5 @@
   }
   return null
 }
+"hi"
+3
diff --git a/...mples/tests/basic/function-with-clause.ch → examples/tests/basic/function-with-clause.ch b/...mples/tests/basic/function-with-clause.ch → examples/tests/basic/function-with-clause.ch
diff --git a/...s/tests/basic/function-with-clause.ch.out → ...s/tests/basic/function-with-clause.ch.out b/...s/tests/basic/function-with-clause.ch.out → ...s/tests/basic/function-with-clause.ch.out
@@ -6,3 +6,4 @@
   }
   print results
 }
+[["hi", "xieyuheng"]]
diff --git a/...tests/basic/function-with-early-return.ch → ...tests/basic/function-with-early-return.ch b/...tests/basic/function-with-early-return.ch → ...tests/basic/function-with-early-return.ch
diff --git a/...s/basic/function-with-early-return.ch.out → ...s/basic/function-with-early-return.ch.out b/...s/basic/function-with-early-return.ch.out → ...s/basic/function-with-early-return.ch.out
diff --git a/.../basic/function-with-return-expression.ch → .../basic/function-with-return-expression.ch b/.../basic/function-with-return-expression.ch → .../basic/function-with-return-expression.ch
diff --git a/...ic/function-with-return-expression.ch.out → ...ic/function-with-return-expression.ch.out b/...ic/function-with-return-expression.ch.out → ...ic/function-with-return-expression.ch.out
diff --git a/.../tests/basic/function-with-return-null.ch → .../tests/basic/function-with-return-null.ch b/.../tests/basic/function-with-return-null.ch → .../tests/basic/function-with-return-null.ch
diff --git a/...ts/basic/function-with-return-null.ch.out → ...ts/basic/function-with-return-null.ch.out b/...ts/basic/function-with-return-null.ch.out → ...ts/basic/function-with-return-null.ch.out
diff --git a/docs/examples/tests/basic/function.ch → examples/tests/basic/function.ch b/docs/examples/tests/basic/function.ch → examples/tests/basic/function.ch
diff --git a/docs/examples/tests/basic/function.ch.out → examples/tests/basic/function.ch.out b/docs/examples/tests/basic/function.ch.out → examples/tests/basic/function.ch.out
diff --git a/docs/examples/tests/basic/if-else-if.ch → examples/tests/basic/if-else-if.ch b/docs/examples/tests/basic/if-else-if.ch → examples/tests/basic/if-else-if.ch
diff --git a/docs/examples/tests/basic/if-else-if.ch.out → examples/tests/basic/if-else-if.ch.out b/docs/examples/tests/basic/if-else-if.ch.out → examples/tests/basic/if-else-if.ch.out
diff --git a/...amples/tests/basic/if-exp-without-else.ch → examples/tests/basic/if-exp-without-else.ch b/...amples/tests/basic/if-exp-without-else.ch → examples/tests/basic/if-exp-without-else.ch
diff --git a/...es/tests/basic/if-exp-without-else.ch.out → ...es/tests/basic/if-exp-without-else.ch.out b/...es/tests/basic/if-exp-without-else.ch.out → ...es/tests/basic/if-exp-without-else.ch.out
diff --git a/docs/examples/tests/basic/if-exp.ch → examples/tests/basic/if-exp.ch b/docs/examples/tests/basic/if-exp.ch → examples/tests/basic/if-exp.ch
diff --git a/docs/examples/tests/basic/if-exp.ch.out → examples/tests/basic/if-exp.ch.out b/docs/examples/tests/basic/if-exp.ch.out → examples/tests/basic/if-exp.ch.out
diff --git a/...ests/basic/if-non-boolean-target.error.ch → ...ests/basic/if-non-boolean-target.error.ch b/...ests/basic/if-non-boolean-target.error.ch → ...ests/basic/if-non-boolean-target.error.ch
diff --git a/.../basic/if-non-boolean-target.error.ch.err → .../basic/if-non-boolean-target.error.ch.err b/.../basic/if-non-boolean-target.error.ch.err → .../basic/if-non-boolean-target.error.ch.err
diff --git a/docs/examples/tests/basic/if-without-else.ch → examples/tests/basic/if-without-else.ch b/docs/examples/tests/basic/if-without-else.ch → examples/tests/basic/if-without-else.ch
diff --git a/...amples/tests/basic/if-without-else.ch.out → examples/tests/basic/if-without-else.ch.out b/...amples/tests/basic/if-without-else.ch.out → examples/tests/basic/if-without-else.ch.out
diff --git a/docs/examples/tests/basic/if.ch → examples/tests/basic/if.ch b/docs/examples/tests/basic/if.ch → examples/tests/basic/if.ch
diff --git a/docs/examples/tests/basic/if.ch.out → examples/tests/basic/if.ch.out b/docs/examples/tests/basic/if.ch.out → examples/tests/basic/if.ch.out
diff --git a/docs/examples/tests/basic/let.ch → examples/tests/basic/let.ch b/docs/examples/tests/basic/let.ch → examples/tests/basic/let.ch
diff --git a/docs/examples/tests/basic/print.ch → examples/tests/basic/print.ch b/docs/examples/tests/basic/print.ch → examples/tests/basic/print.ch
diff --git a/docs/examples/tests/basic/print.ch.out → examples/tests/basic/print.ch.out b/docs/examples/tests/basic/print.ch.out → examples/tests/basic/print.ch.out
diff --git a/docs/examples/tests/constraints/not-equal.ch → examples/tests/constraints/not-equal.ch b/docs/examples/tests/constraints/not-equal.ch → examples/tests/constraints/not-equal.ch
diff --git a/...amples/tests/constraints/not-equal.ch.out → examples/tests/constraints/not-equal.ch.out b/...amples/tests/constraints/not-equal.ch.out → examples/tests/constraints/not-equal.ch.out
diff --git a/...xamples/tests/constraints/number-types.ch → examples/tests/constraints/number-types.ch b/...xamples/tests/constraints/number-types.ch → examples/tests/constraints/number-types.ch
diff --git a/...les/tests/constraints/number-types.ch.out → ...les/tests/constraints/number-types.ch.out b/...les/tests/constraints/number-types.ch.out → ...les/tests/constraints/number-types.ch.out
diff --git a/...xamples/tests/constraints/string-types.ch → examples/tests/constraints/string-types.ch b/...xamples/tests/constraints/string-types.ch → examples/tests/constraints/string-types.ch
diff --git a/...les/tests/constraints/string-types.ch.out → ...les/tests/constraints/string-types.ch.out b/...les/tests/constraints/string-types.ch.out → ...les/tests/constraints/string-types.ch.out
diff --git a/...entions/no-misused-variable-name.error.ch → ...entions/no-misused-variable-name.error.ch b/...entions/no-misused-variable-name.error.ch → ...entions/no-misused-variable-name.error.ch
diff --git a/...ons/no-misused-variable-name.error.ch.err → ...ons/no-misused-variable-name.error.ch.err b/...ons/no-misused-variable-name.error.ch.err → ...ons/no-misused-variable-name.error.ch.err
diff --git a/...ventions/no-unused-variable-name.error.ch → ...ventions/no-unused-variable-name.error.ch b/...ventions/no-unused-variable-name.error.ch → ...ventions/no-unused-variable-name.error.ch
diff --git a/...ions/no-unused-variable-name.error.ch.err → ...ions/no-unused-variable-name.error.ch.err b/...ions/no-unused-variable-name.error.ch.err → ...ions/no-unused-variable-name.error.ch.err
diff --git a/...ariable-name-can-starts-with-uppercase.ch → ...ariable-name-can-starts-with-uppercase.ch b/...ariable-name-can-starts-with-uppercase.ch → ...ariable-name-can-starts-with-uppercase.ch
diff --git a/...ble-name-can-starts-with-uppercase.ch.out → ...ble-name-can-starts-with-uppercase.ch.out b/...ble-name-can-starts-with-uppercase.ch.out → ...ble-name-can-starts-with-uppercase.ch.out
diff --git a/...conventions/preserved-name-false.error.ch → ...conventions/preserved-name-false.error.ch b/...conventions/preserved-name-false.error.ch → ...conventions/preserved-name-false.error.ch
diff --git a/...entions/preserved-name-false.error.ch.err → ...entions/preserved-name-false.error.ch.err b/...entions/preserved-name-false.error.ch.err → ...entions/preserved-name-false.error.ch.err
diff --git a/.../conventions/preserved-name-null.error.ch → .../conventions/preserved-name-null.error.ch b/.../conventions/preserved-name-null.error.ch → .../conventions/preserved-name-null.error.ch
diff --git a/...ventions/preserved-name-null.error.ch.err → ...ventions/preserved-name-null.error.ch.err b/...ventions/preserved-name-null.error.ch.err → ...ventions/preserved-name-null.error.ch.err
diff --git a/.../conventions/preserved-name-true.error.ch → .../conventions/preserved-name-true.error.ch b/.../conventions/preserved-name-true.error.ch → .../conventions/preserved-name-true.error.ch
diff --git a/...ventions/preserved-name-true.error.ch.err → ...ventions/preserved-name-true.error.ch.err b/...ventions/preserved-name-true.error.ch.err → ...ventions/preserved-name-true.error.ch.err
diff --git a/...ventions/relation-arity-mismatch.error.ch → ...ventions/relation-arity-mismatch.error.ch b/...ventions/relation-arity-mismatch.error.ch → ...ventions/relation-arity-mismatch.error.ch
diff --git a/...ions/relation-arity-mismatch.error.ch.err → ...ions/relation-arity-mismatch.error.ch.err b/...ions/relation-arity-mismatch.error.ch.err → ...ions/relation-arity-mismatch.error.ch.err
diff --git a/...-name-must-starts-with-uppercase.error.ch → ...-name-must-starts-with-uppercase.error.ch b/...-name-must-starts-with-uppercase.error.ch → ...-name-must-starts-with-uppercase.error.ch
diff --git a/...e-must-starts-with-uppercase.error.ch.err → ...e-must-starts-with-uppercase.error.ch.err b/...e-must-starts-with-uppercase.error.ch.err → ...e-must-starts-with-uppercase.error.ch.err
diff --git a/docs/examples/tests/globals/boolean.ch → examples/tests/globals/boolean.ch b/docs/examples/tests/globals/boolean.ch → examples/tests/globals/boolean.ch
diff --git a/docs/examples/tests/globals/boolean.ch.out → examples/tests/globals/boolean.ch.out b/docs/examples/tests/globals/boolean.ch.out → examples/tests/globals/boolean.ch.out
diff --git a/docs/examples/tests/globals/equal.ch → examples/tests/globals/equal.ch b/docs/examples/tests/globals/equal.ch → examples/tests/globals/equal.ch
diff --git a/docs/examples/tests/globals/not-equal.ch → examples/tests/globals/not-equal.ch b/docs/examples/tests/globals/not-equal.ch → examples/tests/globals/not-equal.ch
diff --git a/docs/examples/tests/globals/not-equal.ch.out → examples/tests/globals/not-equal.ch.out b/docs/examples/tests/globals/not-equal.ch.out → examples/tests/globals/not-equal.ch.out
diff --git a/docs/examples/tests/globals/null-shadowed.ch → examples/tests/globals/null-shadowed.ch b/docs/examples/tests/globals/null-shadowed.ch → examples/tests/globals/null-shadowed.ch
diff --git a/...amples/tests/globals/null-shadowed.ch.out → examples/tests/globals/null-shadowed.ch.out b/...amples/tests/globals/null-shadowed.ch.out → examples/tests/globals/null-shadowed.ch.out
diff --git a/docs/examples/tests/globals/null.ch → examples/tests/globals/null.ch b/docs/examples/tests/globals/null.ch → examples/tests/globals/null.ch
diff --git a/docs/examples/tests/globals/null.ch.out → examples/tests/globals/null.ch.out b/docs/examples/tests/globals/null.ch.out → examples/tests/globals/null.ch.out
diff --git a/...al/goal-apply-too-many-arguments.error.ch → ...al/goal-apply-too-many-arguments.error.ch b/...al/goal-apply-too-many-arguments.error.ch → ...al/goal-apply-too-many-arguments.error.ch
diff --git a/...oal-apply-too-many-arguments.error.ch.err → ...oal-apply-too-many-arguments.error.ch.err b/...oal-apply-too-many-arguments.error.ch.err → ...oal-apply-too-many-arguments.error.ch.err
diff --git a/docs/examples/tests/goal/goal.ch → examples/tests/goal/goal.ch b/docs/examples/tests/goal/goal.ch → examples/tests/goal/goal.ch
diff --git a/docs/examples/tests/goal/goal.ch.out → examples/tests/goal/goal.ch.out b/docs/examples/tests/goal/goal.ch.out → examples/tests/goal/goal.ch.out
diff --git a/docs/examples/tests/json/array.ch → examples/tests/json/array.ch b/docs/examples/tests/json/array.ch → examples/tests/json/array.ch
diff --git a/docs/examples/tests/json/array.ch.out → examples/tests/json/array.ch.out b/docs/examples/tests/json/array.ch.out → examples/tests/json/array.ch.out
diff --git a/docs/examples/tests/json/boolean.ch → examples/tests/json/boolean.ch b/docs/examples/tests/json/boolean.ch → examples/tests/json/boolean.ch
diff --git a/docs/examples/tests/json/boolean.ch.out → examples/tests/json/boolean.ch.out b/docs/examples/tests/json/boolean.ch.out → examples/tests/json/boolean.ch.out
diff --git a/docs/examples/tests/json/null.ch → examples/tests/json/null.ch b/docs/examples/tests/json/null.ch → examples/tests/json/null.ch
diff --git a/docs/examples/tests/json/null.ch.out → examples/tests/json/null.ch.out b/docs/examples/tests/json/null.ch.out → examples/tests/json/null.ch.out
diff --git a/docs/examples/tests/json/number.ch → examples/tests/json/number.ch b/docs/examples/tests/json/number.ch → examples/tests/json/number.ch
diff --git a/docs/examples/tests/json/number.ch.out → examples/tests/json/number.ch.out b/docs/examples/tests/json/number.ch.out → examples/tests/json/number.ch.out
diff --git a/docs/examples/tests/json/object.ch → examples/tests/json/object.ch b/docs/examples/tests/json/object.ch → examples/tests/json/object.ch
diff --git a/docs/examples/tests/json/object.ch.out → examples/tests/json/object.ch.out b/docs/examples/tests/json/object.ch.out → examples/tests/json/object.ch.out
diff --git a/docs/examples/tests/json/string.ch → examples/tests/json/string.ch b/docs/examples/tests/json/string.ch → examples/tests/json/string.ch
diff --git a/docs/examples/tests/json/string.ch.out → examples/tests/json/string.ch.out b/docs/examples/tests/json/string.ch.out → examples/tests/json/string.ch.out
diff --git a/docs/examples/tests/module/A.ch → examples/tests/module/A.ch b/docs/examples/tests/module/A.ch → examples/tests/module/A.ch
diff --git a/docs/examples/tests/module/A.ch.out → examples/tests/module/A.ch.out b/docs/examples/tests/module/A.ch.out → examples/tests/module/A.ch.out
diff --git a/docs/examples/tests/module/AB.ch → examples/tests/module/AB.ch b/docs/examples/tests/module/AB.ch → examples/tests/module/AB.ch
diff --git a/docs/examples/tests/module/AB.ch.out → examples/tests/module/AB.ch.out b/docs/examples/tests/module/AB.ch.out → examples/tests/module/AB.ch.out
@@ -1 +1,2 @@
+[["a"]]
 [["a", "b"]]
diff --git a/docs/examples/tests/module/ABC.ch → examples/tests/module/ABC.ch b/docs/examples/tests/module/ABC.ch → examples/tests/module/ABC.ch
diff --git a/examples/tests/module/ABC.ch.out b/examples/tests/module/ABC.ch.out
@@ -0,0 +1,3 @@
+[["a"]]
+[["a", "b"]]
+[["a", "b", "c"]]
diff --git a/docs/examples/tests/module/example.ch → examples/tests/module/example.ch b/docs/examples/tests/module/example.ch → examples/tests/module/example.ch
diff --git a/docs/examples/tests/module/import-all-as.ch → examples/tests/module/import-all-as.ch b/docs/examples/tests/module/import-all-as.ch → examples/tests/module/import-all-as.ch
diff --git a/...xamples/tests/module/import-all-as.ch.out → examples/tests/module/import-all-as.ch.out b/...xamples/tests/module/import-all-as.ch.out → examples/tests/module/import-all-as.ch.out
diff --git a/.../tests/module/import-all-private.error.ch → .../tests/module/import-all-private.error.ch b/.../tests/module/import-all-private.error.ch → .../tests/module/import-all-private.error.ch
diff --git a/...ts/module/import-all-private.error.ch.err → ...ts/module/import-all-private.error.ch.err b/...ts/module/import-all-private.error.ch.err → ...ts/module/import-all-private.error.ch.err
diff --git a/docs/examples/tests/module/import-all.ch → examples/tests/module/import-all.ch b/docs/examples/tests/module/import-all.ch → examples/tests/module/import-all.ch
diff --git a/docs/examples/tests/module/import-all.ch.out → examples/tests/module/import-all.ch.out b/docs/examples/tests/module/import-all.ch.out → examples/tests/module/import-all.ch.out
diff --git a/...ples/tests/module/import-private.error.ch → ...ples/tests/module/import-private.error.ch b/...ples/tests/module/import-private.error.ch → ...ples/tests/module/import-private.error.ch
diff --git a/.../tests/module/import-private.error.ch.err → .../tests/module/import-private.error.ch.err b/.../tests/module/import-private.error.ch.err → .../tests/module/import-private.error.ch.err
diff --git a/...s/module/imported-name-can-be-shadowed.ch → ...s/module/imported-name-can-be-shadowed.ch b/...s/module/imported-name-can-be-shadowed.ch → ...s/module/imported-name-can-be-shadowed.ch
diff --git a/...dule/imported-name-can-be-shadowed.ch.out → ...dule/imported-name-can-be-shadowed.ch.out b/...dule/imported-name-can-be-shadowed.ch.out → ...dule/imported-name-can-be-shadowed.ch.out
@@ -1,2 +1,3 @@
 [["a"]]
+[["a"]]
 [["b"]]
diff --git a/...ts/object/construct-object-by-relation.ch → ...ts/object/construct-object-by-relation.ch b/...ts/object/construct-object-by-relation.ch → ...ts/object/construct-object-by-relation.ch
diff --git a/...bject/construct-object-by-relation.ch.out → ...bject/construct-object-by-relation.ch.out b/...bject/construct-object-by-relation.ch.out → ...bject/construct-object-by-relation.ch.out
diff --git a/...ests/object/merge-properties-to-object.ch → ...ests/object/merge-properties-to-object.ch b/...ests/object/merge-properties-to-object.ch → ...ests/object/merge-properties-to-object.ch
diff --git a/.../object/merge-properties-to-object.ch.out → .../object/merge-properties-to-object.ch.out b/.../object/merge-properties-to-object.ch.out → .../object/merge-properties-to-object.ch.out
diff --git a/docs/examples/tests/relation/conj.ch → examples/tests/relation/conj.ch b/docs/examples/tests/relation/conj.ch → examples/tests/relation/conj.ch
diff --git a/docs/examples/tests/relation/conj.ch.out → examples/tests/relation/conj.ch.out b/docs/examples/tests/relation/conj.ch.out → examples/tests/relation/conj.ch.out
diff --git a/docs/examples/tests/relation/datom.ch → examples/tests/relation/datom.ch b/docs/examples/tests/relation/datom.ch → examples/tests/relation/datom.ch
diff --git a/docs/examples/tests/relation/datom.ch.out → examples/tests/relation/datom.ch.out b/docs/examples/tests/relation/datom.ch.out → examples/tests/relation/datom.ch.out
diff --git a/docs/examples/tests/relation/disj.ch → examples/tests/relation/disj.ch b/docs/examples/tests/relation/disj.ch → examples/tests/relation/disj.ch
diff --git a/docs/examples/tests/relation/disj.ch.out → examples/tests/relation/disj.ch.out b/docs/examples/tests/relation/disj.ch.out → examples/tests/relation/disj.ch.out
diff --git a/...ples/tests/relation/lookup-inline-disj.ch → ...ples/tests/relation/lookup-inline-disj.ch b/...ples/tests/relation/lookup-inline-disj.ch → ...ples/tests/relation/lookup-inline-disj.ch
diff --git a/.../tests/relation/lookup-inline-disj.ch.out → .../tests/relation/lookup-inline-disj.ch.out b/.../tests/relation/lookup-inline-disj.ch.out → .../tests/relation/lookup-inline-disj.ch.out
diff --git a/...les/tests/relation/multiset-arithmetic.ch → ...les/tests/relation/multiset-arithmetic.ch b/...les/tests/relation/multiset-arithmetic.ch → ...les/tests/relation/multiset-arithmetic.ch
diff --git a/...tests/relation/multiset-arithmetic.ch.out → ...tests/relation/multiset-arithmetic.ch.out b/...tests/relation/multiset-arithmetic.ch.out → ...tests/relation/multiset-arithmetic.ch.out
diff --git a/docs/examples/tests/relation/sat-clause.ch → examples/tests/relation/sat-clause.ch b/docs/examples/tests/relation/sat-clause.ch → examples/tests/relation/sat-clause.ch
diff --git a/...examples/tests/relation/sat-clause.ch.out → examples/tests/relation/sat-clause.ch.out b/...examples/tests/relation/sat-clause.ch.out → examples/tests/relation/sat-clause.ch.out
diff --git a/...relation/sequencing-of-procedure-calls.ch → ...relation/sequencing-of-procedure-calls.ch b/...relation/sequencing-of-procedure-calls.ch → ...relation/sequencing-of-procedure-calls.ch
diff --git a/...tion/sequencing-of-procedure-calls.ch.out → ...tion/sequencing-of-procedure-calls.ch.out b/...tion/sequencing-of-procedure-calls.ch.out → ...tion/sequencing-of-procedure-calls.ch.out
diff --git a/docs/examples/tests/term/my-list.ch → examples/tests/term/my-list.ch b/docs/examples/tests/term/my-list.ch → examples/tests/term/my-list.ch
diff --git a/docs/examples/tests/term/my-list.ch.out → examples/tests/term/my-list.ch.out b/docs/examples/tests/term/my-list.ch.out → examples/tests/term/my-list.ch.out
diff --git a/docs/examples/tests/termination/always.ch → examples/tests/termination/always.ch b/docs/examples/tests/termination/always.ch → examples/tests/termination/always.ch
diff --git a/.../examples/tests/termination/always.ch.out → examples/tests/termination/always.ch.out b/.../examples/tests/termination/always.ch.out → examples/tests/termination/always.ch.out
diff --git a/docs/examples/tests/termination/append.ch → examples/tests/termination/append.ch b/docs/examples/tests/termination/append.ch → examples/tests/termination/append.ch
diff --git a/.../examples/tests/termination/append.ch.out → examples/tests/termination/append.ch.out b/.../examples/tests/termination/append.ch.out → examples/tests/termination/append.ch.out
diff --git a/docs/examples/tests/termination/never.ch → examples/tests/termination/never.ch b/docs/examples/tests/termination/never.ch → examples/tests/termination/never.ch
diff --git a/docs/examples/tests/termination/never.ch.out → examples/tests/termination/never.ch.out b/docs/examples/tests/termination/never.ch.out → examples/tests/termination/never.ch.out
diff --git a/...tests/unification/infix-notation-equal.ch → ...tests/unification/infix-notation-equal.ch b/...tests/unification/infix-notation-equal.ch → ...tests/unification/infix-notation-equal.ch
diff --git a/...s/unification/infix-notation-equal.ch.out → ...s/unification/infix-notation-equal.ch.out b/...s/unification/infix-notation-equal.ch.out → ...s/unification/infix-notation-equal.ch.out
diff --git a/...s/unification/infix-notation-not-equal.ch → ...s/unification/infix-notation-not-equal.ch b/...s/unification/infix-notation-not-equal.ch → ...s/unification/infix-notation-not-equal.ch
diff --git a/...ification/infix-notation-not-equal.ch.out → ...ification/infix-notation-not-equal.ch.out b/...ification/infix-notation-not-equal.ch.out → ...ification/infix-notation-not-equal.ch.out
diff --git a/...examples/tests/unification/occur-check.ch → examples/tests/unification/occur-check.ch b/...examples/tests/unification/occur-check.ch → examples/tests/unification/occur-check.ch
diff --git a/...ples/tests/unification/occur-check.ch.out → ...ples/tests/unification/occur-check.ch.out b/...ples/tests/unification/occur-check.ch.out → ...ples/tests/unification/occur-check.ch.out
-Original file line number
+Diff line change
@@ Expand Up / @@ -17,3 +17,5 @@ @@
       }
       return null
     }
+    "hi"