package catala
Compiler and library for the literate programming language for tax code specification
Install
Dune Dependency
Authors
Maintainers
Sources
0.9.0.tar.gz
md5=8f891209d18b6540df9c34b2d1a6a783
sha512=737770b87a057674bceefe77e8526720732552f51f424afcebcb6a628267eab522c4fd993caca1ae8ed7ace65a4a87e485af10c1676e51ca5939509a1b841ac2
doc/catala.scalc/Scalc/Ast/index.html
Module Scalc.AstSource
Source
type operator =
< overloaded : Shared_ast.no
; monomorphic : Shared_ast.yes
; polymorphic : Shared_ast.yes
; resolved : Shared_ast.yes >
Shared_ast.operatorSource
and naked_expr = | EVar : VarName.t -> naked_expr| EFunc : FuncName.t -> naked_expr| EStruct : expr list * Shared_ast.StructName.t -> naked_expr| EStructFieldAccess : expr * Shared_ast.StructField.t * Shared_ast.StructName.t -> naked_expr| EInj : expr * Shared_ast.EnumConstructor.t * Shared_ast.EnumName.t -> naked_expr| EArray : expr list -> naked_expr| ELit : Shared_ast.lit -> naked_expr| EApp : expr * expr list -> naked_expr| EAppOp : operator * expr list -> naked_expr
Source
type stmt = | SInnerFuncDef of VarName.t Catala_utils.Mark.pos * func| SLocalDecl of VarName.t Catala_utils.Mark.pos * Shared_ast.typ| SLocalDef of VarName.t Catala_utils.Mark.pos * expr| STryExcept of block * Shared_ast.except * block| SRaise of Shared_ast.except| SIfThenElse of expr * block * block| SSwitch of expr * Shared_ast.EnumName.t * (block * VarName.t) list(*Each block corresponds to one case of the enum
*)| SReturn of naked_expr| SAssert of naked_expr
Source
and func = {func_params : (VarName.t Catala_utils.Mark.pos * Shared_ast.typ) list;func_body : block;
}Source
type scope_body = {scope_body_name : Shared_ast.ScopeName.t;scope_body_var : FuncName.t;scope_body_func : func;
}