Module Pbrt_options.ESource

All exceptions which could be raised by the generated option parsers.

Sourcetype error =
  1. | Unexpected_option_type of string * string
  2. | Malformed_variant of string
Sourceexception Failure of error

Decoding/Encoding failure

Sourceval unexpected_option_type : string -> string -> 'a

unexpected_option_type record_name field_name raises Failure (Unexpected_json_type (record_name, field_name))

Sourceval malformed_variant : string -> 'a

malformed_variant variant_name raise Failure (Malformed_variant variant_name)