Module `Scalc.Ast`Source

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 = Shared_ast.lcalc Shared_ast.operator

Sourcetype expr = naked_expr Catala_utils.Mark.pos

Sourceand naked_expr =

| EVar of VarName.t
| EFunc of FuncName.t
| EStruct of {
1. fields : expr Shared_ast.StructField.Map.t;
2. name : Shared_ast.StructName.t;
}
| EStructFieldAccess of {
1. e1 : expr;
2. field : Shared_ast.StructField.t;
3. name : Shared_ast.StructName.t;
}
| ETuple of expr list
| ETupleAccess of {
1. e1 : expr;
2. index : int;
}
| EInj of {
1. e1 : expr;
2. cons : Shared_ast.EnumConstructor.t;
3. name : Shared_ast.EnumName.t;
4. expr_typ : Shared_ast.typ;
}
| EArray of expr list
| ELit of Shared_ast.lit
| EApp of {
1. f : expr;
2. args : expr list;
}
| EAppOp of {
1. op : operator Catala_utils.Mark.pos;
2. args : expr list;
}
| EExternal of {
1. modname : VarName.t Catala_utils.Mark.pos;
2. name : string Catala_utils.Mark.pos;
}

Sourcetype stmt =

| SInnerFuncDef of {
1. name : VarName.t Catala_utils.Mark.pos;
2. func : func;
}
| SLocalDecl of {
1. name : VarName.t Catala_utils.Mark.pos;
2. typ : Shared_ast.typ;
}
| SLocalInit of {
1. name : VarName.t Catala_utils.Mark.pos;
2. typ : Shared_ast.typ;
3. expr : expr;
}
| SLocalDef of {
1. name : VarName.t Catala_utils.Mark.pos;
2. expr : expr;
3. typ : Shared_ast.typ;
}
| STryWEmpty of {
1. try_block : block;
2. with_block : block;
}
| SRaiseEmpty
| SFatalError of Shared_ast.Runtime.error
| SIfThenElse of {
1. if_expr : expr;
2. then_block : block;
3. else_block : block;
}
| SSwitch of {
1. switch_expr : expr;
2. switch_expr_typ : Shared_ast.typ;
3. enum_name : Shared_ast.EnumName.t;
4. switch_cases : switch_case list;
}
| SReturn of naked_expr
| SAssert of naked_expr
| SSpecialOp of special_operator

Sourceand special_operator =

| OHandleDefaultOpt of {
1. exceptions : expr list;
2. just : expr;
3. cons : block;
4. return_typ : Shared_ast.typ;
}

Sourceand block = stmt Catala_utils.Mark.pos list

Sourceand switch_case = {

case_block : block;
payload_var_name : VarName.t;
payload_var_typ : Shared_ast.typ;

}

Sourceand func = {

func_params : (VarName.t Catala_utils.Mark.pos * Shared_ast.typ) list;
func_body : block;
func_return_typ : Shared_ast.typ;

}

Sourcetype scope_body = {

scope_body_name : Shared_ast.ScopeName.t;
scope_body_var : FuncName.t;
scope_body_func : func;

}

Sourcetype code_item =

| SVar of {
1. var : VarName.t;
2. expr : expr;
3. typ : Shared_ast.typ;
}
| SFunc of {
1. var : FuncName.t;
2. func : func;
}
| SScope of scope_body

Sourcetype ctx = {

decl_ctx : Shared_ast.decl_ctx;
modules : VarName.t Shared_ast.ModuleName.Map.t;

}

Sourcetype program = {

ctx : ctx;
code_items : code_item list;
module_name : Shared_ast.ModuleName.t option;

}

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module `Scalc.Ast`Source

package catala

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module Scalc.AstSource

Module `Scalc.Ast`Source