Module Cobol_config.Types

Module containing most of the types definitions used in Cobol_config.

type doc = Pretty.simple
type configuration = {
  1. name : string;
}

Global configuration representative (default, gcos, gcos-strict, etc). Just a name for now, but we could add some more info later (like configuration files read).

class type showable = object ... end

Any object with a pretty-printing method.

class virtual 'a kind : name:string -> object ... end

Kind (type) of configuration options.

val all_configs : showable list Stdlib.ref
val configurable_name_style : [> `Bold | `Yellow ] list
val configurable_kind_style : [> `Cyan ] list
class virtual 'a configurable : name:string -> kind:'a kind -> ?short:doc option -> doc -> object ... end

Any object that is configurable.

module FEATURE : sig ... end

Optional features of COBOL dialects with support levels similar to those in GnuCOBOL.

type 'a feature = 'a FEATURE.t
type 'a feature_support = 'a FEATURE.support
module DIAG : sig ... end
module Value : sig ... end

Valued (typed) options.

type 'a valued_option = 'a Value.v
type 'a value = 'a Value.t
type defaultbyte =
  1. | Char of char
  2. | Init
  3. | None
type standard =
  1. | GnuCOBOL
  2. | MicroFocus
  3. | IBM
  4. | MVS
  5. | BS2000
  6. | ACU
  7. | RM
  8. | STD85
  9. | STD2002
  10. | STD2014
type source_format =
  1. | SFFree
  2. | SFFixed
  3. | SFVariable
  4. | SFXOpen
  5. | SFxCard
  6. | SFCRT
  7. | SFTrm
  8. | SFCOBOLX
type source_format_spec =
  1. | Auto
  2. | SF of source_format
type binary_size =
  1. | B_2_4_8
  2. | B_1_2_4_8
  3. | B_1__8
type binary_byteorder =
  1. | Native
  2. | Big_endian
type assign_clause =
  1. | Dynamic
  2. | External
  3. | IBM
  4. | MF
type screen_section_rules =
  1. | ACU
  2. | GC
  3. | MF
  4. | RM
  5. | STD
  6. | XOPEN
type dpc_in_data =
  1. | None
  2. | XML
  3. | Json
  4. | All
type words_spec = (string * word_spec) list
and word_spec =
  1. | ReserveWord of {
    1. preserve_context_sensitivity : bool;
    }
  2. | ReserveAlias of {
    1. alias_for : string;
    2. preserve_context_sensitivity : bool;
    }
  3. | NotReserved
module DIALECT : sig ... end
type dialect = DIALECT.t
module type CONFIG = sig ... end
module type PP_OPTS = sig ... end

Preprocessor options

module type COMP_OPTS = sig ... end

Compiler options

module type T = sig ... end
type t = (module T)