Code

Add function generation support #277

Code

Merged

n-osborne merged 10 commits intoocaml-gospel:mainocaml-gospel/ortac:mainfrom jmid:fun-gen-support-cleanupjmid/ortac:fun-gen-support-cleanupCopy head branch name to clipboardDec 16, 2024

+984-225

Commits

Commits on Dec 16, 2024

• Require qcheck-stm.0.5 to have access to Util.Pp.pp_fun_

  jmid

  committed
  104c2e8

  Copy full SHA for 104c2e8

• Extend reserr with a Third_order_function_argument warning

  jmid

  committed
  73ae0a4

  Copy full SHA for 73ae0a4

• Extend reserr with a Function_arity warning

  jmid

  committed
  14cb5ac

  Copy full SHA for 14cb5ac

• Add function generator support

  Show description for 502f0db
  jmid

  committed
  502f0db

  Copy full SHA for 502f0db

• Update expected outputs in plugins/qcheck-stm/test/all_warnings_errors.expected

  jmid

  committed
  f78a2ed

  Copy full SHA for f78a2ed

• Update expected outputs in plugins/qcheck-stm/test/hashtbl_errors.expected and hashtbl_stm_tests.expected.ml

  jmid

  committed
  fb91af2

  Copy full SHA for fb91af2

• Add plugins/qcheck-stm/test/function_args.ml test

  jmid

  committed
  c3932a2

  Copy full SHA for c3932a2

• Update plugins/qcheck-stm/test/all_warnings.mli with an arity warning

  jmid

  committed
  b3573ed

  Copy full SHA for b3573ed

• Update example_limitations with an arity warning example

  jmid

  committed
  29d770e

  Copy full SHA for 29d770e

• Add a CHANGES entry

  jmid

  committed
  ddfaf8b

  Copy full SHA for ddfaf8b