package catala

  1. Overview
  2. Docs
Compiler and library for the literate programming language for tax code specification

Install 

dune-project
 Dependency

github.com Readme Edit opam file Versions (11)

Authors

  1. D
    Denis Merigoux
  2. N
    Nicolas Chataing
  3. E
    Emile Rolley
  4. L
    Louis Gesbert
  5. A
    Aymeric Fromherz
  6. A
    Alain Delaët-Tixeuil
  7. R
    Raphaël Monat

Maintainers

  1. C
    contact@catala-lang.org

Sources

0.9.0.tar.gz
md5=8f891209d18b6540df9c34b2d1a6a783
sha512=737770b87a057674bceefe77e8526720732552f51f424afcebcb6a628267eab522c4fd993caca1ae8ed7ace65a4a87e485af10c1676e51ca5939509a1b841ac2

doc/catala.catala_utils/Catala_utils/Cli/index.html

Module Catala_utils.CliSource

Sourcetype file = string

File names ; equal to File.t but let's avoid cyclic dependencies

Sourcetype raw_file

A file name that has not yet been resolved, options.path_rewrite must be called on it

Sourcetype backend_lang =
  1. | En
  2. | Fr
  3. | Pl
Sourcetype when_enum =
  1. | Auto
  2. | Always
  3. | Never

The usual auto/always/never option argument

Sourcetype message_format_enum =
  1. | Human
  2. | GNU
    (*

    Format of error and warning messages output by the compiler.

    *)
Sourcetype input_src =
  1. | FileName of file
    (*

    A file path to read from disk

    *)
  2. | Contents of string * file
    (*

    A raw string containing the code, and the corresponding (fake) filename

    *)
  3. | Stdin of file
    (*

    Read from stdin; the specified filename will be used for file lookups, error reportings, etc.

    *)

Sources for program input

Sourceval languages : (string * backend_lang) list
Sourceval language_code : backend_lang -> string

Returns the lowercase two-letter language code

Sourceval file_lang : file -> backend_lang

Associates a file extension with its corresponding Cli.backend_lang string representation.

Sourceval input_src_file : input_src -> file
Sourceval reverse_path : ?from_dir:file -> to_dir:file -> file -> file

If to_dir is a path to a given directory and f a path to a file as seen from absolute path from_dir, reverse_path ~from_dir ~to_dir f is a path leading to f from to_dir. The results attempts to be relative to to_dir.

Configuration globals

Sourcetype options = private {
  1. mutable input_src : input_src;
  2. mutable language : backend_lang option;
  3. mutable debug : bool;
  4. mutable color : when_enum;
  5. mutable message_format : message_format_enum;
  6. mutable trace : bool;
  7. mutable plugins_dirs : string list;
  8. mutable disable_warnings : bool;
  9. mutable max_prec_digits : int;
  10. mutable path_rewrite : raw_file -> file;
}

Global options, common to all subcommands (note: the fields are internally mutable only for purposes of the globals toplevel value defined below)

Sourceval globals : options

A global definition to the global options is provided for convenience, e.g. choosing the proper output in formatting functions. Prefer the use of the options returned by the command-line parsing whenever possible.

Sourceval enforce_globals : ?input_src:input_src -> ?language:backend_lang option -> ?debug:bool -> ?color:when_enum -> ?message_format:message_format_enum -> ?trace:bool -> ?plugins_dirs:string list -> ?disable_warnings:bool -> ?max_prec_digits:int -> ?path_rewrite:(file -> file) -> unit -> options

Sets up the global options (side-effect); for specific use-cases only, this should never be called from the compiler or when going through normal command-line parsing. Proper uses include setting up the compiler library when using it directly through a specific front-end.

CLI flags and options

Sourcemodule Flags : sig ... end

Command-line application

Sourceval version : string
Sourceval s_plugins : string

Manpage section name for the installed plugins

Sourceexception Exit_with of int

Exit with a specific exit code (but less brutally than Sys.exit which would bypass all finalisers)