package catala
Install
Dune Dependency
Authors
Maintainers
Sources
md5=4a2c5495f30d8fc2e3bf977df6e602f9
sha512=8dcc404b6068b9dbd76982ade60d8fba1950fdd0a8a626db17429120483367dce1f51997e96d7b8ee5308f305c3bcbb897ef85336f25e9ef3681f4cb9237f56a
doc/catala.surface/Surface/Name_resolution/index.html
Module Surface.Name_resolutionSource
Builds a context that allows for mapping each name to a precise uid, taking lexical scopes into account
Name resolution context
type scope_context = {var_idmap : Scopelang.Ast.ScopeVar.t Desugared.Ast.IdentMap.t;(*Scope variables
*)label_idmap : Desugared.Ast.RuleName.t Desugared.Ast.IdentMap.t;default_rulemap : unique_rulename Desugared.Ast.ScopeDefMap.t;(*What is the default rule to refer to for unnamed exceptions, if any
*)sub_scopes_idmap : Scopelang.Ast.SubScopeName.t Desugared.Ast.IdentMap.t;(*Sub-scopes variables
*)sub_scopes : Scopelang.Ast.ScopeName.t Scopelang.Ast.SubScopeMap.t;(*To what scope sub-scopes refer to?
*)
}Inside a scope, we distinguish between the variables and the subscopes.
Types of the fields of a struct
Types of the payloads of the cases of an enum
type context = {local_var_idmap : Scopelang.Ast.Var.t Desugared.Ast.IdentMap.t;(*Inside a definition, local variables can be introduced by functions arguments or pattern matching
*)scope_idmap : Scopelang.Ast.ScopeName.t Desugared.Ast.IdentMap.t;(*The names of the scopes
*)struct_idmap : Scopelang.Ast.StructName.t Desugared.Ast.IdentMap.t;(*The names of the structs
*)field_idmap : Scopelang.Ast.StructFieldName.t Scopelang.Ast.StructMap.t Desugared.Ast.IdentMap.t;(*The names of the struct fields. Names of fields can be shared between different structs
*)enum_idmap : Scopelang.Ast.EnumName.t Desugared.Ast.IdentMap.t;(*The names of the enums
*)constructor_idmap : Scopelang.Ast.EnumConstructor.t Scopelang.Ast.EnumMap.t Desugared.Ast.IdentMap.t;(*The names of the enum constructors. Constructor names can be shared between different enums
*)scopes : scope_context Scopelang.Ast.ScopeMap.t;(*For each scope, its context
*)structs : struct_context Scopelang.Ast.StructMap.t;(*For each struct, its context
*)enums : enum_context Scopelang.Ast.EnumMap.t;(*For each enum, its context
*)var_typs : (typ Utils.Pos.marked * bool) Scopelang.Ast.ScopeVarMap.t;(*The types of each scope variable declared
*)
}Main context used throughout Surface.Desugaring
Helpers
Temporary function raising an error message saying that a feature is not supported yet
Function to call whenever an identifier used somewhere has not been declared in the program previously
Gets the type associated to an uid
val get_var_uid :
Scopelang.Ast.ScopeName.t ->
context ->
ident Utils.Pos.marked ->
Scopelang.Ast.ScopeVar.tGet the variable uid inside the scope given in argument
val get_subscope_uid :
Scopelang.Ast.ScopeName.t ->
context ->
ident Utils.Pos.marked ->
Scopelang.Ast.SubScopeName.tGet the subscope uid inside the scope given in argument
is_subscope_uid scope_uid ctxt y returns true if y belongs to the subscopes of scope_uid.
Checks if the var_uid belongs to the scope scope_uid
Retrieves the type of a scope definition from the context
Adds a binding to the context
val get_def_key :
Ast.qident ->
Scopelang.Ast.ScopeName.t ->
context ->
Utils.Pos.t ->
Desugared.Ast.ScopeDef.tAPI
Derive the context from metadata, in one pass over the declarations