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 (10)

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.8.0.tar.gz
md5=1408a1cce45c7d5990b981e83e7589c2
sha512=eb3b923aa1f743378b4a05e30f50be5d180dc862a716270d747a90e469017f42fa5fc41352f02fbbf59cd2560f91c4f1b32cf38d80085b105d9387b0aed2039d

doc/catala.scalc/Scalc/Ast/index.html

Module Scalc.AstSource

module D = Dcalc.Ast
Sourcemodule L = Lcalc.Ast
module FuncName : sig ... end
module VarName : sig ... end
Sourceval dead_value : VarName.t
Sourceval handle_default : FuncName.t
Sourceval handle_default_opt : FuncName.t
Sourcetype stmt =
  1. | SInnerFuncDef of VarName.t Catala_utils.Marked.pos * func
  2. | SLocalDecl of VarName.t Catala_utils.Marked.pos * Shared_ast.typ
  3. | SLocalDef of VarName.t Catala_utils.Marked.pos * expr
  4. | STryExcept of block * Shared_ast.except * block
  5. | SRaise of Shared_ast.except
  6. | SIfThenElse of expr * block * block
  7. | SSwitch of expr * Shared_ast.EnumName.t * (block * VarName.t) list
    (*

    Each block corresponds to one case of the enum

    *)
  8. | SReturn of naked_expr
  9. | SAssert of naked_expr
Sourceand func = {
  1. func_params : (VarName.t Catala_utils.Marked.pos * Shared_ast.typ) list;
  2. func_body : block;
}
Sourcetype scope_body = {
  1. scope_body_name : Shared_ast.ScopeName.t;
  2. scope_body_var : FuncName.t;
  3. scope_body_func : func;
}
Sourcetype code_item =
  1. | SVar of {
    1. var : VarName.t;
    2. expr : expr;
    }
  2. | SFunc of {
    1. var : FuncName.t;
    2. func : func;
    }
  3. | SScope of scope_body
Sourcetype program = {
  1. decl_ctx : Shared_ast.decl_ctx;
  2. code_items : code_item list;
}