summaryrefslogtreecommitdiff
path: root/ocaml/lib/infrastructure
diff options
context:
space:
mode:
Diffstat (limited to 'ocaml/lib/infrastructure')
-rw-r--r--ocaml/lib/infrastructure/dune15
-rw-r--r--ocaml/lib/infrastructure/file.ml4
-rw-r--r--ocaml/lib/infrastructure/file.mli3
3 files changed, 0 insertions, 22 deletions
diff --git a/ocaml/lib/infrastructure/dune b/ocaml/lib/infrastructure/dune
deleted file mode 100644
index b9d250f..0000000
--- a/ocaml/lib/infrastructure/dune
+++ /dev/null
@@ -1,15 +0,0 @@
-(library
- (name infrastructure)
- (libraries
- application
- domain
- fmt
- logs)
- (inline_tests)
- (preprocess
- (pps
- ppx_deriving.show
- ppx_deriving.eq
- ppx_deriving.ord
- ppx_inline_test
- ppx_expect)))
diff --git a/ocaml/lib/infrastructure/file.ml b/ocaml/lib/infrastructure/file.ml
deleted file mode 100644
index 3b49c01..0000000
--- a/ocaml/lib/infrastructure/file.ml
+++ /dev/null
@@ -1,4 +0,0 @@
-let read filename =
- let chan = In_channel.open_text filename in
- let content = In_channel.input_all chan in
- In_channel.close chan ; content
diff --git a/ocaml/lib/infrastructure/file.mli b/ocaml/lib/infrastructure/file.mli
deleted file mode 100644
index 17d4495..0000000
--- a/ocaml/lib/infrastructure/file.mli
+++ /dev/null
@@ -1,3 +0,0 @@
-val read : string -> string
-(** [read filename] is the contents of [filename] as a string.
- The empty string is returned if [filename] does not exist. *)