move examples/datatype/ to examples/datatypes/

cicada-lang · Nov 15, 2024 · 893c7f1 · 893c7f1
1 parent e1f080a
commit 893c7f1
Show file tree

Hide file tree

Showing 132 changed files with 30 additions and 30 deletions.
diff --git a/README.md b/README.md
@@ -116,7 +116,7 @@ rule cons append
   result-(append)
 end
 
-import zero from "https://code-of-inet-cute.xieyuheng.com/examples/datatype/Nat.i"
+import zero from "https://code-of-inet-cute.xieyuheng.com/examples/datatypes/Nat.i"
 
 null zero cons zero cons
 null zero cons zero cons
@@ -130,7 +130,7 @@ append @run $result
 ### DiffList
 
 ```inet
-import List from "https://code-of-inet-cute.xieyuheng.com/examples/datatype/List.i"
+import List from "https://code-of-inet-cute.xieyuheng.com/examples/datatypes/List.i"
 
 // Concatenation of lists is performed in linear time
 // with respect to its first argument.
@@ -172,8 +172,8 @@ rule diff diffOpen
   (diff)-front oldBack-(diffOpen)
 end
 
-import zero from "https://code-of-inet-cute.xieyuheng.com/examples/datatype/Nat.i"
-import cons from "https://code-of-inet-cute.xieyuheng.com/examples/datatype/List.i"
+import zero from "https://code-of-inet-cute.xieyuheng.com/examples/datatypes/Nat.i"
+import cons from "https://code-of-inet-cute.xieyuheng.com/examples/datatypes/List.i"
 
 (diff) @spread $front $back $value
 back zero cons zero cons front @connect value

diff --git a/docs/articles/programming-with-interaction-nets.md b/docs/articles/programming-with-interaction-nets.md
@@ -779,7 +779,7 @@ to a local variable named `local`.
 import
   Nat, zero, add1, add,
   one, two, three,
-from "https://code-of-inet-cute.xieyuheng.com/examples/datatype/Nat.i"
+from "https://code-of-inet-cute.xieyuheng.com/examples/datatypes/Nat.i"
 
 node natErase
   Nat :target!
@@ -892,7 +892,7 @@ rule cons append
   result-(append)
 end
 
-import zero from "https://code-of-inet-cute.xieyuheng.com/examples/datatype/Nat.i"
+import zero from "https://code-of-inet-cute.xieyuheng.com/examples/datatypes/Nat.i"
 
 null zero cons zero cons
 null zero cons zero cons
@@ -937,7 +937,7 @@ in reverse order of the definition,
 then we save the ports to local variables for later use.
 
 ```
-import List from "https://code-of-inet-cute.xieyuheng.com/examples/datatype/List.i"
+import List from "https://code-of-inet-cute.xieyuheng.com/examples/datatypes/List.i"
 
 type DiffList @Type -- @Type end
 
@@ -972,8 +972,8 @@ rule diff diffOpen
   (diff)-front oldBack-(diffOpen)
 end
 
-import zero from "https://code-of-inet-cute.xieyuheng.com/examples/datatype/Nat.i"
-import cons from "https://code-of-inet-cute.xieyuheng.com/examples/datatype/List.i"
+import zero from "https://code-of-inet-cute.xieyuheng.com/examples/datatypes/Nat.i"
+import cons from "https://code-of-inet-cute.xieyuheng.com/examples/datatypes/List.i"
 
 (diff) @spread $front $back $value
 back zero cons zero cons front @connect value

diff --git a/docs/articles/反应网编程.md b/docs/articles/反应网编程.md
@@ -750,7 +750,7 @@ three two max
 import
   Nat, zero, add1, add,
   one, two, three,
-from "https://code-of-inet-cute.xieyuheng.com/examples/datatype/Nat.i"
+from "https://code-of-inet-cute.xieyuheng.com/examples/datatypes/Nat.i"
 
 node natErase
   Nat :target!
@@ -861,7 +861,7 @@ rule cons append
   result-(append)
 end
 
