package catala

You can search for identifiers within the package.

in-package search v0.2.0

Compiler and library for the literate programming language for tax code specification

Install

Dune Dependency

github.com Readme Edit opam file Versions (8)

Authors

Maintainers

C

contact@catala-lang.org

Sources

0.7.0.tar.gz

md5=6dbbc2f50c23693f26ab6f048e78172f

sha512=a5701e14932d8a866e2aa3731f76df85ff2a68b4fa943fd510c535913573274d66eaec1ae6fcae17f20b475876048a9ab196ef6d8c23d4ea6b90b986aa0a6daa

doc/catala.dcalc/Dcalc/Ast/Infer/index.html

Module `Ast.Infer`Source

Contains some structures used for type inference

Sourcemodule Any : Utils.Uid.Id with type info = unit

Sourcetype unionfind_typ = typ Utils.Marked.pos UnionFind.elem

We do not reuse typ because we have to include a new TAny variant. Indeed, error terms can have any type and this has to be captured by the type sytem.

Sourceand typ =

| TLit of typ_lit
| TArrow of unionfind_typ * unionfind_typ
| TTuple of unionfind_typ list * StructName.t option
| TEnum of unionfind_typ list * EnumName.t
| TArray of unionfind_typ
| TAny of Any.t

Sourceval typ_to_ast : unionfind_typ -> marked_typ

Sourceval ast_to_typ : marked_typ -> unionfind_typ