Content - af9a835e302cf0fa9b614a1b389eb27205279005 - 2f3d3dd/lint/_tags

swh:1:snp:f06d4d1f1c56d17a2f00ca108b0c7636a874db0d

Tip revision: 8aa82eab0051a774c5bdaadad88869c196c38a50 authored by Pierre-Yves Strub on 29 March 2022, 10:28:41 UTC
[matching]: when crossing a binder, update the env. accordingly

Tip revision: 8aa82ea

_tags

# --------------------------------------------------------------------
true : warn_Z, warn_Y, warn_+28, warn_-23, warn_+33
true : -traverse
true : bin_annot

# --------------------------------------------------------------------
<*.{ml,mli}>      : package(compiler-libs.common)
<*.{native,byte}> : package(compiler-libs.common)