jobjo / popper

Property-based testing at ease
ISC License
43 stars 1 forks source link

Add arithmetics test #7

Closed y2kappa closed 3 years ago

y2kappa commented 3 years ago

Wrapping my head around the library and adding some simple examples.

Some initial thoughts:

jobjo commented 3 years ago

Thanks! Out biking today annd will check later.

Yep, the ppx should also generate printers and comparators.

Ocamlc -dsource in the file.pp.ml to check generated code (google ppxlib tutorial)

The API is still very much WIP. Should not have to open all those modules etc..

On 3 Apr 2021, at 23:41, y2kappa @.***> wrote:

 Wrapping my head around the library and adding some simple examples.

Some initial thoughts:

not very clear how to generate your own printer printer should be optional if possible and/or offer more examples of generating custom printer I would expect the @@deriving to also generate a formatter. not sure how to run the preprocessor to see the generated code and if it actually does so. if it doesn't, should it? You can view, comment on, or merge this pull request online at:

https://github.com/jobjo/popper/pull/7

Commit Summary

test end line File Changes

A examples/arithmetic.ml (62) M examples/run.ml (1) Patch Links:

https://github.com/jobjo/popper/pull/7.patch https://github.com/jobjo/popper/pull/7.diff — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub, or unsubscribe.