mcp-server-semgrep/semgrep-rules/ocaml/lang/correctness/physical-vs-structural.yaml

MCP Server for Semgrep Integration - static code analysis with AI

rules:
  - id: physical-equal
    pattern: $X == $Y
    message: You probably want the structural equality operator =
    languages: [ocaml]
    severity: WARNING
    metadata:
      category: correctness
      technology:
        - ocaml
      references:
        - https://v2.ocaml.org/api/Stdlib.html#1_Comparisons
  - id: physical-not-equal
    pattern: $X != $Y
    message: You probably want the structural inequality operator <>
    languages: [ocaml]
    severity: WARNING
    metadata:
      category: correctness
      technology:
        - ocaml
      references:
        - https://v2.ocaml.org/api/Stdlib.html#1_Comparisons