aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarc Coquand <marc@mccd.space>2024-05-13 11:10:51 -0500
committerMarc Coquand <marc@mccd.space>2024-05-13 11:10:51 -0500
commit3534b2f4ed4ee682d2c09aa501e77338c0e166f7 (patch)
treedc29e3b863df6bb4fac5932c02595ebc33afb65c
parent121a6a376209de3f5a9474bf03721e2032a73e01 (diff)
downloadstitch-3534b2f4ed4ee682d2c09aa501e77338c0e166f7.tar.gz
stitch-3534b2f4ed4ee682d2c09aa501e77338c0e166f7.tar.bz2
stitch-3534b2f4ed4ee682d2c09aa501e77338c0e166f7.zip
Initial commit x2
-rw-r--r--README (renamed from README.md)0
-rw-r--r--lib/zipper.ml22
-rw-r--r--test/dune2
-rw-r--r--test/test_stitch.ml (renamed from test/test_apbox.ml)0
4 files changed, 1 insertions, 23 deletions
diff --git a/README.md b/README
index 7af7768..7af7768 100644
--- a/README.md
+++ b/README
diff --git a/lib/zipper.ml b/lib/zipper.ml
deleted file mode 100644
index 37e14de..0000000
--- a/lib/zipper.ml
+++ /dev/null
@@ -1,22 +0,0 @@
-type zipper =
- { above : string list
- ; selected : string
- ; below : string list
- }
-
-let up (zipper : zipper) =
- match zipper.above with
- | [] -> zipper
- | a :: rest -> { above = rest; selected = a; below = zipper.selected :: zipper.below }
-
-
-let down (zipper : zipper) =
- match zipper.below with
- | [] -> zipper
- | a :: rest -> { below = rest; selected = a; above = zipper.selected :: zipper.above }
-
-
-let selected zipper = zipper.selected
-
-let to_array zipper =
- List.concat [ zipper.above; [ zipper.selected ]; zipper.below ] |> Array.of_list
diff --git a/test/dune b/test/dune
index d392dd2..adbe4c1 100644
--- a/test/dune
+++ b/test/dune
@@ -1,2 +1,2 @@
(test
- (name test_apbox))
+ (name test_stitch))
diff --git a/test/test_apbox.ml b/test/test_stitch.ml
index e69de29..e69de29 100644
--- a/test/test_apbox.ml
+++ b/test/test_stitch.ml