package catala

You can search for identifiers within the package.

in-package search v0.2.0

Compiler and library for the literate programming language for tax code specification

Install

Dune Dependency

github.com Readme Edit opam file Versions (8)

Authors

Maintainers

C

contact@catala-lang.org

Sources

0.10.0.tar.gz

md5=5abd76e8c51a47670645e91b21b57fc5

sha512=9c6fbe50c0b5a60566e877eeddadca0a339e2ce35deb5c1beceb03bc40eb6af2d519313e71859d88645b53fad591d4fa5288c633b185c9d765603da0f5b7dd7b

doc/catala.surface/Surface/Parser_driver/index.html

Module `Surface.Parser_driver`Source

Wrapping module around parser and lexer that offers the Surface.Parser_driver.parse_source_file API.

Source

val lines : 
  Catala_utils.File.t ->
  Catala_utils.Global.backend_lang ->
  (string * Lexer_common.line_token) Seq.t

Raw file parser that doesn't interpret any includes and returns the flat law structure as is

Source

val load_interface : 
  ?default_module_name:string ->
  Catala_utils.File.t Catala_utils.Global.input_src ->
  Ast.interface

Reads only declarations in metadata in the supplied input file, and only keeps type information. The list of submodules is initialised with names only and empty contents.

Source

val parse_top_level_file : 
  Catala_utils.File.t Catala_utils.Global.input_src ->
  Ast.program

Parses a catala file (handling file includes) and returns a program. Interfaces of the used modules are returned empty, use load_interface to fill them.

package catala

Install

Dune Dependency

Authors

Maintainers

Sources

doc/catala.surface/Surface/Parser_driver/index.html

Module Surface.Parser_driverSource

Module `Surface.Parser_driver`Source