package dunolint
A linter for build files in dune projects
Install
dune-project
Dependency
Authors
Maintainers
Sources
dunolint-0.0.20250804.tbz
sha256=e4ca7c98db73dd9ab2ae8cba37ee0645f580267484e9893dbce6e28f4f2f0170
sha512=7ca658fb96139a0c41724355ac6aaf83d75468c7df14569b8f6090711f73a8fb2408ed1145384e756418682f0fa660a915842fd2b3f8b42e5ed4990e795b384e
doc/src/dunolint.dune_project_linter/implicit_transitive_deps.ml.html
Source file implicit_transitive_deps.ml
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98
(*********************************************************************************) (* Dunolint - A tool to lint and help manage files in dune projects *) (* Copyright (C) 2024-2025 Mathieu Barbin <mathieu.barbin@gmail.com> *) (* *) (* This file is part of Dunolint. *) (* *) (* Dunolint is free software; you can redistribute it and/or modify it *) (* under the terms of the GNU Lesser General Public License as published by *) (* the Free Software Foundation either version 3 of the License, or any later *) (* version, with the LGPL-3.0 Linking Exception. *) (* *) (* Dunolint is distributed in the hope that it will be useful, but WITHOUT *) (* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or *) (* FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License *) (* and the file `NOTICE.md` at the root of this repository for more details. *) (* *) (* You should have received a copy of the GNU Lesser General Public License *) (* and the LGPL-3.0 Linking Exception along with this library. If not, see *) (* <http://www.gnu.org/licenses/> and <https://spdx.org>, respectively. *) (*********************************************************************************) let field_name = "implicit_transitive_deps" type t = { mutable value : bool } [@@deriving sexp_of] let create ~implicit_transitive_deps:value = { value } let value t = t.value let set_value t ~value = t.value <- value module Handler = Dunolinter.Sexp_handler.Make_sexpable (struct let field_name = field_name end) (Bool) let read ~sexps_rewriter ~field = let value = Handler.read ~sexps_rewriter ~field in { value } ;; let write t = Handler.write t.value let rewrite t ~sexps_rewriter ~field = Handler.rewrite t.value ~sexps_rewriter ~field type predicate = Dune_project.Implicit_transitive_deps.Predicate.t let eval t ~predicate = match (predicate : predicate) with | `equals expected -> Bool.equal expected t.value |> Dunolint.Trilang.const ;; let enforce = Dunolinter.Linter.enforce (module Dune_project.Implicit_transitive_deps.Predicate) ~eval ~enforce:(fun t predicate -> match predicate with | Not (`equals value) -> t.value <- not value; Ok | T (`equals value) -> t.value <- value; Ok) ;; module Top = struct type nonrec t = t let eval = eval let enforce = enforce end module Linter = struct type t = Top.t type predicate = Dune_project.Predicate.t let eval (t : t) ~predicate = match (predicate : predicate) with | `implicit_transitive_deps condition -> Dunolint.Trilang.eval condition ~f:(fun predicate -> Top.eval t ~predicate) | `generate_opam_files _ | `name _ -> Dunolint.Trilang.Undefined ;; let enforce = Dunolinter.Linter.enforce (module Dune_project.Predicate) ~eval ~enforce:(fun t predicate -> match predicate with | Not _ -> Eval | T dune_project -> (match dune_project with | `implicit_transitive_deps condition -> Top.enforce t ~condition; Ok | `generate_opam_files _ | `name _ -> Unapplicable)) ;; end
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>