package catala

  1. Overview
  2. Docs
Compiler and library for the literate programming language for tax code specification

Install 

dune-project
 Dependency

github.com Readme Edit opam file Versions (10)

Authors

  1. D
    Denis Merigoux
  2. N
    Nicolas Chataing
  3. E
    Emile Rolley
  4. L
    Louis Gesbert
  5. A
    Aymeric Fromherz
  6. A
    Alain Delaët-Tixeuil

Maintainers

  1. 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.InferSource

Contains some structures used for type inference

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

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 =
  1. | TLit of typ_lit
  2. | TArrow of unionfind_typ * unionfind_typ
  3. | TTuple of unionfind_typ list * StructName.t option
  4. | TEnum of unionfind_typ list * EnumName.t
  5. | TArray of unionfind_typ
  6. | TAny of Any.t
Sourceval typ_to_ast : unionfind_typ -> marked_typ
Sourceval ast_to_typ : marked_typ -> unionfind_typ