A mechanical translation of the Haskell QuickCheck library into Ocaml
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.


Ocaml-QuickCheck -- A Mechanical Translation of QuickCheck to OCaml

This is translation of QuickCheck from Haskell into Ocaml.

Mostly it is an experiment to see what Haskell code that makes heavy use of type-classes looks like when converted to OCamls modules. Unfortunately, its not all that pretty, but if you want a working clone of QuickCheck for Ocaml here it is. For an example on how to write properties see test_List.ml

If you are interested you can go to my blog to hear more about how I converted the code and the differences that were introduced