Module Signature.Global_pragma

Global signature pragmas for setting compilation parameters

Global pragmas must appear at the beginning of a signature. They act like command-line interface flags.

type t =
  1. | No_strengthening of {
    1. location : Syncom.Location.t;
    }
    (*

    No_strengthening _ is the pragma --nostrengthen for globally disabling strengthening during LF reconstruction.

    *)
  2. | Warn_on_coverage_error of {
    1. location : Syncom.Location.t;
    }
    (*

    Warn_on_coverage_error _ is the pragma --warncoverage for only printing pattern coverage problems.

    *)
  3. | Initiate_coverage_checking of {
    1. location : Syncom.Location.t;
    }
    (*

    Initiate_coverage_checking _ is the pragma --coverage for initiating coverage checking. Unless --warncoverage is used, then coverage problems raise exceptions.

    *)