

(*************************************)
(*   Never edit options files while  *)
(*       the program is running      *)
(*************************************)
(* SECTION : Header                  *)
(* These options must be read first  *)
(*************************************)



(* Module to ignore during the lint. *)
ignore = [
       tests
]

(* Time before erasing cached results (in days). *)
db_persistence = 1

(* Number of parallel jobs *)
jobs = 4
plugin_typedtree = {

(* A plugin with linters on typed tree *)
  enabled = true
  fully_qualified_identifiers = {

(* Enable/Disable linter "Fully-Qualified Identifiers". *)
    enabled = true

(* Module to ignore durint the lint of "Fully-Qualified Identifiers" *)
    ignore = [
    ]

(* Enable/Disable warnings from "Fully-Qualified Identifiers" *)
    warnings = "+A"
    ignored_modules = [
      Pervasives;
      StringCompat;
    ]
    ignore_operators = true
    ignore_depth = 2
  }
  polymorphic_function = {

(* Enable/Disable linter "Polymorphic function". *)
    enabled = true

(* Module to ignore durint the lint of "Polymorphic function" *)
    ignore = [
    ]

(* Enable/Disable warnings from "Polymorphic function" *)
    warnings = "+A"
  }
}
plugin_text = {

(* A plugin with linters on the source *)
  enabled = true
  code_length = {

(* Enable/Disable linter "Code Length". *)
    enabled = true

(* Module to ignore durint the lint of "Code Length" *)
    ignore = [
    ]

(* Enable/Disable warnings from "Code Length" *)
    warnings = "+A"

(* Maximum line length *)
    max_line_length = 80
  }
  useless_space_line = {

(* Enable/Disable linter "Useless space character and empty line at the end of file.". *)
    enabled = true

(* Module to ignore durint the lint of "Useless space character and empty line at the end of file." *)
    ignore = [
    ]

(* Enable/Disable warnings from "Useless space character and empty line at the end of file." *)
    warnings = "+A"
  }
  not_that_char = {

(* Enable/Disable linter "Detect use of unwanted chars in files". *)
    enabled = true

(* Module to ignore durint the lint of "Detect use of unwanted chars in files" *)
    ignore = [
    ]

(* Enable/Disable warnings from "Detect use of unwanted chars in files" *)
    warnings = "+A"
  }
}
plugin_patch = {

(* Detect pattern with semantic patch. *)
  enabled = true
  sempatch_lint = {

(* Enable/Disable linter "Lint from semantic patches.". *)
    enabled = true

(* Module to ignore durint the lint of "Lint from semantic patches." *)
    ignore = [
    ]

(* Enable/Disable warnings from "Lint from semantic patches." *)
    warnings = "+A"
  }
}
plugin_parsing = {

(* Analyses requiring to re-parse the file *)
  enabled = true
  raw_syntax = {

(* Enable/Disable linter "Raw Syntax". *)
    enabled = true

(* Module to ignore durint the lint of "Raw Syntax" *)
    ignore = [
    ]

(* Enable/Disable warnings from "Raw Syntax" *)
    warnings = "+A"
  }
}
plugin_parsetree = {

(* A plugin with linters on parsetree *)
  enabled = true
  code_identifier_length = {

(* Enable/Disable linter "Code Identifier Length". *)
    enabled = true

(* Module to ignore durint the lint of "Code Identifier Length" *)
    ignore = [
    ]

(* Enable/Disable warnings from "Code Identifier Length" *)
    warnings = "+A"

(* Identifiers with a shorter name will trigger a warning *)
    min_identifier_length = 1

(* Identifiers with a longer name will trigger a warning *)
    max_identifier_length = 80
  }
  code_list_on_singleton = {

(* Enable/Disable linter "List function on singleton". *)
    enabled = true

(* Module to ignore durint the lint of "List function on singleton" *)
    ignore = [
    ]

(* Enable/Disable warnings from "List function on singleton" *)
    warnings = "+A"
  }
  phys_comp_allocated_lit = {

(* Enable/Disable linter "Physical comparison between allocated litterals.". *)
    enabled = true

(* Module to ignore durint the lint of "Physical comparison between allocated litterals." *)
    ignore = [
    ]

(* Enable/Disable warnings from "Physical comparison between allocated litterals." *)
    warnings = "+A"
  }
  fabrice_good_practices = {

(* Enable/Disable linter "Good Practices". *)
    enabled = true

(* Module to ignore durint the lint of "Good Practices" *)
    ignore = [
    ]

(* Enable/Disable warnings from "Good Practices" *)
    warnings = "+A"
  }
  check_constr_args = {

(* Enable/Disable linter "Check Constructor Arguments". *)
    enabled = true

(* Module to ignore durint the lint of "Check Constructor Arguments" *)
    ignore = [
    ]

(* Enable/Disable warnings from "Check Constructor Arguments" *)
    warnings = "+A"
  }
  code_redefine_stdlib_module = {

(* Enable/Disable linter "Refedine Stdlib Module". *)
    enabled = true

(* Module to ignore durint the lint of "Refedine Stdlib Module" *)
    ignore = [
    ]

(* Enable/Disable warnings from "Refedine Stdlib Module" *)
    warnings = "+A"
  }
}
plugin_indent = {

(* A plugin with linters on the source *)
  enabled = true
  ocp_indent = {

(* Enable/Disable linter "Indention with ocp-indent". *)
    enabled = true

(* Module to ignore durint the lint of "Indention with ocp-indent" *)
    ignore = [
    ]

(* Enable/Disable warnings from "Indention with ocp-indent" *)
    warnings = "+A"
  }
}
plugin_file_system = {

(* A plugin with linters on file system like interface missing, etc *)
  enabled = true
  interface_missing = {

(* Enable/Disable linter "Missing interface". *)
    enabled = true

(* Module to ignore durint the lint of "Missing interface" *)
    ignore = [
    ]

(* Enable/Disable warnings from "Missing interface" *)
    warnings = "+A"
  }
  project_files = {

(* Enable/Disable linter "File Names". *)
    enabled = true

(* Module to ignore durint the lint of "File Names" *)
    ignore = [
    ]

(* Enable/Disable warnings from "File Names" *)
    warnings = "+A"
  }
}
plugin_complex = {

(* A plugin with linters on different inputs *)
  enabled = true
  interface_module_type_name = {

(* Enable/Disable linter "Checks on module type name.". *)
    enabled = true

(* Module to ignore durint the lint of "Checks on module type name." *)
    ignore = [
    ]

(* Enable/Disable warnings from "Checks on module type name." *)
    warnings = "+A"
  }
}

(*
 The following options are not used (errors, obsolete, ...) 
*)
ignored_files = [ ]
