package catala

Overview
Docs

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-project

Dependency

github.com Readme Edit opam file Versions (13)

Authors

V

Vincent Botbol
N

Nicolas Chataing
A

Alain Delaët-Tixeuil
L

Louis Gesbert
A

Aymeric Fromherz
D

Denis Merigoux
R

Raphaël Monat
R

Romain Primet
E

Emile Rolley

Maintainers

C

contact@catala-lang.org

Sources

1.0.0-beta.tar.gz

md5=c41cbc1fa003e167bbc0bb1cd7723ab3

sha512=1e07951e2d73040bc0bea89f04bcb50c3a533323a7c7d8bac9ee9aa6be5233f795a32857421d04f17e52a841057cdc78b33f79fa239a17dd12de97a738c81999

doc/catala.lcalc/Lcalc/Closure_conversion/index.html

Module `Lcalc.Closure_conversion`Source

This module performs environment-passing style closure conversion, relying on the existential TClosureEnv type and tuples for closure environments. The implementation is based on François Pottier's MPRI lesson. After closure conversion, closure hoisting is perform and all closures end up as toplevel definitions.

Source

val closure_conversion : 
  keep_special_ops:bool ->
  'm Ast.program ->
  'm Ast.program