package forester

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Base types
Compilation phases
1. Parsing
High-level architecture
IO
1. LaTeX pipeline

Module `Forester_compiler`Source

The forester compiler

Base types

Sourcemodule Xml_forester : sig ... end

Definition of the forester XML schema. This is the compilation target.

Compilation phases

Parsing

The lexer and parser are implemented with ocamllex and menhir

Sourcemodule Parse : sig ... end

Sourcemodule Imports : sig ... end

Create import and dependency graphs.

Sourcemodule Expand : sig ... end

Transform Code.trees into Syn.trees by folding over the import graph.

Sourcemodule Eval : sig ... end

Transform Syn.trees into articles.

High-level architecture

The compiler needs to support both batch-style and incremental compilation. To this end, we define a state type and transition functions that act on this state.

In the future, we want to record more knowledge in graphs of the state and derive the information we need for the language server via the query system.

Sourcemodule Forest : sig ... end

Augmented hash table used throughout compilation phases.

Sourcemodule Action : sig ... end

Sourcemodule State : sig ... end

Sourcemodule Phases : sig ... end

Sourcemodule Driver : sig ... end

Sourcemodule Asset_router : sig ... end

Sourcemodule URI_util : sig ... end

IO

LaTeX pipeline

Sourcemodule Build_latex : sig ... end

Sourcemodule LaTeX_pipeline : sig ... end

Sourcemodule LaTeX_template : sig ... end

Sourcemodule Job : sig ... end

Definition of LaTeX jobs