File: warn.ml

package info (click to toggle)
ppxlib 0.37.0-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 4,804 kB
  • sloc: ml: 66,587; sh: 103; makefile: 40; python: 36
file content (6 lines) | stat: -rw-r--r-- 194 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
 
open! Import

let default_print_warning _loc = ()
let about_ite_branch_ref = ref default_print_warning
let care_about_ite_branch = ref false
let about_ite_branch loc = !about_ite_branch_ref loc