Module Perk

module Ast : sig ... end

Abstract Syntax Tree of a Perk program.

module C_errors : sig ... end

Defines exceptions that can be called when C parsing fails.

module C_lexer : sig ... end
module C_parser : sig ... end
module Codegen : sig ... end

Generates C code given a parsed Perk program.

module Compile_utils : sig ... end
module Ctype_ast : sig ... end

Abstract Syntax Tree of C types.

module Errors : sig ... end

Defines exceptions for Perk lexing, parsing, type-checking and code generation.

module Free_variables : sig ... end

Functions for computing the free variables of commands and expressions

module Lexer : sig ... end
module Location : sig ... end

Utils for positions in error-reporting.

module Parse_tags : sig ... end

Parses a ctags-generated tags file.

module Parser : sig ... end
module Type_symbol_table : sig ... end

Utils for the type symbol table

module Typecheck : sig ... end

Typechecks a set of toplevel definitions, instancing the inferred types.

module Utils : sig ... end

Various utilities.

module Var_symbol_table : sig ... end

Utils for the var symbol table