Yoann Padioleau

We have similar special case for the syntax in OCaml because of ambiguities in the pattern, so when you prefix your pattern with ':', it means the rest must be...

We also have some special metavariables in OCaml to match uppercase identifiers which have a special meaning in OCaml (used for constructors and module names). See metavar_module.sgrep in tests/patterns: ```...

@maxbrunsfeld do we have some rules for this kind of change? Seems fine to me, but this add intermediate nodes in the CST.

@ihji is our metavariable-type expert so he may have a comment but otherwise LGTM.

@zzeleznick @tpetr @ajbt200128 any idea about those SSL failures?

``` PS C:\Users\pad> .\Downloads\opam-2.2.0-alpha3-preview-for-windows.exe switch create 4.14.1+mingw64c Installing new switch packages Switch invariant: ["ocaml-variants" {= "4.14.1+mingw64c"}] Processing actions ✶ installed base-bigarray.base ✶ installed base-threads.base ✶ installed base-unix.base ▼ retrieved ocaml-variants.4.14.1+mingw64c...

This is from a fresh install, and from the error it looks like even if opam managed to locally install cygwin, it is not able to call it appropriately to...

Which opam switch you managed to create on your windows machine @kit-ty-kate ? When I run the opam init ...mingw-repo command, it tried to create 4.05 and failed. I then...

We're planning to allow people to write rules using jsonnet. This would solve your problem. See for example how we use jsonnet internally to specify rules to run: https://github.com/returntocorp/semgrep/blob/develop/semgrep.jsonnet

We would probably not add flags in the CLI. There are too many possible way to filter rules to bother to add as many flags. That's the beauty of jsonnet,...