From 28f50adc631243c62cf9fd1ad070ac65f0622ed8 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 8 Jan 2021 13:13:57 -0500 Subject: [PATCH] remove sequence --- src/sequence/Sequence.ml | 6 ------ src/sequence/SequenceLabels.ml | 4 ---- src/sequence/dune | 7 ------- 3 files changed, 17 deletions(-) delete mode 100644 src/sequence/Sequence.ml delete mode 100644 src/sequence/SequenceLabels.ml delete mode 100644 src/sequence/dune diff --git a/src/sequence/Sequence.ml b/src/sequence/Sequence.ml deleted file mode 100644 index abf3e40..0000000 --- a/src/sequence/Sequence.ml +++ /dev/null @@ -1,6 +0,0 @@ - -[@@@ocaml.deprecated "the package is now `Iter`"] - -include Iter - -type 'a sequence = 'a iter diff --git a/src/sequence/SequenceLabels.ml b/src/sequence/SequenceLabels.ml deleted file mode 100644 index 0c0feda..0000000 --- a/src/sequence/SequenceLabels.ml +++ /dev/null @@ -1,4 +0,0 @@ - -[@@@ocaml.deprecated "the package is now `Iter`"] - -include IterLabels diff --git a/src/sequence/dune b/src/sequence/dune deleted file mode 100644 index 70ce027..0000000 --- a/src/sequence/dune +++ /dev/null @@ -1,7 +0,0 @@ - -(library - (name sequence) - (public_name sequence) - (wrapped false) - (flags :standard -warn-error -a+8 -safe-string) - (libraries iter))