qcstm
qcstm copied to clipboard
jmid
A simple state-machine framework for OCaml based on QCheck
Running CI build here https://github.com/tmcgilchrist/qcstm/pull/2 Note: OCaml 4.12 excluded due to build issues with unerasable-optional-argument that require an API change. ``` File "src/qCSTM.ml", line 94, characters 25-35: 15 94 |...
On a related note, I just remembered how I spent some effort trying to mimic the kind of interaction that John Hughes does during live coding in his recorded talks....
@tmcgilchrist reported how the API triggers `unerasable-optional-argument` errors/warnings in OCaml 4.12.0 here https://github.com/jmid/qcstm/pull/2#issue-738151852 ``` File "src/qCSTM.ml", line 94, characters 25-35: 15 94 | let consistency_test ?(count=1000) ~name = 16 ^^^^^^^^^^...