ocaml.lang.correctness.useless_let.useless-let

profile photo of returntocorpreturntocorp
Author
5,693
Download Count*
LGPL Commons Clause
License

Useless let

Run Locally

Run in CI

Semgrep CI docs

Defintion

Edit RuleView Source
Open in Playground 
rules:
  - id: useless-let
    pattern: let $X = $E in $X
    message: Useless let
    languages:
      - ocaml
    severity: ERROR
    metadata:
      category: correctness
      license: Commons Clause License Condition v1.0[LGPL-2.1-only]

Examples

useless_let.ml

let test () =
  (* todoruleid:useless-let *)
  let x = 3 in
  x