package catala
Compiler and library for the literate programming language for tax code specification
Install
Dune Dependency
Authors
Maintainers
Sources
0.10.0.tar.gz
md5=5abd76e8c51a47670645e91b21b57fc5
sha512=9c6fbe50c0b5a60566e877eeddadca0a339e2ce35deb5c1beceb03bc40eb6af2d519313e71859d88645b53fad591d4fa5288c633b185c9d765603da0f5b7dd7b
doc/catala.shared_ast/Shared_ast/Typing/Env/index.html
Module Typing.EnvSource
Source
val empty :
?fail_on_any:bool ->
?assume_op_types:bool ->
Shared_ast__.Definitions.decl_ctx ->
'e tThe ~fail_on_any labeled parameter controls the behavior of the typer in the case where polymorphic expressions are still found after typing: if false, it allows them (giving them TAny and losing typing information); if set to true (the default), it aborts.
The ~assume_op_types flag (default false) ignores the expected built-in types of polymorphic operators, and will assume correct the type information included in EAppOp nodes. This is useful after monomorphisation, which changes the expected types for these operators.
Source
val add_var :
'e Var.t ->
Shared_ast__.Definitions.naked_typ Catala_utils.Mark.pos ->
'e t ->
'e tSource
val add_toplevel_var :
Shared_ast__.Definitions.TopdefName.t ->
Shared_ast__.Definitions.naked_typ Catala_utils.Mark.pos ->
'e t ->
'e tSource
val add_scope_var :
Shared_ast__.Definitions.ScopeVar.t ->
Shared_ast__.Definitions.naked_typ Catala_utils.Mark.pos ->
'e t ->
'e tSource
val add_scope :
Shared_ast__.Definitions.ScopeName.t ->
vars:
Shared_ast__.Definitions.naked_typ Catala_utils.Mark.pos
Shared_ast__.Definitions.ScopeVar.Map.t ->
in_vars:
Shared_ast__.Definitions.naked_typ Catala_utils.Mark.pos
Shared_ast__.Definitions.ScopeVar.Map.t ->
'e t ->
'e tFor debug purposes