From f85bd00ac9d089ecd5e02d0d41232127876483e4 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sun, 14 Jan 2018 16:31:53 -0600 Subject: [PATCH] remove delimcc sublib --- sequence.opam | 1 - src/invert/.merlin | 2 -- src/invert/SequenceInvert.ml | 62 ----------------------------------- src/invert/SequenceInvert.mli | 32 ------------------ src/invert/jbuild | 12 ------- 5 files changed, 109 deletions(-) delete mode 100644 src/invert/.merlin delete mode 100644 src/invert/SequenceInvert.ml delete mode 100644 src/invert/SequenceInvert.mli delete mode 100644 src/invert/jbuild diff --git a/sequence.opam b/sequence.opam index 18da15e..a515569 100644 --- a/sequence.opam +++ b/sequence.opam @@ -29,7 +29,6 @@ depends: [ tags: [ "sequence" "iterator" "iter" "fold" ] homepage: "https://github.com/c-cube/sequence/" depopts: [ - "delimcc" "base-bigarray" ] doc: "http://cedeela.fr/~simon/software/sequence/Sequence.html" diff --git a/src/invert/.merlin b/src/invert/.merlin deleted file mode 100644 index 3b9a31d..0000000 --- a/src/invert/.merlin +++ /dev/null @@ -1,2 +0,0 @@ -REC -PKG delimcc diff --git a/src/invert/SequenceInvert.ml b/src/invert/SequenceInvert.ml deleted file mode 100644 index 46efc69..0000000 --- a/src/invert/SequenceInvert.ml +++ /dev/null @@ -1,62 +0,0 @@ -(* -Copyright (c) 2014, Simon Cruanes -All rights reserved. - -Redistribution and use in source and binary forms, with or without -modification, are permitted provided that the following conditions are met: - -Redistributions of source code must retain the above copyright notice, this -list of conditions and the following disclaimer. Redistributions in binary -form must reproduce the above copyright notice, this list of conditions and the -following disclaimer in the documentation and/or other materials provided with -the distribution. - -THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND -ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED -WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE -DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE -FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL -DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR -SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER -CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, -OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE -OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. -*) - -(** {1 Interface to Delimcc (Invert control flow)} *) - -type 'a gen = unit -> 'a option - -type 'a res = - | Start - | Yield of 'a - | Stop - -let _ret_none () = None -let _ret_unit () = () - -let to_gen seq = - let p = Delimcc.new_prompt () in - let _next = ref None in - ignore (Delimcc.push_prompt p - (fun () -> - Delimcc.take_subcont p (fun c () -> _next := Some c; Start); - seq - (fun x -> - Delimcc.take_subcont p (fun c () -> _next := Some c; Yield x) - ); - _next := None; - Stop - )); - (* call next subcont *) - let rec next () = - match !_next with - | None -> None - | Some f -> - begin match Delimcc.push_delim_subcont f _ret_unit with - | Start -> next () - | Yield x -> Some x - | Stop -> None - end - in - next diff --git a/src/invert/SequenceInvert.mli b/src/invert/SequenceInvert.mli deleted file mode 100644 index bd3c843..0000000 --- a/src/invert/SequenceInvert.mli +++ /dev/null @@ -1,32 +0,0 @@ -(* -Copyright (c) 2014, Simon Cruanes -All rights reserved. - -Redistribution and use in source and binary forms, with or without -modification, are permitted provided that the following conditions are met: - -Redistributions of source code must retain the above copyright notice, this -list of conditions and the following disclaimer. Redistributions in binary -form must reproduce the above copyright notice, this list of conditions and the -following disclaimer in the documentation and/or other materials provided with -the distribution. - -THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND -ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED -WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE -DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE -FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL -DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR -SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER -CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, -OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE -OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. -*) - -(** {1 Interface to Delimcc (Invert control flow)} *) - -type 'a gen = unit -> 'a option - -val to_gen : 'a Sequence.t -> 'a gen -(** Use delimited continuations to iterate on the sequence step by step. - Relatively costly but still useful *) diff --git a/src/invert/jbuild b/src/invert/jbuild deleted file mode 100644 index 3acdbc8..0000000 --- a/src/invert/jbuild +++ /dev/null @@ -1,12 +0,0 @@ - -(library - ((name sequence_invert) - (public_name sequence.invert) - (libraries (sequence delimcc)) - (optional) - (wrapped false) - (flags (:standard -w +a-4-42-44-48-50-58-32-60@8 -safe-string -color always)) - (ocamlopt_flags (:standard -O3 -color always - -unbox-closures -unbox-closures-factor 20)) - )) -