-import zero from "https://code-of-inet-cute.xieyuheng.com/examples/datatype/Nat.i"
+import zero from "https://code-of-inet-cute.xieyuheng.com/examples/datatypes/Nat.i"
 
 null zero cons zero cons
 null zero cons zero cons
@@ -900,7 +900,7 @@ append @run $result
 然后我们把这些接口保存到了一些局部变量中。
 
 ```
-import List from "https://code-of-inet-cute.xieyuheng.com/examples/datatype/List.i"
+import List from "https://code-of-inet-cute.xieyuheng.com/examples/datatypes/List.i"
 
 type DiffList @Type -- @Type end
 
@@ -935,8 +935,8 @@ rule diff diffOpen
   (diff)-front oldBack-(diffOpen)
 end
 
-import zero from "https://code-of-inet-cute.xieyuheng.com/examples/datatype/Nat.i"
-import cons from "https://code-of-inet-cute.xieyuheng.com/examples/datatype/List.i"
+import zero from "https://code-of-inet-cute.xieyuheng.com/examples/datatypes/Nat.i"
+import cons from "https://code-of-inet-cute.xieyuheng.com/examples/datatypes/List.i"
 
 (diff) @spread $front $back $value
 back zero cons zero cons front @connect value

diff --git a/tests/builtin/apply.i → examples/builtin/apply.i b/tests/builtin/apply.i → examples/builtin/apply.i
diff --git a/tests/builtin/apply.i.out → examples/builtin/apply.i.out b/tests/builtin/apply.i.out → examples/builtin/apply.i.out
diff --git a/tests/builtin/connect-args.error.i → examples/builtin/connect-args.error.i b/tests/builtin/connect-args.error.i → examples/builtin/connect-args.error.i
diff --git a/tests/builtin/connect-args.error.i.err → examples/builtin/connect-args.error.i.err b/tests/builtin/connect-args.error.i.err → examples/builtin/connect-args.error.i.err
diff --git a/tests/builtin/inspect-args.error.i → examples/builtin/inspect-args.error.i b/tests/builtin/inspect-args.error.i → examples/builtin/inspect-args.error.i
diff --git a/tests/builtin/inspect-args.error.i.err → examples/builtin/inspect-args.error.i.err b/tests/builtin/inspect-args.error.i.err → examples/builtin/inspect-args.error.i.err
diff --git a/tests/builtin/rot-args.error.i → examples/builtin/rot-args.error.i b/tests/builtin/rot-args.error.i → examples/builtin/rot-args.error.i
diff --git a/tests/builtin/rot-args.error.i.err → examples/builtin/rot-args.error.i.err b/tests/builtin/rot-args.error.i.err → examples/builtin/rot-args.error.i.err
diff --git a/tests/builtin/run-only-top-port.i → examples/builtin/run-only-top-port.i b/tests/builtin/run-only-top-port.i → examples/builtin/run-only-top-port.i
@@ -1,4 +1,4 @@
-require "../datatype/Nat.i"
+require "../datatypes/Nat.i"
 
 one one add
 one one add

diff --git a/tests/builtin/run-only-top-port.i.out → examples/builtin/run-only-top-port.i.out b/tests/builtin/run-only-top-port.i.out → examples/builtin/run-only-top-port.i.out
diff --git a/tests/builtin/spread.i → examples/builtin/spread.i b/tests/builtin/spread.i → examples/builtin/spread.i
diff --git a/tests/builtin/spread.i.out → examples/builtin/spread.i.out b/tests/builtin/spread.i.out → examples/builtin/spread.i.out
diff --git a/tests/builtin/swap-args.error.i → examples/builtin/swap-args.error.i b/tests/builtin/swap-args.error.i → examples/builtin/swap-args.error.i
diff --git a/tests/builtin/swap-args.error.i.err → examples/builtin/swap-args.error.i.err b/tests/builtin/swap-args.error.i.err → examples/builtin/swap-args.error.i.err
diff --git a/tests/checking/begin-sign.error.i → examples/checking/begin-sign.error.i b/tests/checking/begin-sign.error.i → examples/checking/begin-sign.error.i
diff --git a/tests/checking/begin-sign.error.i.err → examples/checking/begin-sign.error.i.err b/tests/checking/begin-sign.error.i.err → examples/checking/begin-sign.error.i.err
diff --git a/tests/checking/begin-type-nested.error.i → examples/checking/begin-type-nested.error.i b/tests/checking/begin-type-nested.error.i → examples/checking/begin-type-nested.error.i
diff --git a/tests/checking/begin-type-nested.error.i.err → ...es/checking/begin-type-nested.error.i.err b/tests/checking/begin-type-nested.error.i.err → ...es/checking/begin-type-nested.error.i.err
diff --git a/tests/checking/begin-type.error.i → examples/checking/begin-type.error.i b/tests/checking/begin-type.error.i → examples/checking/begin-type.error.i
diff --git a/tests/checking/begin-type.error.i.err → examples/checking/begin-type.error.i.err b/tests/checking/begin-type.error.i.err → examples/checking/begin-type.error.i.err
diff --git a/tests/checking/check-input-type.error.i → examples/checking/check-input-type.error.i b/tests/checking/check-input-type.error.i → examples/checking/check-input-type.error.i
diff --git a/tests/checking/check-input-type.error.i.err → ...les/checking/check-input-type.error.i.err b/tests/checking/check-input-type.error.i.err → ...les/checking/check-input-type.error.i.err
diff --git a/.../checking/claim-input-arity-extra.error.i → .../checking/claim-input-arity-extra.error.i b/.../checking/claim-input-arity-extra.error.i → .../checking/claim-input-arity-extra.error.i
diff --git a/...cking/claim-input-arity-extra.error.i.err → ...cking/claim-input-arity-extra.error.i.err b/...cking/claim-input-arity-extra.error.i.err → ...cking/claim-input-arity-extra.error.i.err
diff --git a/tests/checking/claim-input-type.error.i → examples/checking/claim-input-type.error.i b/tests/checking/claim-input-type.error.i → examples/checking/claim-input-type.error.i
diff --git a/tests/checking/claim-input-type.error.i.err → ...les/checking/claim-input-type.error.i.err b/tests/checking/claim-input-type.error.i.err → ...les/checking/claim-input-type.error.i.err
diff --git a/...checking/claim-output-arity-extra.error.i → ...checking/claim-output-arity-extra.error.i b/...checking/claim-output-arity-extra.error.i → ...checking/claim-output-arity-extra.error.i
diff --git a/...king/claim-output-arity-extra.error.i.err → ...king/claim-output-arity-extra.error.i.err b/...king/claim-output-arity-extra.error.i.err → ...king/claim-output-arity-extra.error.i.err
diff --git a/.../checking/claim-output-arity-lack.error.i → .../checking/claim-output-arity-lack.error.i b/.../checking/claim-output-arity-lack.error.i → .../checking/claim-output-arity-lack.error.i
diff --git a/...cking/claim-output-arity-lack.error.i.err → ...cking/claim-output-arity-lack.error.i.err b/...cking/claim-output-arity-lack.error.i.err → ...cking/claim-output-arity-lack.error.i.err
diff --git a/tests/checking/claim-output-type.error.i → examples/checking/claim-output-type.error.i b/tests/checking/claim-output-type.error.i → examples/checking/claim-output-type.error.i
diff --git a/tests/checking/claim-output-type.error.i.err → ...es/checking/claim-output-type.error.i.err b/tests/checking/claim-output-type.error.i.err → ...es/checking/claim-output-type.error.i.err
diff --git a/tests/checking/connect-type.error.i → examples/checking/connect-type.error.i b/tests/checking/connect-type.error.i → examples/checking/connect-type.error.i
diff --git a/tests/checking/connect-type.error.i.err → examples/checking/connect-type.error.i.err b/tests/checking/connect-type.error.i.err → examples/checking/connect-type.error.i.err
diff --git a/...hecking/locals-not-used-in-define.error.i → ...hecking/locals-not-used-in-define.error.i b/...hecking/locals-not-used-in-define.error.i → ...hecking/locals-not-used-in-define.error.i
diff --git a/...ing/locals-not-used-in-define.error.i.err → ...ing/locals-not-used-in-define.error.i.err b/...ing/locals-not-used-in-define.error.i.err → ...ing/locals-not-used-in-define.error.i.err
diff --git a/.../checking/locals-not-used-in-node.error.i → .../checking/locals-not-used-in-node.error.i b/.../checking/locals-not-used-in-node.error.i → .../checking/locals-not-used-in-node.error.i
diff --git a/...cking/locals-not-used-in-node.error.i.err → ...cking/locals-not-used-in-node.error.i.err b/...cking/locals-not-used-in-node.error.i.err → ...cking/locals-not-used-in-node.error.i.err
diff --git a/.../checking/locals-not-used-in-rule.error.i → .../checking/locals-not-used-in-rule.error.i b/.../checking/locals-not-used-in-rule.error.i → .../checking/locals-not-used-in-rule.error.i
diff --git a/...cking/locals-not-used-in-rule.error.i.err → ...cking/locals-not-used-in-rule.error.i.err b/...cking/locals-not-used-in-rule.error.i.err → ...cking/locals-not-used-in-rule.error.i.err
diff --git a/tests/checking/rule-node-order.error.i → examples/checking/rule-node-order.error.i b/tests/checking/rule-node-order.error.i → examples/checking/rule-node-order.error.i
diff --git a/tests/checking/rule-node-order.error.i.err → ...ples/checking/rule-node-order.error.i.err b/tests/checking/rule-node-order.error.i.err → ...ples/checking/rule-node-order.error.i.err
diff --git a/tests/checking/rule-sign.error.i → examples/checking/rule-sign.error.i b/tests/checking/rule-sign.error.i → examples/checking/rule-sign.error.i
diff --git a/tests/checking/rule-sign.error.i.err → examples/checking/rule-sign.error.i.err b/tests/checking/rule-sign.error.i.err → examples/checking/rule-sign.error.i.err
diff --git a/tests/checking/rule-type-occur-check.error.i → ...es/checking/rule-type-occur-check.error.i b/tests/checking/rule-type-occur-check.error.i → ...es/checking/rule-type-occur-check.error.i
diff --git a/...hecking/rule-type-occur-check.error.i.err → ...hecking/rule-type-occur-check.error.i.err b/...hecking/rule-type-occur-check.error.i.err → ...hecking/rule-type-occur-check.error.i.err
diff --git a/tests/checking/rule-type.error.i → examples/checking/rule-type.error.i b/tests/checking/rule-type.error.i → examples/checking/rule-type.error.i
diff --git a/tests/checking/rule-type.error.i.err → examples/checking/rule-type.error.i.err b/tests/checking/rule-type.error.i.err → examples/checking/rule-type.error.i.err
diff --git a/tests/checking/type-input-not-type.error.i → ...ples/checking/type-input-not-type.error.i b/tests/checking/type-input-not-type.error.i → ...ples/checking/type-input-not-type.error.i
diff --git a/.../checking/type-input-not-type.error.i.err → .../checking/type-input-not-type.error.i.err b/.../checking/type-input-not-type.error.i.err → .../checking/type-input-not-type.error.i.err
diff --git a/tests/checking/type-output-not-type.error.i → ...les/checking/type-output-not-type.error.i b/tests/checking/type-output-not-type.error.i → ...les/checking/type-output-not-type.error.i
diff --git a/...checking/type-output-not-type.error.i.err → ...checking/type-output-not-type.error.i.err b/...checking/type-output-not-type.error.i.err → ...checking/type-output-not-type.error.i.err
diff --git a/tests/checking/type-output-two.error.i → examples/checking/type-output-two.error.i b/tests/checking/type-output-two.error.i → examples/checking/type-output-two.error.i
diff --git a/tests/checking/type-output-two.error.i.err → ...ples/checking/type-output-two.error.i.err b/tests/checking/type-output-two.error.i.err → ...ples/checking/type-output-two.error.i.err
diff --git a/tests/checking/type-output-zero.error.i → examples/checking/type-output-zero.error.i b/tests/checking/type-output-zero.error.i → examples/checking/type-output-zero.error.i
diff --git a/tests/checking/type-output-zero.error.i.err → ...les/checking/type-output-zero.error.i.err b/tests/checking/type-output-zero.error.i.err → ...les/checking/type-output-zero.error.i.err
diff --git a/.../checking/type-term-args-not-type.error.i → .../checking/type-term-args-not-type.error.i b/.../checking/type-term-args-not-type.error.i → .../checking/type-term-args-not-type.error.i
diff --git a/...cking/type-term-args-not-type.error.i.err → ...cking/type-term-args-not-type.error.i.err b/...cking/type-term-args-not-type.error.i.err → ...cking/type-term-args-not-type.error.i.err
diff --git a/tests/checking/type-term-arity-lack.error.i → ...les/checking/type-term-arity-lack.error.i b/tests/checking/type-term-arity-lack.error.i → ...les/checking/type-term-arity-lack.error.i
diff --git a/...checking/type-term-arity-lack.error.i.err → ...checking/type-term-arity-lack.error.i.err b/...checking/type-term-arity-lack.error.i.err → ...checking/type-term-arity-lack.error.i.err
diff --git a/tests/datatype/Bin.i → examples/datatypes/Bin.i b/tests/datatype/Bin.i → examples/datatypes/Bin.i
diff --git a/tests/datatype/Bin.test.i → examples/datatypes/Bin.test.i b/tests/datatype/Bin.test.i → examples/datatypes/Bin.test.i
diff --git a/tests/datatype/Bin.test.i.out → examples/datatypes/Bin.test.i.out b/tests/datatype/Bin.test.i.out → examples/datatypes/Bin.test.i.out
diff --git a/tests/datatype/DiffList.i → examples/datatypes/DiffList.i b/tests/datatype/DiffList.i → examples/datatypes/DiffList.i
diff --git a/tests/datatype/DiffList.test.i → examples/datatypes/DiffList.test.i b/tests/datatype/DiffList.test.i → examples/datatypes/DiffList.test.i
diff --git a/tests/datatype/DiffList.test.i.out → examples/datatypes/DiffList.test.i.out b/tests/datatype/DiffList.test.i.out → examples/datatypes/DiffList.test.i.out
diff --git a/tests/datatype/List.i → examples/datatypes/List.i b/tests/datatype/List.i → examples/datatypes/List.i
diff --git a/tests/datatype/List.test.i → examples/datatypes/List.test.i b/tests/datatype/List.test.i → examples/datatypes/List.test.i
diff --git a/tests/datatype/List.test.i.out → examples/datatypes/List.test.i.out b/tests/datatype/List.test.i.out → examples/datatypes/List.test.i.out
diff --git a/tests/datatype/Nat.i → examples/datatypes/Nat.i b/tests/datatype/Nat.i → examples/datatypes/Nat.i
diff --git a/tests/datatype/Nat.test.i → examples/datatypes/Nat.test.i b/tests/datatype/Nat.test.i → examples/datatypes/Nat.test.i
diff --git a/tests/datatype/Nat.test.i.out → examples/datatypes/Nat.test.i.out b/tests/datatype/Nat.test.i.out → examples/datatypes/Nat.test.i.out
diff --git a/tests/datatype/Trivial.i → examples/datatypes/Trivial.i b/tests/datatype/Trivial.i → examples/datatypes/Trivial.i
diff --git a/tests/module/circular-import-1.error.i → examples/module/circular-import-1.error.i b/tests/module/circular-import-1.error.i → examples/module/circular-import-1.error.i
diff --git a/tests/module/circular-import-1.error.i.err → ...ples/module/circular-import-1.error.i.err b/tests/module/circular-import-1.error.i.err → ...ples/module/circular-import-1.error.i.err
diff --git a/tests/module/circular-import-2.error.i → examples/module/circular-import-2.error.i b/tests/module/circular-import-2.error.i → examples/module/circular-import-2.error.i
diff --git a/tests/module/circular-import-2.error.i.err → ...ples/module/circular-import-2.error.i.err b/tests/module/circular-import-2.error.i.err → ...ples/module/circular-import-2.error.i.err
diff --git a/tests/module/circular-import-3.error.i → examples/module/circular-import-3.error.i b/tests/module/circular-import-3.error.i → examples/module/circular-import-3.error.i
diff --git a/tests/module/circular-import-3.error.i.err → ...ples/module/circular-import-3.error.i.err b/tests/module/circular-import-3.error.i.err → ...ples/module/circular-import-3.error.i.err
diff --git a/tests/module/circular-require-1.error.i → examples/module/circular-require-1.error.i b/tests/module/circular-require-1.error.i → examples/module/circular-require-1.error.i
diff --git a/tests/module/circular-require-1.error.i.err → ...les/module/circular-require-1.error.i.err b/tests/module/circular-require-1.error.i.err → ...les/module/circular-require-1.error.i.err
diff --git a/tests/module/circular-require-2.error.i → examples/module/circular-require-2.error.i b/tests/module/circular-require-2.error.i → examples/module/circular-require-2.error.i
diff --git a/tests/module/circular-require-2.error.i.err → ...les/module/circular-require-2.error.i.err b/tests/module/circular-require-2.error.i.err → ...les/module/circular-require-2.error.i.err
diff --git a/tests/module/circular-require-3.error.i → examples/module/circular-require-3.error.i b/tests/module/circular-require-3.error.i → examples/module/circular-require-3.error.i
diff --git a/tests/module/circular-require-3.error.i.err → ...les/module/circular-require-3.error.i.err b/tests/module/circular-require-3.error.i.err → ...les/module/circular-require-3.error.i.err
diff --git a/...dule/define-rule-for-non-own-node.error.i → ...dule/define-rule-for-non-own-node.error.i b/...dule/define-rule-for-non-own-node.error.i → ...dule/define-rule-for-non-own-node.error.i
@@ -1,4 +1,4 @@
-import Nat, zero, add1, add from "../datatype/Nat.i"
+import Nat, zero, add1, add from "../datatypes/Nat.i"
 
 rule zero add
   (add)-addend

diff --git a/.../define-rule-for-non-own-node.error.i.err → .../define-rule-for-non-own-node.error.i.err b/.../define-rule-for-non-own-node.error.i.err → .../define-rule-for-non-own-node.error.i.err
@@ -1,14 +1,14 @@
 [checkRuleIsAboutOwnNode] To define a rule, one of the node must be owned by this module.
 
   loading module url: examples/module/define-rule-for-non-own-node.error.i
-  first node module url: examples/datatype/Nat.i
-  second node module url: examples/datatype/Nat.i
+  first node module url: examples/datatypes/Nat.i
+  second node module url: examples/datatypes/Nat.i
 
 [DefineRule.execute] I fail to define rule.
 
   rule nodes: zero add
 
-  1 |import Nat, zero, add1, add from "../datatype/Nat.i"
+  1 |import Nat, zero, add1, add from "../datatypes/Nat.i"
   2 |
   3 |rule zero add
   4 |  (add)-addend

diff --git a/examples/module/import.i b/examples/module/import.i
@@ -0,0 +1,3 @@
+import zero, one, add from "../datatypes/Nat.i"
+
+zero one add @inspect @run @inspect
diff --git a/tests/module/import.i.out → examples/module/import.i.out b/tests/module/import.i.out → examples/module/import.i.out
diff --git a/examples/module/require-already-defined.error.i b/examples/module/require-already-defined.error.i
@@ -0,0 +1,3 @@
+type Nat -- @Type end
+
+require "../datatypes/Nat.i"
diff --git a/...odule/require-already-defined.error.i.err → ...odule/require-already-defined.error.i.err b/...odule/require-already-defined.error.i.err → ...odule/require-already-defined.error.i.err
@@ -4,9 +4,9 @@
 
 [Require.execute] I fail to require module.
 
-  path: "../datatype/Nat.i"
+  path: "../datatypes/Nat.i"
 
  1 |type Nat -- @Type end
  2 |
- 3 |require "../datatype/Nat.i"
+ 3 |require "../datatypes/Nat.i"
  4 |
diff --git a/tests/module/require.i → examples/module/require.i b/tests/module/require.i → examples/module/require.i
@@ -1,3 +1,3 @@
-require "../datatype/Nat.i"
+require "../datatypes/Nat.i"
 
 zero one add @inspect @run @inspect
diff --git a/tests/module/require.i.out → examples/module/require.i.out b/tests/module/require.i.out → examples/module/require.i.out
diff --git a/tests/module/reuqire-more-rules-1.i → examples/module/reuqire-more-rules-1.i b/tests/module/reuqire-more-rules-1.i → examples/module/reuqire-more-rules-1.i
diff --git a/tests/module/reuqire-more-rules-2.i → examples/module/reuqire-more-rules-2.i b/tests/module/reuqire-more-rules-2.i → examples/module/reuqire-more-rules-2.i
diff --git a/tests/module/reuqire-more-rules-3.i → examples/module/reuqire-more-rules-3.i b/tests/module/reuqire-more-rules-3.i → examples/module/reuqire-more-rules-3.i
diff --git a/tests/module/reuqire-more-rules-3.i.out → examples/module/reuqire-more-rules-3.i.out b/tests/module/reuqire-more-rules-3.i.out → examples/module/reuqire-more-rules-3.i.out
diff --git a/tests/module/self-import.error.i → examples/module/self-import.error.i b/tests/module/self-import.error.i → examples/module/self-import.error.i
diff --git a/tests/module/self-import.error.i.err → examples/module/self-import.error.i.err b/tests/module/self-import.error.i.err → examples/module/self-import.error.i.err
diff --git a/tests/module/self-require.error.i → examples/module/self-require.error.i b/tests/module/self-require.error.i → examples/module/self-require.error.i
diff --git a/tests/module/self-require.error.i.err → examples/module/self-require.error.i.err b/tests/module/self-require.error.i.err → examples/module/self-require.error.i.err
diff --git a/tests/statement/check.i → examples/statement/check.i b/tests/statement/check.i → examples/statement/check.i
diff --git a/tests/statement/compose.i → examples/statement/compose.i b/tests/statement/compose.i → examples/statement/compose.i
diff --git a/tests/statement/compose.i.out → examples/statement/compose.i.out b/tests/statement/compose.i.out → examples/statement/compose.i.out
diff --git a/tests/statement/define-without-claim.error.i → ...es/statement/define-without-claim.error.i b/tests/statement/define-without-claim.error.i → ...es/statement/define-without-claim.error.i
diff --git a/...tatement/define-without-claim.error.i.err → ...tatement/define-without-claim.error.i.err b/...tatement/define-without-claim.error.i.err → ...tatement/define-without-claim.error.i.err
diff --git a/...tatement/node-principal-ports-two.error.i → ...tatement/node-principal-ports-two.error.i b/...tatement/node-principal-ports-two.error.i → ...tatement/node-principal-ports-two.error.i
diff --git a/...ment/node-principal-ports-two.error.i.err → ...ment/node-principal-ports-two.error.i.err b/...ment/node-principal-ports-two.error.i.err → ...ment/node-principal-ports-two.error.i.err
diff --git a/...atement/node-principal-ports-zero.error.i → ...atement/node-principal-ports-zero.error.i b/...atement/node-principal-ports-zero.error.i → ...atement/node-principal-ports-zero.error.i
diff --git a/...ent/node-principal-ports-zero.error.i.err → ...ent/node-principal-ports-zero.error.i.err b/...ent/node-principal-ports-zero.error.i.err → ...ent/node-principal-ports-zero.error.i.err
diff --git a/tests/statement/re-claim.error.i → examples/statement/re-claim.error.i b/tests/statement/re-claim.error.i → examples/statement/re-claim.error.i
diff --git a/tests/statement/re-claim.error.i.err → examples/statement/re-claim.error.i.err b/tests/statement/re-claim.error.i.err → examples/statement/re-claim.error.i.err
diff --git a/tests/statement/re-define.error.i → examples/statement/re-define.error.i b/tests/statement/re-define.error.i → examples/statement/re-define.error.i
diff --git a/tests/statement/re-define.error.i.err → examples/statement/re-define.error.i.err b/tests/statement/re-define.error.i.err → examples/statement/re-define.error.i.err
diff --git a/tests/statement/rule-before-node.error.i → examples/statement/rule-before-node.error.i b/tests/statement/rule-before-node.error.i → examples/statement/rule-before-node.error.i
diff --git a/tests/statement/rule-before-node.error.i.err → ...es/statement/rule-before-node.error.i.err b/tests/statement/rule-before-node.error.i.err → ...es/statement/rule-before-node.error.i.err
diff --git a/tests/value/input-and-output-placeholders.i → ...les/value/input-and-output-placeholders.i b/tests/value/input-and-output-placeholders.i → ...les/value/input-and-output-placeholders.i
diff --git a/...value/input-and-output-placeholders.i.out → ...value/input-and-output-placeholders.i.out b/...value/input-and-output-placeholders.i.out → ...value/input-and-output-placeholders.i.out
diff --git a/tests/value/labeled.i → examples/value/labeled.i b/tests/value/labeled.i → examples/value/labeled.i
diff --git a/tests/value/labeled.i.out → examples/value/labeled.i.out b/tests/value/labeled.i.out → examples/value/labeled.i.out
diff --git a/tests/value/node.i → examples/value/node.i b/tests/value/node.i → examples/value/node.i
diff --git a/tests/value/node.i.out → examples/value/node.i.out b/tests/value/node.i.out → examples/value/node.i.out
diff --git a/tests/value/type-term.i → examples/value/type-term.i b/tests/value/type-term.i → examples/value/type-term.i
diff --git a/tests/value/type-term.i.out → examples/value/type-term.i.out b/tests/value/type-term.i.out → examples/value/type-term.i.out
diff --git a/tests/value/type-var.i → examples/value/type-var.i b/tests/value/type-var.i → examples/value/type-var.i
diff --git a/tests/value/type-var.i.out → examples/value/type-var.i.out b/tests/value/type-var.i.out → examples/value/type-var.i.out
diff --git a/src/command-line/commands/Run.ts b/src/command-line/commands/Run.ts
@@ -26,11 +26,11 @@ export class Run extends Command<Args, Opts> {
     return [
       `Run a file:`,
       ``,
-      blue(`  ${runner.name} ${this.name} examples/datatype/Nat.test.i`),
+      blue(`  ${runner.name} ${this.name} examples/datatypes/Nat.test.i`),
       ``,
       `Run a URL:`,
       ``,
-      blue(`  ${runner.name} ${this.name} https://code-of-inet-cute.xieyuheng.com/examples/datatype/Nat.test.i`),
+      blue(`  ${runner.name} ${this.name} https://code-of-inet-cute.xieyuheng.com/examples/datatypes/Nat.test.i`),
 
       ``,
     ].join("\n")

diff --git a/tests/module/import.i b/tests/module/import.i
diff --git a/tests/module/require-already-defined.error.i b/tests/module/require-already-defined.error.i
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,3 @@
		import zero, one, add from "../datatypes/Nat.i"

		zero one add @inspect @run @inspect
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,3 @@
		type Nat -- @Type end

		require "../datatypes/Nat.i"