

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



(* Module to ignore during the lint. *)
ignored_files = [
]
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" *)
    ignored_files = [
    ]

(* 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" *)
    ignored_files = [
    ]

(* 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" *)
    ignored_files = [
    ]

(* 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." *)
    ignored_files = [
    ]

(* 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" *)
    ignored_files = [
    ]

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

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

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

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

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

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

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

(* Enable/Disable warnings from "Lint from semantic patches (user defined)." *)
    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" *)
    ignored_files = [
    ]

(* 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" *)
    ignored_files = [
    ]

(* 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." *)
    ignored_files = [
    ]

(* 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" *)
    ignored_files = [
    ]

(* 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" *)
    ignored_files = [
    ]

(* Enable/Disable warnings from "Check Constructor Arguments" *)
    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" *)
    ignored_files = [
    ]

(* 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" *)
    ignored_files = [
    ]

(* 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" *)
    ignored_files = [
    ]

(* 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." *)
    ignored_files = [
    ]

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