simon/ocaml-containers
1
0
Fork 0
mirror of https://github.com/c-cube/ocaml-containers.git synced 2025-12-05 19:00:31 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

wip: qtests for containers.lwt

Browse source
This commit is contained in:
Simon Cruanes 2015-02-25 21:58:34 +01:00
parent 050514a326
commit 14f593d246
3 changed files with 36 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

17
Makefile
View file

@ -75,10 +75,16 @@ QTESTABLE=$(filter-out $(DONTTEST), \
$(wildcard src/bigarray/*.mli) \ $(wildcard src/bigarray/*.mli) \
) )
QTESTABLE_LWT=$(filter-out $(DONTTEST), \
$(wildcard src/lwt/*.ml) \
$(wildcard src/lwt/*.mli) \
)
qtest-clean: qtest-clean:
@rm -rf qtest/ @rm -rf qtest/
QTEST_PREAMBLE='open CCFun;; ' QTEST_PREAMBLE='open CCFun;; '
QTEST_LWT_PREAMBLE=$(QTEST_PREAMBLE)
#qtest-build: qtest-clean build #qtest-build: qtest-clean build
# @mkdir -p qtest # @mkdir -p qtest
@ -89,7 +95,7 @@ QTEST_PREAMBLE='open CCFun;; '
# -I core -I misc -I string \ # -I core -I misc -I string \
# qtest/qtest_all.native # qtest/qtest_all.native
qtest-gen: qtest-clean qtest-gen:
@mkdir -p qtest @mkdir -p qtest
@if which qtest > /dev/null ; then \ @if which qtest > /dev/null ; then \
qtest extract --preamble $(QTEST_PREAMBLE) \ qtest extract --preamble $(QTEST_PREAMBLE) \
@ -98,6 +104,15 @@ qtest-gen: qtest-clean
else touch qtest/run_qtest.ml ; \ else touch qtest/run_qtest.ml ; \
fi fi
qtest-lwt-gen:
@mkdir -p qtest/lwt/
@if which qtest > /dev/null ; then \
qtest extract --preamble $(QTEST_LWT_PREAMBLE) \
-o qtest/lwt/run_qtest_lwt.ml \
$(QTESTABLE_LWT) 2> /dev/null ; \
else touch qtest/lwt/run_qtest_lwt.ml ; \
fi
push-stable: push-stable:
git checkout stable git checkout stable
git merge master -m 'merge from master' git merge master -m 'merge from master'

16
_oasis
View file

@ -199,6 +199,18 @@ Executable run_qtest
containers.bigarray, containers.bigarray,
sequence, gen, oUnit, QTest2Lib sequence, gen, oUnit, QTest2Lib
PreBuildCommand: make qtest-lwt-gen
Executable run_qtest_lwt
Path: qtest/lwt/
Install: false
CompiledObject: best
MainIs: run_qtest_lwt.ml
Build$: flag(tests) && flag(lwt)
BuildDepends: containers, containers.lwt, lwt, lwt.unix,
sequence, gen, oUnit, QTest2Lib
Executable run_tests Executable run_tests
Path: tests/ Path: tests/
Install: false Install: false
@ -213,6 +225,10 @@ Test all
TestTools: run_tests, run_qtest TestTools: run_tests, run_qtest
Run$: flag(tests) && flag(misc) Run$: flag(tests) && flag(misc)
Test lwt
Command: echo "test lwt"; ./run_qtest_lwt.native
Run$: flag(tests) && flag(lwt)
Executable lambda Executable lambda
Path: examples/ Path: examples/
Install: false Install: false

4
src/lwt/lwt_klist.ml
View file

@ -212,3 +212,7 @@ let to_rev_list l =
let to_list l = to_rev_list l >|= List.rev let to_list l = to_rev_list l >|= List.rev
(*$Q
(Q.list Q.int) (fun l -> Lwt_main.run (of_list l |> to_list) = l)
*)