Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[RFC] a completely encapsulated interface for unsafe batList accumulators #529

Closed
wants to merge 4 commits into from
Closed

[RFC] a completely encapsulated interface for unsafe batList accumulators #529

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
17d09ff
fix minor warning in Enum test
gasche Feb 3, 2014
75eab57
encapsulate unsafe list-accumulators in an abstract module
gasche Feb 3, 2014
aeaf8e6
Acc: specialize 'run' and 'result' to improve performances on short-l…
gasche Feb 4, 2014
4766293
BatList: a safe version of the Acc module, as a proof of soundness
gasche Feb 4, 2014
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Jump to
Jump to file
Failed to load files.
Diff view
Diff view
6 changes: 3 additions & 3 deletions Makefile
View file
Open in desktop
Expand Up @@ -13,7 +13,7 @@ export DOCROOT
BROWSER_COMMAND ?= x-www-browser
export BROWSER_COMMAND

OCAMLBUILD ?= ocamlbuild
OCAMLBUILD ?= ocamlbuild -use-ocamlfind
OCAMLBUILDFLAGS ?= -no-links

ifeq ($(uname_S),Darwin)
Expand Down Expand Up @@ -193,9 +193,9 @@ test-native: prefilter _build/testsuite/main.native _build/$(QTESTDIR)/all_tests
full-test: $(TEST_TARGET)

test-compat: prefilter src/batteries_compattest.ml
ocamlbuild src/batteries_compattest.byte -no-links
ocamlbuild -use-ocamlfind src/batteries_compattest.byte -no-links

test: test-byte test-compat
test: test-native test-compat

###############################################################################
# BENCHMARK SUITE
Expand Down
2 changes: 1 addition & 1 deletion src/batEnum.ml
View file
Open in desktop
Expand Up @@ -516,7 +516,7 @@ let find f t =

(*$T
find ((=) 5) (1 -- 10) = 5
try find ((=) 11) (1 -- 10) = 5; false with Not_found -> true
try ignore (find ((=) 11) (1 -- 10) = 5); false with Not_found -> true
*)

let find_map f t =
Expand Down