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.tar.gz

md5=42196e9a9c5e12839b38cb3da935f10c

sha512=ede2d8c17dcb936c1c8c596f1453bf89370a2f824a190efe74e438d7d7f7f83875c1ecbc18219c6a8a3e98b3ab4da1c3a6cc4e534687dbc90f3dca8230f43f7b

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