File: options.ml

package info (click to toggle)
ppxlib 0.15.0-1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye
  • size: 1,284 kB
  • sloc: ml: 17,184; sh: 149; makefile: 36; python: 36
file content (9 lines) | stat: -rw-r--r-- 389 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
 
let perform_checks = false
(* The checks on extensions are only to get better error messages
   since the compiler will choke on unknown extensions. We disable
   them externally to make it easier to use non ppxlib based
   rewriters with ppxlib *)
let perform_checks_on_extensions = false
let perform_locations_check = false
let fail_on_duplicate_derivers = false
let diff_command = None