We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent a5bee96 commit e3ae9d1Copy full SHA for e3ae9d1
.semgrep/let.yml
@@ -0,0 +1,6 @@
1
+rules:
2
+ - id: let-unit-in
3
+ pattern: let () = $E in ...
4
+ message: use ; instead
5
+ languages: [ocaml]
6
+ severity: WARNING
0 commit comments