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, Nicolas Chataing

Maintainers

  1. C
    contact@catala-lang.org

Sources

0.5.0.tar.gz
md5=41b0317af37925b16ae7aedfddbcc8b4
sha512=f02c4e4c7d8ca92c4c2100d1dfc31c56218a8fae3760135335c9cdd10d9edbeb6eb5e407b430c095f579ce2226c3fe4c314788af5aa35c37d04e4dee5f459cb8

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

Module Surface.Lexer_commonSource

Auxiliary functions used by all lexers.

Sourcetype lexing_context =
  1. | Law
  2. | Code
  3. | Directive
  4. | Directive_args

Reference, used by the lexer as the mutable state to distinguish whether it is lexing code or law.

Sourceval code_buffer : Buffer.t

Buffer that accumulates the string representation of the body of code being lexed. This string representation is used in the literate programming backends to faithfully capture the spacing pattern of the original program

Sourceval update_acc : Sedlexing.lexbuf -> unit

Updates code_buffer with the current lexeme

Sourceval raise_lexer_error : Utils.Pos.t -> string -> 'a

Error-generating helper

Sourceval token_list_language_agnostic : (string * Tokens.token) list

Associative list matching each punctuation string part of the Catala syntax with its Surface.Parser token. Same for all the input languages (English, French, etc.)

Sourceval calc_precedence : string -> int

Calculates the precedence according a matched regex of the form : '#+'

Sourceval get_law_heading : Sedlexing.lexbuf -> Tokens.token

Gets the LAW_HEADING token from the current lexbuf

Sourcemodule type LocalisedLexer = sig ... end