Implement check() and bind() qualifiers.
authorRichard W.M. Jones <rich@annexia.org>
Thu, 17 Jul 2008 11:56:05 +0000 (11:56 +0000)
committerRichard W.M. Jones <rich@annexia.org>
Thu, 17 Jul 2008 11:56:05 +0000 (11:56 +0000)
commite7ab5952e9a51128b17ff2a054f2cfb9bb3baba4
tree4947fc391ccd600f1d1c892f42c5f3c4a4cb624f
parent573b0f1c4feb7e3b7abf29a835938367ef896867
Implement check() and bind() qualifiers.
 - Previously check() was called when().
bitmatch.mli
bitmatch_persistent.ml
bitmatch_persistent.mli
pa_bitmatch.ml
tests/70_check_and_bind.ml [new file with mode: 0644]