package ppx_windtrap

  1. Overview
  2. Docs
PPX and instrumentation backend for windtrap

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (2)

Authors

  1. Thibaut Mattio

Maintainers

  1. Thibaut Mattio

Sources

windtrap-0.2.0.tbz
sha256=2e61a86f8c97502c1f8a593c28e255d591a44b1533c6eed8cd0c847afa3d772a
sha512=060d0a47d926d420e0f96f4912c2690d148d6196bcbb701b2463a4fb9ffade5c4ff4d98d703f4b80b2b8ad1bed848c68f1d613e3ba745f9cd5e7d313e049bdc3

doc/src/windtrap_coverage_ppx/windtrap_coverage_ppx.ml.html

Source file windtrap_coverage_ppx.ml

1
2
3
4
5
6
7
8
9
10
11
(*---------------------------------------------------------------------------
   Copyright (c) 2026 Invariant Systems. All rights reserved.
   SPDX-License-Identifier: ISC
  ---------------------------------------------------------------------------*)

let () =
  let instrument =
    Ppxlib.Driver.Instrument.V2.make Instrument.transform_impl_file
      ~position:After
  in
  Ppxlib.Driver.register_transformation ~instrument "windtrap_coverage"