rename file ext from .mo to .ch

cicada-lang · Feb 24, 2024 · a88f5da · a88f5da
1 parent 9868dba
commit a88f5da
Show file tree

Hide file tree

Showing 267 changed files with 54 additions and 54 deletions.
diff --git a/TODO.md b/TODO.md
@@ -1,5 +1,5 @@
-rename file ext from .mo to .ch
 update to esmodule
+
 fix repl for windows
 
 # CHR

diff --git a/...books/clause-and-effect/01-party-pairs.mo → ...books/clause-and-effect/01-party-pairs.ch b/...books/clause-and-effect/01-party-pairs.mo → ...books/clause-and-effect/01-party-pairs.ch
diff --git a/...s/clause-and-effect/01-party-pairs.mo.out → ...s/clause-and-effect/01-party-pairs.ch.out b/...s/clause-and-effect/01-party-pairs.mo.out → ...s/clause-and-effect/01-party-pairs.ch.out
diff --git a/...ks/clause-and-effect/02-drinking-pairs.mo → ...ks/clause-and-effect/02-drinking-pairs.ch b/...ks/clause-and-effect/02-drinking-pairs.mo → ...ks/clause-and-effect/02-drinking-pairs.ch
diff --git a/...lause-and-effect/02-drinking-pairs.mo.out → ...lause-and-effect/02-drinking-pairs.ch.out b/...lause-and-effect/02-drinking-pairs.mo.out → ...lause-and-effect/02-drinking-pairs.ch.out
diff --git a/...ause-and-effect/03-affordable-journeys.mo → ...ause-and-effect/03-affordable-journeys.ch b/...ause-and-effect/03-affordable-journeys.mo → ...ause-and-effect/03-affordable-journeys.ch
diff --git a/...-and-effect/03-affordable-journeys.mo.out → ...-and-effect/03-affordable-journeys.ch.out b/...-and-effect/03-affordable-journeys.mo.out → ...-and-effect/03-affordable-journeys.ch.out
diff --git a/...e-and-effect/04-acyclic-directed-graph.mo → ...e-and-effect/04-acyclic-directed-graph.ch b/...e-and-effect/04-acyclic-directed-graph.mo → ...e-and-effect/04-acyclic-directed-graph.ch
diff --git a/...d-effect/04-acyclic-directed-graph.mo.out → ...d-effect/04-acyclic-directed-graph.ch.out b/...d-effect/04-acyclic-directed-graph.mo.out → ...d-effect/04-acyclic-directed-graph.ch.out
diff --git a/docs/books/clause-and-effect/05-member.mo → docs/books/clause-and-effect/05-member.ch b/docs/books/clause-and-effect/05-member.mo → docs/books/clause-and-effect/05-member.ch
diff --git a/.../books/clause-and-effect/05-member.mo.out → .../books/clause-and-effect/05-member.ch.out b/.../books/clause-and-effect/05-member.mo.out → .../books/clause-and-effect/05-member.ch.out
diff --git a/.../clause-and-effect/06-length-of-a-list.mo → .../clause-and-effect/06-length-of-a-list.ch b/.../clause-and-effect/06-length-of-a-list.mo → .../clause-and-effect/06-length-of-a-list.ch
@@ -1,4 +1,4 @@
-import { Zero, Add1, One, Two } from "../../std/nat/index.mo"
+import { Zero, Add1, One, Two } from "../../std/nat/index.ch"
 
 clause Length([], n)
 -------------------- {

diff --git a/...clause-and-effect/08-maximum-of-a-list.mo → ...clause-and-effect/08-maximum-of-a-list.ch b/...clause-and-effect/08-maximum-of-a-list.mo → ...clause-and-effect/08-maximum-of-a-list.ch
diff --git a/...and-effect/09-searching-a-cyclic-graph.mo → ...and-effect/09-searching-a-cyclic-graph.ch b/...and-effect/09-searching-a-cyclic-graph.mo → ...and-effect/09-searching-a-cyclic-graph.ch
diff --git a/...effect/09-searching-a-cyclic-graph.mo.out → ...effect/09-searching-a-cyclic-graph.ch.out b/...effect/09-searching-a-cyclic-graph.mo.out → ...effect/09-searching-a-cyclic-graph.ch.out
diff --git a/...books/essentials-of-compilation/lambda.mo → ...books/essentials-of-compilation/lambda.ch b/...books/essentials-of-compilation/lambda.mo → ...books/essentials-of-compilation/lambda.ch
diff --git a/...s/essentials-of-compilation/lambda.mo.out → ...s/essentials-of-compilation/lambda.ch.out b/...s/essentials-of-compilation/lambda.mo.out → ...s/essentials-of-compilation/lambda.ch.out
diff --git a/...er-programs/a-boston-high-tech-company.mo → ...er-programs/a-boston-high-tech-company.ch b/...er-programs/a-boston-high-tech-company.mo → ...er-programs/a-boston-high-tech-company.ch
diff --git a/...rograms/a-boston-high-tech-company.mo.out → ...rograms/a-boston-high-tech-company.ch.out b/...rograms/a-boston-high-tech-company.mo.out → ...rograms/a-boston-high-tech-company.ch.out
diff --git a/...oks/the-reasoned-schemer/01-playthings.mo → ...oks/the-reasoned-schemer/01-playthings.ch b/...oks/the-reasoned-schemer/01-playthings.mo → ...oks/the-reasoned-schemer/01-playthings.ch
diff --git a/...the-reasoned-schemer/01-playthings.mo.out → ...the-reasoned-schemer/01-playthings.ch.out b/...the-reasoned-schemer/01-playthings.mo.out → ...the-reasoned-schemer/01-playthings.ch.out
diff --git a/...chemer/02-teaching-old-toys-new-tricks.mo → ...chemer/02-teaching-old-toys-new-tricks.ch b/...chemer/02-teaching-old-toys-new-tricks.mo → ...chemer/02-teaching-old-toys-new-tricks.ch
diff --git a/...er/02-teaching-old-toys-new-tricks.mo.out → ...er/02-teaching-old-toys-new-tricks.ch.out b/...er/02-teaching-old-toys-new-tricks.mo.out → ...er/02-teaching-old-toys-new-tricks.ch.out
diff --git a/...emer/03-seeing-old-friends-in-new-ways.mo → ...emer/03-seeing-old-friends-in-new-ways.ch b/...emer/03-seeing-old-friends-in-new-ways.mo → ...emer/03-seeing-old-friends-in-new-ways.ch
@@ -1,5 +1,5 @@
-import { Succeed, Fail } from "01-playthings.mo"
-import { Null, Cons, Car, Cdr } from "02-teaching-old-toys-new-tricks.mo"
+import { Succeed, Fail } from "01-playthings.ch"
+import { Null, Cons, Car, Cdr } from "02-teaching-old-toys-new-tricks.ch"
 
 clause List(l)
 ----------- {

diff --git a/.../03-seeing-old-friends-in-new-ways.mo.out → .../03-seeing-old-friends-in-new-ways.ch.out b/.../03-seeing-old-friends-in-new-ways.mo.out → .../03-seeing-old-friends-in-new-ways.ch.out
diff --git a/...he-reasoned-schemer/04-double-your-fun.mo → ...he-reasoned-schemer/04-double-your-fun.ch b/...he-reasoned-schemer/04-double-your-fun.mo → ...he-reasoned-schemer/04-double-your-fun.ch
@@ -1,4 +1,4 @@
-import { Null, Cons, Car, Cdr } from "02-teaching-old-toys-new-tricks.mo"
+import { Null, Cons, Car, Cdr } from "02-teaching-old-toys-new-tricks.ch"
 
 clause Append(l, t, out)
 ------------------ {

diff --git a/...easoned-schemer/04-double-your-fun.mo.out → ...easoned-schemer/04-double-your-fun.ch.out b/...easoned-schemer/04-double-your-fun.mo.out → ...easoned-schemer/04-double-your-fun.ch.out
diff --git a/...s/the-reasoned-schemer/05-members-only.mo → ...s/the-reasoned-schemer/05-members-only.ch b/...s/the-reasoned-schemer/05-members-only.mo → ...s/the-reasoned-schemer/05-members-only.ch
@@ -1,4 +1,4 @@
-import { Null, Cons, Car, Cdr } from "02-teaching-old-toys-new-tricks.mo"
+import { Null, Cons, Car, Cdr } from "02-teaching-old-toys-new-tricks.ch"
 
 clause Mem(x, l, out)
 --------------- {

diff --git a/...e-reasoned-schemer/05-members-only.mo.out → ...e-reasoned-schemer/05-members-only.ch.out b/...e-reasoned-schemer/05-members-only.mo.out → ...e-reasoned-schemer/05-members-only.ch.out
diff --git a/...reasoned-schemer/06-the-fun-never-ends.mo → ...reasoned-schemer/06-the-fun-never-ends.ch b/...reasoned-schemer/06-the-fun-never-ends.mo → ...reasoned-schemer/06-the-fun-never-ends.ch
@@ -1,4 +1,4 @@
-import { Succeed, Fail } from "01-playthings.mo"
+import { Succeed, Fail } from "01-playthings.ch"
 
 clause Always()
 --------- {

diff --git a/...oned-schemer/06-the-fun-never-ends.mo.out → ...oned-schemer/06-the-fun-never-ends.ch.out b/...oned-schemer/06-the-fun-never-ends.mo.out → ...oned-schemer/06-the-fun-never-ends.ch.out
diff --git a/...the-reasoned-schemer/07-a-bit-too-much.mo → ...the-reasoned-schemer/07-a-bit-too-much.ch b/...the-reasoned-schemer/07-a-bit-too-much.mo → ...the-reasoned-schemer/07-a-bit-too-much.ch
diff --git a/...reasoned-schemer/07-a-bit-too-much.mo.out → ...reasoned-schemer/07-a-bit-too-much.ch.out b/...reasoned-schemer/07-a-bit-too-much.mo.out → ...reasoned-schemer/07-a-bit-too-much.ch.out
diff --git a/...he-reasoned-schemer/08-just-a-bit-more.mo → ...he-reasoned-schemer/08-just-a-bit-more.ch b/...he-reasoned-schemer/08-just-a-bit-more.mo → ...he-reasoned-schemer/08-just-a-bit-more.ch
@@ -2,7 +2,7 @@ import {
   Positive,
   GreaterThanOne,
   Add,
-} from "07-a-bit-too-much.mo"
+} from "07-a-bit-too-much.ch"
 
 clause Mul([], _m, [])
 clause Mul(n, [], []) -- { Positive(n) }

diff --git a/...easoned-schemer/08-just-a-bit-more.mo.out → ...easoned-schemer/08-just-a-bit-more.ch.out b/...easoned-schemer/08-just-a-bit-more.mo.out → ...easoned-schemer/08-just-a-bit-more.ch.out
diff --git a/...books/the-reasoned-schemer/09-thin-ice.mo → ...books/the-reasoned-schemer/09-thin-ice.ch b/...books/the-reasoned-schemer/09-thin-ice.mo → ...books/the-reasoned-schemer/09-thin-ice.ch
diff --git a/...the-reasoned-schemer/10-under-the-hood.mo → ...the-reasoned-schemer/10-under-the-hood.ch b/...the-reasoned-schemer/10-under-the-hood.mo → ...the-reasoned-schemer/10-under-the-hood.ch
diff --git a/docs/diary/2022-12-01-namespace.md b/docs/diary/2022-12-01-namespace.md
@@ -10,15 +10,15 @@ can be used in `prefix::name` syntax to reference a value.
 A module can be imported as a namespace.
 
 ```cicada
-import Exp from "exp.mo"
+import Exp from "exp.ch"
 ```
 
 Importing two modules as the same namespace,
 the names in the the modules will be merged.
 
 ```cicada
-import Exp from "exp.mo"
-import Exp from "exp-extra.mo"
+import Exp from "exp.ch"
+import Exp from "exp-extra.ch"
 ```
 
 Datatype can be used as a namespace,
@@ -42,18 +42,18 @@ the name in the module will also be imported,
 if the name is bound to a namespace in the module,
 the namespace will be merged.
 
-Thus, to use the a datatype named `Exp` in the module "exp.mo",
+Thus, to use the a datatype named `Exp` in the module "exp.ch",
 we do not have to write:
 
 ```cicada
-import Exp from "exp.mo"
-import { Exp } from "exp.mo"
+import Exp from "exp.ch"
+import { Exp } from "exp.ch"
 ```
 
 We can simply write:
 
 ```cicada
-import Exp from "exp.mo"
+import Exp from "exp.ch"
 ```
 
 We can also provide a `namespace {}` keyword,
@@ -63,5 +63,5 @@ Use `import * from` to import all names without namespace prefix,
 this feature can be used to reexport names in many modules from one module.
 
 ```cicada
-import * from "exp.mo"
+import * from "exp.ch"
 ```
diff --git a/docs/langs/joy.mo → docs/langs/joy.ch b/docs/langs/joy.mo → docs/langs/joy.ch
diff --git a/docs/langs/joy.mo.out → docs/langs/joy.ch.out b/docs/langs/joy.mo.out → docs/langs/joy.ch.out
diff --git a/docs/langs/lambda-closure.mo → docs/langs/lambda-closure.ch b/docs/langs/lambda-closure.mo → docs/langs/lambda-closure.ch
diff --git a/docs/langs/lambda-closure.mo.out → docs/langs/lambda-closure.ch.out b/docs/langs/lambda-closure.mo.out → docs/langs/lambda-closure.ch.out
diff --git a/docs/langs/lambda-simple-type.mo → docs/langs/lambda-simple-type.ch b/docs/langs/lambda-simple-type.mo → docs/langs/lambda-simple-type.ch
diff --git a/docs/langs/lambda-simple-type.mo.out → docs/langs/lambda-simple-type.ch.out b/docs/langs/lambda-simple-type.mo.out → docs/langs/lambda-simple-type.ch.out
diff --git a/docs/std/array-map/Lookup.mo → docs/std/array-map/Lookup.ch b/docs/std/array-map/Lookup.mo → docs/std/array-map/Lookup.ch
diff --git a/docs/std/array-map/Lookup.test.mo → docs/std/array-map/Lookup.test.ch b/docs/std/array-map/Lookup.test.mo → docs/std/array-map/Lookup.test.ch
@@ -1,4 +1,4 @@
-import { Lookup } from "Lookup.mo"
+import { Lookup } from "Lookup.ch"
 
 print find x {
   Equal(map, [["a", 1], ["b", 2], ["c", 3]])

diff --git a/docs/std/array-map/Lookup.test.mo.out → docs/std/array-map/Lookup.test.ch.out b/docs/std/array-map/Lookup.test.mo.out → docs/std/array-map/Lookup.test.ch.out
diff --git a/docs/std/array-map/index.ch b/docs/std/array-map/index.ch
@@ -0,0 +1 @@
+export import * from "Lookup.ch"
diff --git a/docs/std/array-map/index.mo b/docs/std/array-map/index.mo
diff --git a/docs/std/array/Append.mo → docs/std/array/Append.ch b/docs/std/array/Append.mo → docs/std/array/Append.ch
diff --git a/docs/std/array/Append.test.mo → docs/std/array/Append.test.ch b/docs/std/array/Append.test.mo → docs/std/array/Append.test.ch
@@ -1,4 +1,4 @@
-import { Append } from "Append.mo"
+import { Append } from "Append.ch"
 
 print find [x, y] limit 6 {
   Append(x, y, [1, 2, 3, 4, 5])

diff --git a/docs/std/array/Append.test.mo.out → docs/std/array/Append.test.ch.out b/docs/std/array/Append.test.mo.out → docs/std/array/Append.test.ch.out
diff --git a/docs/std/array/index.ch b/docs/std/array/index.ch
@@ -0,0 +1 @@
+export import * from "Append.ch"
diff --git a/docs/std/array/index.mo b/docs/std/array/index.mo
diff --git a/docs/std/finite-domain/FiniteDomain.mo → docs/std/finite-domain/FiniteDomain.ch b/docs/std/finite-domain/FiniteDomain.mo → docs/std/finite-domain/FiniteDomain.ch
diff --git a/...std/finite-domain/FiniteDomain.example.mo → ...std/finite-domain/FiniteDomain.example.ch b/...std/finite-domain/FiniteDomain.example.mo → ...std/finite-domain/FiniteDomain.example.ch
@@ -1,4 +1,4 @@
-import { FiniteDomain } from "FiniteDomain.mo"
+import { FiniteDomain } from "FiniteDomain.ch"
 
 function Different(values) {
   return conj(arrayMapSpread(arrayCombination(values, 2), NotEqual))

diff --git a/...finite-domain/FiniteDomain.example.mo.out → ...finite-domain/FiniteDomain.example.ch.out b/...finite-domain/FiniteDomain.example.mo.out → ...finite-domain/FiniteDomain.example.ch.out
diff --git a/docs/std/finite-domain/FiniteDomain.test.mo → docs/std/finite-domain/FiniteDomain.test.ch b/docs/std/finite-domain/FiniteDomain.test.mo → docs/std/finite-domain/FiniteDomain.test.ch
@@ -1,4 +1,4 @@
-import { FiniteDomain } from "FiniteDomain.mo"
+import { FiniteDomain } from "FiniteDomain.ch"
 
 // intervalDomain
 

diff --git a/...td/finite-domain/FiniteDomain.test.mo.out → ...td/finite-domain/FiniteDomain.test.ch.out b/...td/finite-domain/FiniteDomain.test.mo.out → ...td/finite-domain/FiniteDomain.test.ch.out
diff --git a/docs/std/finite-domain/index.ch b/docs/std/finite-domain/index.ch
@@ -0,0 +1 @@
+export import * from "FiniteDomain.ch"
diff --git a/docs/std/finite-domain/index.mo b/docs/std/finite-domain/index.mo
diff --git a/docs/std/nat/Add.mo → docs/std/nat/Add.ch b/docs/std/nat/Add.mo → docs/std/nat/Add.ch
@@ -1,4 +1,4 @@
-import { Zero, Add1, Nat } from "Nat.mo"
+import { Zero, Add1, Nat } from "Nat.ch"
 
 export { Add }
 

diff --git a/docs/std/nat/Add.test.mo → docs/std/nat/Add.test.ch b/docs/std/nat/Add.test.mo → docs/std/nat/Add.test.ch
@@ -1,5 +1,5 @@
-import { Zero, Add1, Nat } from "Nat.mo"
-import { Add } from "Add.mo"
+import { Zero, Add1, Nat } from "Nat.ch"
+import { Add } from "Add.ch"
 
 // trace steps 5 {
 //   Add1(add1(zero()), _x)

diff --git a/docs/std/nat/Add.test.mo.out → docs/std/nat/Add.test.ch.out b/docs/std/nat/Add.test.mo.out → docs/std/nat/Add.test.ch.out
diff --git a/docs/std/nat/Mul.mo → docs/std/nat/Mul.ch b/docs/std/nat/Mul.mo → docs/std/nat/Mul.ch
@@ -1,5 +1,5 @@
-import { Zero, Add1, Nat } from "Nat.mo"
-import { Add } from "Add.mo"
+import { Zero, Add1, Nat } from "Nat.ch"
+import { Add } from "Add.ch"
 
 export { Mul }
 

diff --git a/docs/std/nat/Mul.test.mo → docs/std/nat/Mul.test.ch b/docs/std/nat/Mul.test.mo → docs/std/nat/Mul.test.ch
@@ -1,7 +1,7 @@
-import { Nat, Zero, Add1 } from "index.mo"
-import { Add, Mul } from "index.mo"
-import { One, Two, Three, Four, Five, Six } from "index.mo"
-import { Seven, Eight, Nine, Ten, Eleven, Twelve } from "index.mo"
+import { Nat, Zero, Add1 } from "index.ch"
+import { Add, Mul } from "index.ch"
+import { One, Two, Three, Four, Five, Six } from "index.ch"
+import { Seven, Eight, Nine, Ten, Eleven, Twelve } from "index.ch"
 
 print find z {
   Two(x)

diff --git a/docs/std/nat/Mul.test.mo.out → docs/std/nat/Mul.test.ch.out b/docs/std/nat/Mul.test.mo.out → docs/std/nat/Mul.test.ch.out
diff --git a/docs/std/nat/Nat.mo → docs/std/nat/Nat.ch b/docs/std/nat/Nat.mo → docs/std/nat/Nat.ch
diff --git a/docs/std/nat/index.ch b/docs/std/nat/index.ch
@@ -0,0 +1,4 @@
+export import * from "Nat.ch"
+export import * from "Add.ch"
+export import * from "Mul.ch"
+export import * from "numbers.ch"
diff --git a/docs/std/nat/index.mo b/docs/std/nat/index.mo
diff --git a/docs/std/nat/numbers.mo → docs/std/nat/numbers.ch b/docs/std/nat/numbers.mo → docs/std/nat/numbers.ch
@@ -1,4 +1,4 @@
-import { Zero, Add1 } from "Nat.mo"
+import { Zero, Add1 } from "Nat.ch"
 
 export clause One(n) -- { Add1(prev, n) Zero(prev) }
 export clause Two(n) -- { Add1(prev, n) One(prev) }

diff --git a/docs/std/nat/play.mo → docs/std/nat/play.ch b/docs/std/nat/play.mo → docs/std/nat/play.ch
diff --git a/docs/std/nat/play.mo.out → docs/std/nat/play.ch.out b/docs/std/nat/play.mo.out → docs/std/nat/play.ch.out
diff --git a/docs/std/trilean/Trilean.mo → docs/std/trilean/Trilean.ch b/docs/std/trilean/Trilean.mo → docs/std/trilean/Trilean.ch
diff --git a/docs/std/trilean/Trilean.mo.out → docs/std/trilean/Trilean.ch.out b/docs/std/trilean/Trilean.mo.out → docs/std/trilean/Trilean.ch.out
diff --git a/docs/tests/basic/assert-false.error.mo → docs/tests/basic/assert-false.error.ch b/docs/tests/basic/assert-false.error.mo → docs/tests/basic/assert-false.error.ch
diff --git a/docs/tests/basic/assert-false.error.mo.err → docs/tests/basic/assert-false.error.ch.err b/docs/tests/basic/assert-false.error.mo.err → docs/tests/basic/assert-false.error.ch.err
diff --git a/docs/tests/basic/assert-non-boolean.error.mo → docs/tests/basic/assert-non-boolean.error.ch b/docs/tests/basic/assert-non-boolean.error.mo → docs/tests/basic/assert-non-boolean.error.ch
diff --git a/...sts/basic/assert-non-boolean.error.mo.err → ...sts/basic/assert-non-boolean.error.ch.err b/...sts/basic/assert-non-boolean.error.mo.err → ...sts/basic/assert-non-boolean.error.ch.err
diff --git a/docs/tests/basic/assert.mo → docs/tests/basic/assert.ch b/docs/tests/basic/assert.mo → docs/tests/basic/assert.ch
diff --git a/docs/tests/basic/compute.mo → docs/tests/basic/compute.ch b/docs/tests/basic/compute.mo → docs/tests/basic/compute.ch
diff --git a/docs/tests/basic/compute.mo.out → docs/tests/basic/compute.ch.out b/docs/tests/basic/compute.mo.out → docs/tests/basic/compute.ch.out
diff --git a/docs/tests/basic/currying.mo → docs/tests/basic/currying.ch b/docs/tests/basic/currying.mo → docs/tests/basic/currying.ch
diff --git a/docs/tests/basic/currying.mo.out → docs/tests/basic/currying.ch.out b/docs/tests/basic/currying.mo.out → docs/tests/basic/currying.ch.out
diff --git a/docs/tests/basic/dot.mo → docs/tests/basic/dot.ch b/docs/tests/basic/dot.mo → docs/tests/basic/dot.ch
diff --git a/docs/tests/basic/eval.mo → docs/tests/basic/eval.ch b/docs/tests/basic/eval.mo → docs/tests/basic/eval.ch
diff --git a/docs/tests/basic/eval.mo.out → docs/tests/basic/eval.ch.out b/docs/tests/basic/eval.mo.out → docs/tests/basic/eval.ch.out
diff --git a/docs/tests/basic/function-print.mo → docs/tests/basic/function-print.ch b/docs/tests/basic/function-print.mo → docs/tests/basic/function-print.ch
diff --git a/docs/tests/basic/function-print.mo.out → docs/tests/basic/function-print.ch.out b/docs/tests/basic/function-print.mo.out → docs/tests/basic/function-print.ch.out
diff --git a/docs/tests/basic/function-with-clause.mo → docs/tests/basic/function-with-clause.ch b/docs/tests/basic/function-with-clause.mo → docs/tests/basic/function-with-clause.ch
diff --git a/docs/tests/basic/function-with-clause.mo.out → docs/tests/basic/function-with-clause.ch.out b/docs/tests/basic/function-with-clause.mo.out → docs/tests/basic/function-with-clause.ch.out
diff --git a/...tests/basic/function-with-early-return.mo → ...tests/basic/function-with-early-return.ch b/...tests/basic/function-with-early-return.mo → ...tests/basic/function-with-early-return.ch
diff --git a/...s/basic/function-with-early-return.mo.out → ...s/basic/function-with-early-return.ch.out b/...s/basic/function-with-early-return.mo.out → ...s/basic/function-with-early-return.ch.out
diff --git a/.../basic/function-with-return-expression.mo → .../basic/function-with-return-expression.ch b/.../basic/function-with-return-expression.mo → .../basic/function-with-return-expression.ch
diff --git a/...ic/function-with-return-expression.mo.out → ...ic/function-with-return-expression.ch.out b/...ic/function-with-return-expression.mo.out → ...ic/function-with-return-expression.ch.out
diff --git a/.../tests/basic/function-with-return-null.mo → .../tests/basic/function-with-return-null.ch b/.../tests/basic/function-with-return-null.mo → .../tests/basic/function-with-return-null.ch
diff --git a/...ts/basic/function-with-return-null.mo.out → ...ts/basic/function-with-return-null.ch.out b/...ts/basic/function-with-return-null.mo.out → ...ts/basic/function-with-return-null.ch.out
diff --git a/docs/tests/basic/function.mo → docs/tests/basic/function.ch b/docs/tests/basic/function.mo → docs/tests/basic/function.ch
diff --git a/docs/tests/basic/function.mo.out → docs/tests/basic/function.ch.out b/docs/tests/basic/function.mo.out → docs/tests/basic/function.ch.out
diff --git a/docs/tests/basic/if-else-if.mo → docs/tests/basic/if-else-if.ch b/docs/tests/basic/if-else-if.mo → docs/tests/basic/if-else-if.ch
diff --git a/docs/tests/basic/if-else-if.mo.out → docs/tests/basic/if-else-if.ch.out b/docs/tests/basic/if-else-if.mo.out → docs/tests/basic/if-else-if.ch.out
diff --git a/docs/tests/basic/if-exp-without-else.mo → docs/tests/basic/if-exp-without-else.ch b/docs/tests/basic/if-exp-without-else.mo → docs/tests/basic/if-exp-without-else.ch
diff --git a/docs/tests/basic/if-exp-without-else.mo.out → docs/tests/basic/if-exp-without-else.ch.out b/docs/tests/basic/if-exp-without-else.mo.out → docs/tests/basic/if-exp-without-else.ch.out
diff --git a/docs/tests/basic/if-exp.mo → docs/tests/basic/if-exp.ch b/docs/tests/basic/if-exp.mo → docs/tests/basic/if-exp.ch
diff --git a/docs/tests/basic/if-exp.mo.out → docs/tests/basic/if-exp.ch.out b/docs/tests/basic/if-exp.mo.out → docs/tests/basic/if-exp.ch.out
diff --git a/...ests/basic/if-non-boolean-target.error.mo → ...ests/basic/if-non-boolean-target.error.ch b/...ests/basic/if-non-boolean-target.error.mo → ...ests/basic/if-non-boolean-target.error.ch
diff --git a/.../basic/if-non-boolean-target.error.mo.err → .../basic/if-non-boolean-target.error.ch.err b/.../basic/if-non-boolean-target.error.mo.err → .../basic/if-non-boolean-target.error.ch.err
diff --git a/docs/tests/basic/if-without-else.mo → docs/tests/basic/if-without-else.ch b/docs/tests/basic/if-without-else.mo → docs/tests/basic/if-without-else.ch
diff --git a/docs/tests/basic/if-without-else.mo.out → docs/tests/basic/if-without-else.ch.out b/docs/tests/basic/if-without-else.mo.out → docs/tests/basic/if-without-else.ch.out
diff --git a/docs/tests/basic/if.mo → docs/tests/basic/if.ch b/docs/tests/basic/if.mo → docs/tests/basic/if.ch
diff --git a/docs/tests/basic/if.mo.out → docs/tests/basic/if.ch.out b/docs/tests/basic/if.mo.out → docs/tests/basic/if.ch.out
diff --git a/docs/tests/basic/let.mo → docs/tests/basic/let.ch b/docs/tests/basic/let.mo → docs/tests/basic/let.ch
diff --git a/docs/tests/basic/not.mo → docs/tests/basic/not.ch b/docs/tests/basic/not.mo → docs/tests/basic/not.ch
diff --git a/docs/tests/basic/not.mo.out → docs/tests/basic/not.ch.out b/docs/tests/basic/not.mo.out → docs/tests/basic/not.ch.out
diff --git a/docs/tests/basic/print.mo → docs/tests/basic/print.ch b/docs/tests/basic/print.mo → docs/tests/basic/print.ch
diff --git a/docs/tests/basic/print.mo.out → docs/tests/basic/print.ch.out b/docs/tests/basic/print.mo.out → docs/tests/basic/print.ch.out
diff --git a/docs/tests/basic/quote-nested.error.mo → docs/tests/basic/quote-nested.error.ch b/docs/tests/basic/quote-nested.error.mo → docs/tests/basic/quote-nested.error.ch
diff --git a/docs/tests/basic/quote-nested.error.mo.err → docs/tests/basic/quote-nested.error.ch.err b/docs/tests/basic/quote-nested.error.mo.err → docs/tests/basic/quote-nested.error.ch.err
diff --git a/docs/tests/basic/quote.mo → docs/tests/basic/quote.ch b/docs/tests/basic/quote.mo → docs/tests/basic/quote.ch
diff --git a/docs/tests/basic/quote.mo.out → docs/tests/basic/quote.ch.out b/docs/tests/basic/quote.mo.out → docs/tests/basic/quote.ch.out
diff --git a/docs/tests/constraints/not-equal.mo → docs/tests/constraints/not-equal.ch b/docs/tests/constraints/not-equal.mo → docs/tests/constraints/not-equal.ch
diff --git a/docs/tests/constraints/not-equal.mo.out → docs/tests/constraints/not-equal.ch.out b/docs/tests/constraints/not-equal.mo.out → docs/tests/constraints/not-equal.ch.out
diff --git a/docs/tests/constraints/number-types.mo → docs/tests/constraints/number-types.ch b/docs/tests/constraints/number-types.mo → docs/tests/constraints/number-types.ch
diff --git a/docs/tests/constraints/number-types.mo.out → docs/tests/constraints/number-types.ch.out b/docs/tests/constraints/number-types.mo.out → docs/tests/constraints/number-types.ch.out
diff --git a/docs/tests/constraints/string-types.mo → docs/tests/constraints/string-types.ch b/docs/tests/constraints/string-types.mo → docs/tests/constraints/string-types.ch
diff --git a/docs/tests/constraints/string-types.mo.out → docs/tests/constraints/string-types.ch.out b/docs/tests/constraints/string-types.mo.out → docs/tests/constraints/string-types.ch.out
diff --git a/...entions/no-misused-variable-name.error.mo → ...entions/no-misused-variable-name.error.ch b/...entions/no-misused-variable-name.error.mo → ...entions/no-misused-variable-name.error.ch
diff --git a/...ons/no-misused-variable-name.error.mo.err → ...ons/no-misused-variable-name.error.ch.err b/...ons/no-misused-variable-name.error.mo.err → ...ons/no-misused-variable-name.error.ch.err
diff --git a/...ventions/no-unused-variable-name.error.mo → ...ventions/no-unused-variable-name.error.ch b/...ventions/no-unused-variable-name.error.mo → ...ventions/no-unused-variable-name.error.ch
diff --git a/...ions/no-unused-variable-name.error.mo.err → ...ions/no-unused-variable-name.error.ch.err b/...ions/no-unused-variable-name.error.mo.err → ...ions/no-unused-variable-name.error.ch.err
diff --git a/...ariable-name-can-starts-with-uppercase.mo → ...ariable-name-can-starts-with-uppercase.ch b/...ariable-name-can-starts-with-uppercase.mo → ...ariable-name-can-starts-with-uppercase.ch
diff --git a/...ble-name-can-starts-with-uppercase.mo.out → ...ble-name-can-starts-with-uppercase.ch.out b/...ble-name-can-starts-with-uppercase.mo.out → ...ble-name-can-starts-with-uppercase.ch.out
diff --git a/...conventions/preserved-name-false.error.mo → ...conventions/preserved-name-false.error.ch b/...conventions/preserved-name-false.error.mo → ...conventions/preserved-name-false.error.ch
diff --git a/...entions/preserved-name-false.error.mo.err → ...entions/preserved-name-false.error.ch.err b/...entions/preserved-name-false.error.mo.err → ...entions/preserved-name-false.error.ch.err
diff --git a/.../conventions/preserved-name-null.error.mo → .../conventions/preserved-name-null.error.ch b/.../conventions/preserved-name-null.error.mo → .../conventions/preserved-name-null.error.ch
diff --git a/...ventions/preserved-name-null.error.mo.err → ...ventions/preserved-name-null.error.ch.err b/...ventions/preserved-name-null.error.mo.err → ...ventions/preserved-name-null.error.ch.err
diff --git a/.../conventions/preserved-name-true.error.mo → .../conventions/preserved-name-true.error.ch b/.../conventions/preserved-name-true.error.mo → .../conventions/preserved-name-true.error.ch
diff --git a/...ventions/preserved-name-true.error.mo.err → ...ventions/preserved-name-true.error.ch.err b/...ventions/preserved-name-true.error.mo.err → ...ventions/preserved-name-true.error.ch.err
diff --git a/...s/conventions/quote-reject-curry.error.mo → ...s/conventions/quote-reject-curry.error.ch b/...s/conventions/quote-reject-curry.error.mo → ...s/conventions/quote-reject-curry.error.ch
diff --git a/...nventions/quote-reject-curry.error.mo.err → ...nventions/quote-reject-curry.error.ch.err b/...nventions/quote-reject-curry.error.mo.err → ...nventions/quote-reject-curry.error.ch.err
diff --git a/...ventions/relation-arity-mismatch.error.mo → ...ventions/relation-arity-mismatch.error.ch b/...ventions/relation-arity-mismatch.error.mo → ...ventions/relation-arity-mismatch.error.ch
diff --git a/...ions/relation-arity-mismatch.error.mo.err → ...ions/relation-arity-mismatch.error.ch.err b/...ions/relation-arity-mismatch.error.mo.err → ...ions/relation-arity-mismatch.error.ch.err
diff --git a/...-name-must-starts-with-uppercase.error.mo → ...-name-must-starts-with-uppercase.error.ch b/...-name-must-starts-with-uppercase.error.mo → ...-name-must-starts-with-uppercase.error.ch
diff --git a/...e-must-starts-with-uppercase.error.mo.err → ...e-must-starts-with-uppercase.error.ch.err b/...e-must-starts-with-uppercase.error.mo.err → ...e-must-starts-with-uppercase.error.ch.err
diff --git a/docs/tests/globals/array.mo → docs/tests/globals/array.ch b/docs/tests/globals/array.mo → docs/tests/globals/array.ch
diff --git a/docs/tests/globals/arrayGet.error.mo → docs/tests/globals/arrayGet.error.ch b/docs/tests/globals/arrayGet.error.mo → docs/tests/globals/arrayGet.error.ch
diff --git a/docs/tests/globals/arrayGet.error.mo.err → docs/tests/globals/arrayGet.error.ch.err b/docs/tests/globals/arrayGet.error.mo.err → docs/tests/globals/arrayGet.error.ch.err
diff --git a/docs/tests/globals/boolean.mo → docs/tests/globals/boolean.ch b/docs/tests/globals/boolean.mo → docs/tests/globals/boolean.ch
diff --git a/docs/tests/globals/boolean.mo.out → docs/tests/globals/boolean.ch.out b/docs/tests/globals/boolean.mo.out → docs/tests/globals/boolean.ch.out
diff --git a/docs/tests/globals/equal.mo → docs/tests/globals/equal.ch b/docs/tests/globals/equal.mo → docs/tests/globals/equal.ch
diff --git a/docs/tests/globals/equal.mo.out → docs/tests/globals/equal.ch.out b/docs/tests/globals/equal.mo.out → docs/tests/globals/equal.ch.out
diff --git a/docs/tests/globals/hyperrule.mo → docs/tests/globals/hyperrule.ch b/docs/tests/globals/hyperrule.mo → docs/tests/globals/hyperrule.ch
diff --git a/docs/tests/globals/hyperrule.mo.out → docs/tests/globals/hyperrule.ch.out b/docs/tests/globals/hyperrule.mo.out → docs/tests/globals/hyperrule.ch.out
diff --git a/docs/tests/globals/not-equal.mo → docs/tests/globals/not-equal.ch b/docs/tests/globals/not-equal.mo → docs/tests/globals/not-equal.ch
diff --git a/docs/tests/globals/not-equal.mo.out → docs/tests/globals/not-equal.ch.out b/docs/tests/globals/not-equal.mo.out → docs/tests/globals/not-equal.ch.out
diff --git a/docs/tests/globals/null-shadowed.mo → docs/tests/globals/null-shadowed.ch b/docs/tests/globals/null-shadowed.mo → docs/tests/globals/null-shadowed.ch
diff --git a/docs/tests/globals/null-shadowed.mo.out → docs/tests/globals/null-shadowed.ch.out b/docs/tests/globals/null-shadowed.mo.out → docs/tests/globals/null-shadowed.ch.out
diff --git a/docs/tests/globals/null.mo → docs/tests/globals/null.ch b/docs/tests/globals/null.mo → docs/tests/globals/null.ch
diff --git a/docs/tests/globals/null.mo.out → docs/tests/globals/null.ch.out b/docs/tests/globals/null.mo.out → docs/tests/globals/null.ch.out
diff --git a/docs/tests/globals/number.mo → docs/tests/globals/number.ch b/docs/tests/globals/number.mo → docs/tests/globals/number.ch
diff --git a/docs/tests/globals/object.mo → docs/tests/globals/object.ch b/docs/tests/globals/object.mo → docs/tests/globals/object.ch
diff --git a/docs/tests/globals/rule.mo → docs/tests/globals/rule.ch b/docs/tests/globals/rule.mo → docs/tests/globals/rule.ch
diff --git a/docs/tests/globals/rule.mo.out → docs/tests/globals/rule.ch.out b/docs/tests/globals/rule.mo.out → docs/tests/globals/rule.ch.out
diff --git a/docs/tests/globals/string.mo → docs/tests/globals/string.ch b/docs/tests/globals/string.mo → docs/tests/globals/string.ch
diff --git a/docs/tests/globals/term.mo → docs/tests/globals/term.ch b/docs/tests/globals/term.mo → docs/tests/globals/term.ch
diff --git a/...al/goal-apply-too-many-arguments.error.mo → ...al/goal-apply-too-many-arguments.error.ch b/...al/goal-apply-too-many-arguments.error.mo → ...al/goal-apply-too-many-arguments.error.ch
diff --git a/...oal-apply-too-many-arguments.error.mo.err → ...oal-apply-too-many-arguments.error.ch.err b/...oal-apply-too-many-arguments.error.mo.err → ...oal-apply-too-many-arguments.error.ch.err
diff --git a/...-as-predicate-too-many-arguments.error.mo → ...-as-predicate-too-many-arguments.error.ch b/...-as-predicate-too-many-arguments.error.mo → ...-as-predicate-too-many-arguments.error.ch
diff --git a/...predicate-too-many-arguments.error.mo.err → ...predicate-too-many-arguments.error.ch.err b/...predicate-too-many-arguments.error.mo.err → ...predicate-too-many-arguments.error.ch.err
diff --git a/docs/tests/goal/goal-satisfy.mo → docs/tests/goal/goal-satisfy.ch b/docs/tests/goal/goal-satisfy.mo → docs/tests/goal/goal-satisfy.ch
diff --git a/docs/tests/goal/goal.mo → docs/tests/goal/goal.ch b/docs/tests/goal/goal.mo → docs/tests/goal/goal.ch
diff --git a/docs/tests/goal/goal.mo.out → docs/tests/goal/goal.ch.out b/docs/tests/goal/goal.mo.out → docs/tests/goal/goal.ch.out
diff --git a/docs/tests/hyperrule/abc.mo → docs/tests/hyperrule/abc.ch b/docs/tests/hyperrule/abc.mo → docs/tests/hyperrule/abc.ch
diff --git a/docs/tests/hyperrule/abc.mo.out → docs/tests/hyperrule/abc.ch.out b/docs/tests/hyperrule/abc.mo.out → docs/tests/hyperrule/abc.ch.out
diff --git a/docs/tests/hyperrule/propagate-idempotent.mo → docs/tests/hyperrule/propagate-idempotent.ch b/docs/tests/hyperrule/propagate-idempotent.mo → docs/tests/hyperrule/propagate-idempotent.ch
diff --git a/...sts/hyperrule/propagate-idempotent.mo.out → ...sts/hyperrule/propagate-idempotent.ch.out b/...sts/hyperrule/propagate-idempotent.mo.out → ...sts/hyperrule/propagate-idempotent.ch.out
diff --git a/...sts/hyperrule/propagate-keep-the-input.mo → ...sts/hyperrule/propagate-keep-the-input.ch b/...sts/hyperrule/propagate-keep-the-input.mo → ...sts/hyperrule/propagate-keep-the-input.ch
diff --git a/...hyperrule/propagate-keep-the-input.mo.out → ...hyperrule/propagate-keep-the-input.ch.out b/...hyperrule/propagate-keep-the-input.mo.out → ...hyperrule/propagate-keep-the-input.ch.out
diff --git a/docs/tests/hyperrule/walk.mo → docs/tests/hyperrule/walk.ch b/docs/tests/hyperrule/walk.mo → docs/tests/hyperrule/walk.ch
diff --git a/docs/tests/hyperrule/walk.mo.out → docs/tests/hyperrule/walk.ch.out b/docs/tests/hyperrule/walk.mo.out → docs/tests/hyperrule/walk.ch.out
diff --git a/...yperrule/weather-hyperrule-list-as-exp.mo → ...yperrule/weather-hyperrule-list-as-exp.ch b/...yperrule/weather-hyperrule-list-as-exp.mo → ...yperrule/weather-hyperrule-list-as-exp.ch
diff --git a/...rule/weather-hyperrule-list-as-exp.mo.out → ...rule/weather-hyperrule-list-as-exp.ch.out b/...rule/weather-hyperrule-list-as-exp.mo.out → ...rule/weather-hyperrule-list-as-exp.ch.out
diff --git a/docs/tests/hyperrule/weather-include.mo → docs/tests/hyperrule/weather-include.ch b/docs/tests/hyperrule/weather-include.mo → docs/tests/hyperrule/weather-include.ch
diff --git a/docs/tests/hyperrule/weather-include.mo.out → docs/tests/hyperrule/weather-include.ch.out b/docs/tests/hyperrule/weather-include.mo.out → docs/tests/hyperrule/weather-include.ch.out
diff --git a/docs/tests/hyperrule/weather-with-guard.mo → docs/tests/hyperrule/weather-with-guard.ch b/docs/tests/hyperrule/weather-with-guard.mo → docs/tests/hyperrule/weather-with-guard.ch
diff --git a/...tests/hyperrule/weather-with-guard.mo.out → ...tests/hyperrule/weather-with-guard.ch.out b/...tests/hyperrule/weather-with-guard.mo.out → ...tests/hyperrule/weather-with-guard.ch.out
diff --git a/docs/tests/hyperrule/weather.mo → docs/tests/hyperrule/weather.ch b/docs/tests/hyperrule/weather.mo → docs/tests/hyperrule/weather.ch
diff --git a/docs/tests/hyperrule/weather.mo.out → docs/tests/hyperrule/weather.ch.out b/docs/tests/hyperrule/weather.mo.out → docs/tests/hyperrule/weather.ch.out
diff --git a/docs/tests/json/array.mo → docs/tests/json/array.ch b/docs/tests/json/array.mo → docs/tests/json/array.ch
diff --git a/docs/tests/json/array.mo.out → docs/tests/json/array.ch.out b/docs/tests/json/array.mo.out → docs/tests/json/array.ch.out
diff --git a/docs/tests/json/boolean.mo → docs/tests/json/boolean.ch b/docs/tests/json/boolean.mo → docs/tests/json/boolean.ch
diff --git a/docs/tests/json/boolean.mo.out → docs/tests/json/boolean.ch.out b/docs/tests/json/boolean.mo.out → docs/tests/json/boolean.ch.out
diff --git a/docs/tests/json/null.mo → docs/tests/json/null.ch b/docs/tests/json/null.mo → docs/tests/json/null.ch
diff --git a/docs/tests/json/null.mo.out → docs/tests/json/null.ch.out b/docs/tests/json/null.mo.out → docs/tests/json/null.ch.out
diff --git a/docs/tests/json/number.mo → docs/tests/json/number.ch b/docs/tests/json/number.mo → docs/tests/json/number.ch
diff --git a/docs/tests/json/number.mo.out → docs/tests/json/number.ch.out b/docs/tests/json/number.mo.out → docs/tests/json/number.ch.out
diff --git a/docs/tests/json/object.mo → docs/tests/json/object.ch b/docs/tests/json/object.mo → docs/tests/json/object.ch
diff --git a/docs/tests/json/object.mo.out → docs/tests/json/object.ch.out b/docs/tests/json/object.mo.out → docs/tests/json/object.ch.out
diff --git a/docs/tests/json/string.mo → docs/tests/json/string.ch b/docs/tests/json/string.mo → docs/tests/json/string.ch
diff --git a/docs/tests/json/string.mo.out → docs/tests/json/string.ch.out b/docs/tests/json/string.mo.out → docs/tests/json/string.ch.out
diff --git a/docs/tests/module/A.mo → docs/tests/module/A.ch b/docs/tests/module/A.mo → docs/tests/module/A.ch
diff --git a/docs/tests/module/A.mo.out → docs/tests/module/A.ch.out b/docs/tests/module/A.mo.out → docs/tests/module/A.ch.out
diff --git a/docs/tests/module/AB.mo → docs/tests/module/AB.ch b/docs/tests/module/AB.mo → docs/tests/module/AB.ch
@@ -1,4 +1,4 @@
-import { A } from "./A.mo"
+import { A } from "./A.ch"
 
 export clause AB(a, b)
 ---------- {

diff --git a/docs/tests/module/AB.mo.out → docs/tests/module/AB.ch.out b/docs/tests/module/AB.mo.out → docs/tests/module/AB.ch.out
diff --git a/docs/tests/module/ABC.mo → docs/tests/module/ABC.ch b/docs/tests/module/ABC.mo → docs/tests/module/ABC.ch
@@ -1,4 +1,4 @@
-import { AB } from "./AB.mo"
+import { AB } from "./AB.ch"
 
 export clause ABC(a, b, c)
 -------------- {

diff --git a/docs/tests/module/ABC.mo.out → docs/tests/module/ABC.ch.out b/docs/tests/module/ABC.mo.out → docs/tests/module/ABC.ch.out
diff --git a/docs/tests/module/example.mo → docs/tests/module/example.ch b/docs/tests/module/example.mo → docs/tests/module/example.ch
diff --git a/docs/tests/module/import-all-as.mo → docs/tests/module/import-all-as.ch b/docs/tests/module/import-all-as.mo → docs/tests/module/import-all-as.ch
@@ -1,4 +1,4 @@
-import * as Example from "./example.mo"
+import * as Example from "./example.ch"
 
 print find q {
   Example.Hi(q)

diff --git a/docs/tests/module/import-all-as.mo.out → docs/tests/module/import-all-as.ch.out b/docs/tests/module/import-all-as.mo.out → docs/tests/module/import-all-as.ch.out
diff --git a/docs/tests/module/import-all-private.error.ch b/docs/tests/module/import-all-private.error.ch
@@ -0,0 +1,5 @@
+import * from "./example.ch"
+
+print find q {
+  Hiya(q)
+}
diff --git a/...ts/module/import-all-private.error.mo.err → ...ts/module/import-all-private.error.ch.err b/...ts/module/import-all-private.error.mo.err → ...ts/module/import-all-private.error.ch.err
@@ -1,6 +1,6 @@
 [evaluate] undefined name: Hiya
 
- 1 |import * from "./example.mo"
+ 1 |import * from "./example.ch"
  2 |
  3 |print find q {
  4 |  Hiya(q)

diff --git a/docs/tests/module/import-all-private.error.mo b/docs/tests/module/import-all-private.error.mo
diff --git a/docs/tests/module/import-all.mo → docs/tests/module/import-all.ch b/docs/tests/module/import-all.mo → docs/tests/module/import-all.ch
@@ -1,4 +1,4 @@
-import * from "./example.mo"
+import * from "./example.ch"
 
 print find q {
   Hi(q)

diff --git a/docs/tests/module/import-all.mo.out → docs/tests/module/import-all.ch.out b/docs/tests/module/import-all.mo.out → docs/tests/module/import-all.ch.out
diff --git a/docs/tests/module/import-private.error.ch b/docs/tests/module/import-private.error.ch
@@ -0,0 +1,5 @@
+import { Hiya } from "./example.ch"
+
+print find q {
+  Hiya(q)
+}
diff --git a/.../tests/module/import-private.error.mo.err → .../tests/module/import-private.error.ch.err b/.../tests/module/import-private.error.mo.err → .../tests/module/import-private.error.ch.err
@@ -1,3 +1,3 @@
 [Import.prepare]
   can not import private name: Hiya
-  imported path: ./example.mo
+  imported path: ./example.ch
diff --git a/docs/tests/module/import-private.error.mo b/docs/tests/module/import-private.error.mo
diff --git a/...s/module/imported-name-can-be-shadowed.mo → ...s/module/imported-name-can-be-shadowed.ch b/...s/module/imported-name-can-be-shadowed.mo → ...s/module/imported-name-can-be-shadowed.ch
@@ -1,4 +1,4 @@
-import { A } from "./A.mo"
+import { A } from "./A.ch"
 
 print find [x] {
   A(x)

diff --git a/...dule/imported-name-can-be-shadowed.mo.out → ...dule/imported-name-can-be-shadowed.ch.out b/...dule/imported-name-can-be-shadowed.mo.out → ...dule/imported-name-can-be-shadowed.ch.out
diff --git a/...ts/object/construct-object-by-relation.mo → ...ts/object/construct-object-by-relation.ch b/...ts/object/construct-object-by-relation.mo → ...ts/object/construct-object-by-relation.ch
diff --git a/...bject/construct-object-by-relation.mo.out → ...bject/construct-object-by-relation.ch.out b/...bject/construct-object-by-relation.mo.out → ...bject/construct-object-by-relation.ch.out
diff --git a/...ests/object/merge-properties-to-object.mo → ...ests/object/merge-properties-to-object.ch b/...ests/object/merge-properties-to-object.mo → ...ests/object/merge-properties-to-object.ch
diff --git a/.../object/merge-properties-to-object.mo.out → .../object/merge-properties-to-object.ch.out b/.../object/merge-properties-to-object.mo.out → .../object/merge-properties-to-object.ch.out
diff --git a/docs/tests/relation/conj.mo → docs/tests/relation/conj.ch b/docs/tests/relation/conj.mo → docs/tests/relation/conj.ch
diff --git a/docs/tests/relation/conj.mo.out → docs/tests/relation/conj.ch.out b/docs/tests/relation/conj.mo.out → docs/tests/relation/conj.ch.out
diff --git a/docs/tests/relation/datom.mo → docs/tests/relation/datom.ch b/docs/tests/relation/datom.mo → docs/tests/relation/datom.ch
diff --git a/docs/tests/relation/datom.mo.out → docs/tests/relation/datom.ch.out b/docs/tests/relation/datom.mo.out → docs/tests/relation/datom.ch.out
diff --git a/docs/tests/relation/disj.mo → docs/tests/relation/disj.ch b/docs/tests/relation/disj.mo → docs/tests/relation/disj.ch
diff --git a/docs/tests/relation/disj.mo.out → docs/tests/relation/disj.ch.out b/docs/tests/relation/disj.mo.out → docs/tests/relation/disj.ch.out
diff --git a/docs/tests/relation/lookup-inline-disj.mo → docs/tests/relation/lookup-inline-disj.ch b/docs/tests/relation/lookup-inline-disj.mo → docs/tests/relation/lookup-inline-disj.ch
diff --git a/.../tests/relation/lookup-inline-disj.mo.out → .../tests/relation/lookup-inline-disj.ch.out b/.../tests/relation/lookup-inline-disj.mo.out → .../tests/relation/lookup-inline-disj.ch.out
diff --git a/docs/tests/relation/multiset-arithmetic.mo → docs/tests/relation/multiset-arithmetic.ch b/docs/tests/relation/multiset-arithmetic.mo → docs/tests/relation/multiset-arithmetic.ch
diff --git a/...tests/relation/multiset-arithmetic.mo.out → ...tests/relation/multiset-arithmetic.ch.out b/...tests/relation/multiset-arithmetic.mo.out → ...tests/relation/multiset-arithmetic.ch.out
diff --git a/docs/tests/relation/sat-clause.mo → docs/tests/relation/sat-clause.ch b/docs/tests/relation/sat-clause.mo → docs/tests/relation/sat-clause.ch
diff --git a/docs/tests/relation/sat-clause.mo.out → docs/tests/relation/sat-clause.ch.out b/docs/tests/relation/sat-clause.mo.out → docs/tests/relation/sat-clause.ch.out
diff --git a/...relation/sequencing-of-procedure-calls.mo → ...relation/sequencing-of-procedure-calls.ch b/...relation/sequencing-of-procedure-calls.mo → ...relation/sequencing-of-procedure-calls.ch
diff --git a/...tion/sequencing-of-procedure-calls.mo.out → ...tion/sequencing-of-procedure-calls.ch.out b/...tion/sequencing-of-procedure-calls.mo.out → ...tion/sequencing-of-procedure-calls.ch.out
diff --git a/docs/tests/rule/arithmetic.mo → docs/tests/rule/arithmetic.ch b/docs/tests/rule/arithmetic.mo → docs/tests/rule/arithmetic.ch
diff --git a/docs/tests/rule/arithmetic.mo.out → docs/tests/rule/arithmetic.ch.out b/docs/tests/rule/arithmetic.mo.out → docs/tests/rule/arithmetic.ch.out
diff --git a/docs/tests/rule/combinatory-logic.mo → docs/tests/rule/combinatory-logic.ch b/docs/tests/rule/combinatory-logic.mo → docs/tests/rule/combinatory-logic.ch
diff --git a/docs/tests/rule/combinatory-logic.mo.out → docs/tests/rule/combinatory-logic.ch.out b/docs/tests/rule/combinatory-logic.mo.out → docs/tests/rule/combinatory-logic.ch.out
diff --git a/docs/tests/rule/conjunctive-normal-form.mo → docs/tests/rule/conjunctive-normal-form.ch b/docs/tests/rule/conjunctive-normal-form.mo → docs/tests/rule/conjunctive-normal-form.ch
diff --git a/...tests/rule/conjunctive-normal-form.mo.out → ...tests/rule/conjunctive-normal-form.ch.out b/...tests/rule/conjunctive-normal-form.mo.out → ...tests/rule/conjunctive-normal-form.ch.out
diff --git a/docs/tests/rule/rule-list-as-exp.mo → docs/tests/rule/rule-list-as-exp.ch b/docs/tests/rule/rule-list-as-exp.mo → docs/tests/rule/rule-list-as-exp.ch
diff --git a/docs/tests/rule/rule-list-as-exp.mo.out → docs/tests/rule/rule-list-as-exp.ch.out b/docs/tests/rule/rule-list-as-exp.mo.out → docs/tests/rule/rule-list-as-exp.ch.out
diff --git a/docs/tests/rule/same-pattern-variable.mo → docs/tests/rule/same-pattern-variable.ch b/docs/tests/rule/same-pattern-variable.mo → docs/tests/rule/same-pattern-variable.ch
diff --git a/docs/tests/rule/same-pattern-variable.mo.out → docs/tests/rule/same-pattern-variable.ch.out b/docs/tests/rule/same-pattern-variable.mo.out → docs/tests/rule/same-pattern-variable.ch.out
diff --git a/docs/tests/rule/with-guard.mo → docs/tests/rule/with-guard.ch b/docs/tests/rule/with-guard.mo → docs/tests/rule/with-guard.ch
diff --git a/docs/tests/rule/with-guard.mo.out → docs/tests/rule/with-guard.ch.out b/docs/tests/rule/with-guard.mo.out → docs/tests/rule/with-guard.ch.out
diff --git a/docs/tests/rule/with-include.mo → docs/tests/rule/with-include.ch b/docs/tests/rule/with-include.mo → docs/tests/rule/with-include.ch
diff --git a/docs/tests/rule/with-include.mo.out → docs/tests/rule/with-include.ch.out b/docs/tests/rule/with-include.mo.out → docs/tests/rule/with-include.ch.out
diff --git a/docs/tests/term/my-list.mo → docs/tests/term/my-list.ch b/docs/tests/term/my-list.mo → docs/tests/term/my-list.ch
diff --git a/docs/tests/term/my-list.mo.out → docs/tests/term/my-list.ch.out b/docs/tests/term/my-list.mo.out → docs/tests/term/my-list.ch.out
diff --git a/.../tests/term/term-name-can-be-uppercase.mo → .../tests/term/term-name-can-be-uppercase.ch b/.../tests/term/term-name-can-be-uppercase.mo → .../tests/term/term-name-can-be-uppercase.ch
diff --git a/...ts/term/term-name-can-be-uppercase.mo.out → ...ts/term/term-name-can-be-uppercase.ch.out b/...ts/term/term-name-can-be-uppercase.mo.out → ...ts/term/term-name-can-be-uppercase.ch.out
diff --git a/docs/tests/termination/always.mo → docs/tests/termination/always.ch b/docs/tests/termination/always.mo → docs/tests/termination/always.ch
diff --git a/docs/tests/termination/always.mo.out → docs/tests/termination/always.ch.out b/docs/tests/termination/always.mo.out → docs/tests/termination/always.ch.out
diff --git a/docs/tests/termination/append.mo → docs/tests/termination/append.ch b/docs/tests/termination/append.mo → docs/tests/termination/append.ch
diff --git a/docs/tests/termination/append.mo.out → docs/tests/termination/append.ch.out b/docs/tests/termination/append.mo.out → docs/tests/termination/append.ch.out
diff --git a/docs/tests/termination/never.mo → docs/tests/termination/never.ch b/docs/tests/termination/never.mo → docs/tests/termination/never.ch
diff --git a/docs/tests/termination/never.mo.out → docs/tests/termination/never.ch.out b/docs/tests/termination/never.mo.out → docs/tests/termination/never.ch.out
diff --git a/...tests/unification/infix-notation-equal.mo → ...tests/unification/infix-notation-equal.ch b/...tests/unification/infix-notation-equal.mo → ...tests/unification/infix-notation-equal.ch
diff --git a/...s/unification/infix-notation-equal.mo.out → ...s/unification/infix-notation-equal.ch.out b/...s/unification/infix-notation-equal.mo.out → ...s/unification/infix-notation-equal.ch.out
diff --git a/...s/unification/infix-notation-not-equal.mo → ...s/unification/infix-notation-not-equal.ch b/...s/unification/infix-notation-not-equal.mo → ...s/unification/infix-notation-not-equal.ch
diff --git a/...ification/infix-notation-not-equal.mo.out → ...ification/infix-notation-not-equal.ch.out b/...ification/infix-notation-not-equal.mo.out → ...ification/infix-notation-not-equal.ch.out
diff --git a/docs/tests/unification/occur-check.mo → docs/tests/unification/occur-check.ch b/docs/tests/unification/occur-check.mo → docs/tests/unification/occur-check.ch
diff --git a/docs/tests/unification/occur-check.mo.out → docs/tests/unification/occur-check.ch.out b/docs/tests/unification/occur-check.mo.out → docs/tests/unification/occur-check.ch.out