package saltoIL

  1. Overview
  2. No Docs
Salto Intermediate Language

Install 

dune-project
 Dependency

gitlab.inria.fr Edit opam file Versions (3)

Authors

  1. B
    Benoît Montagu <benoit.montagu@inria.fr>
  2. P
    Pierre Lermusiaux <pierre.lermusiaux@inria.fr>

Maintainers

  1. B
    Benoît Montagu <benoit.montagu@inria.fr>
  2. P
    Pierre Lermusiaux <pierre.lermusiaux@inria.fr>

Sources

saltoIL-0.2.1.tbz
sha256=5714a2ab14c9834796bdeb9cc4268f07db64616661e62ba57b844f43aca92391
sha512=120588de6c6260c7a6526b6c940670f18727adb913f0bfcd27e5cb7148cea8277a7f47aeb64eb497f42649ced18f2e9bf4da4b973e5bc125711a11863e6fb98f

Description

The Salto Intermediate Language is a simplified version of the OCaml TypedTree. This library provides function to transform the OCaml TypedTree into the Salto IL, and to transform the Salto IL into the OCaml ParseTree.

Published: 04 Mar 2026

Dependencies (7)

  1. seq = "base"
  2. ppx_deriving build & >= "5.2.1"
  3. ptmap >= "2.0.5"
  4. base >= "v0.16" & < "v0.17"
  5. ocaml-compiler-libs = "v0.12.4"
  6. ocaml >= "4.14.0" & < "4.15.0"
  7. dune >= "3.18"

Dev Dependencies (1)

  1. odoc with-doc

Used by (1)

  1. salto-analyzer >= "0.2"

Conflicts

None