diff --git a/README.md b/README.md index 47de8bdd..af42946d 100644 --- a/README.md +++ b/README.md @@ -5,7 +5,7 @@ A bunch of containers,written in different occasions. Not all containers are properly tested (see `tests/` and `make tests` if you have installed `OUnit`). -The design is centerred around polymorphism rather than functors. Such +The design is mostly centered around polymorphism rather than functors. Such structures comprise: - `PHashtbl`, a polymorphic hashtable (with open addressing) @@ -18,6 +18,8 @@ structures comprise: basic graph functions that work even on infinite graphs, and printing to DOT. - `FQueue`, a purely functional queue structure - `Heap`, a purely functional polymorphic heap +- `Bij`, a GADT-based bijection language used to serialize/deserialize your +data structures Other structures are: @@ -43,7 +45,9 @@ If you have comments, requests, or bugfixes, please share them! :-) ## Build -There are no dependencies (`Sequence` is included). Type: +There are no dependencies (`Sequence` is included). +The `Bij` module requires OCaml `>= 4.00`. Type: + $ make diff --git a/tests/test_bij.ml b/tests/test_bij.ml index 203e926d..f49b5ade 100644 --- a/tests/test_bij.ml +++ b/tests/test_bij.ml @@ -48,7 +48,7 @@ let bij_term = let test_rec () = let t = App [Const "foo"; App [Const "bar"; Int 1; Int 2]; Int 3; Const "hello"] in let s = SexpStr.to_string ~bij:bij_term t in - Printf.printf "to: %s\n" s; + (* Printf.printf "to: %s\n" s; *) let t' = SexpStr.of_string ~bij:bij_term s in OUnit.assert_equal t t'