Bonsai has a really cool example – sexp-grammar – showing off an ‘ast’ editor derived automatically from the data types. In the impl, there is a [@@deriving quickcheck] at https://github.com/janestreet/bonsai/blob/v0.16/examples/sexp_grammar/type_intf.ml#L11 What is going on here, why do we need t…

Bonsai/sexp_grammar : purpose of quickcheck

mooreryan July 22, 2023, 5:48am 2

They’re using ppx_quickcheck and quickcheck to generate random values here.

2 Likes

Topic		Replies	Views
Ppxlib: Getting the original definition of `typ_constr` like `type_declaration` from `core_type` of `ptyp_constr` Learning ppx , learning , ppxlib , ast , opam-compiler	9	187	August 16, 2024
Confusion about types Learning	3	475	May 21, 2023
Using Ppxlib with Module Signatures Ecosystem ppx , ppx_deriving , ppxlib	13	680	April 4, 2023
[ANN] ppx_minidebug 1.0.0: explore logs of type-annotated let-bindings, code branches Ecosystem announce	0	253	February 5, 2024
M s.t. 'a Value.t M.t == 'a Computation.t? Learning	8	518	July 15, 2023