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

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.scalc/Scalc/Ast/index.html

Module Scalc.AstSource

Sourcemodule D = Dcalc.Ast
Sourcemodule L = Lcalc.Ast
Sourcemodule FuncName : sig ... end
Sourcemodule VarName : sig ... end
Sourceval dead_value : VarName.t
Sourceval handle_default : FuncName.t
Sourceval handle_default_opt : FuncName.t
Sourcetype operator = < overloaded : Shared_ast.no ; monomorphic : Shared_ast.yes ; polymorphic : Shared_ast.yes ; resolved : Shared_ast.yes > Shared_ast.operator
Sourceand naked_expr =
  1. | EVar : VarName.t -> naked_expr
  2. | EFunc : FuncName.t -> naked_expr
  3. | EStruct : expr list * Shared_ast.StructName.t -> naked_expr
  4. | EStructFieldAccess : expr * Shared_ast.StructField.t * Shared_ast.StructName.t -> naked_expr
  5. | EInj : expr * Shared_ast.EnumConstructor.t * Shared_ast.EnumName.t -> naked_expr
  6. | EArray : expr list -> naked_expr
  7. | ELit : Shared_ast.lit -> naked_expr
  8. | EApp : expr * expr list -> naked_expr
  9. | EAppOp : operator * expr list -> naked_expr
Sourcetype stmt =
  1. | SInnerFuncDef of VarName.t Catala_utils.Mark.pos * func
  2. | SLocalDecl of VarName.t Catala_utils.Mark.pos * Shared_ast.typ
  3. | SLocalDef of VarName.t Catala_utils.Mark.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.Mark.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;
}