package minicaml

  1. Overview
  2. Docs

Module Minicaml.TypesSource

Sourcetype ide = string

A value identifier

Sourcetype expr =
  1. | Unit
  2. | Integer of int
  3. | Boolean of bool
  4. | Symbol of ide
  5. | List of list_pattern
  6. | Head of expr
  7. | Tail of expr
  8. | Cons of expr * expr
  9. | Sum of expr * expr
  10. | Sub of expr * expr
  11. | Mult of expr * expr
  12. | Eq of expr * expr
  13. | Gt of expr * expr
  14. | Lt of expr * expr
  15. | And of expr * expr
  16. | Or of expr * expr
  17. | Not of expr
  18. | IfThenElse of expr * expr * expr
  19. | Let of ide * expr * expr
  20. | Letlazy of ide * expr * expr
  21. | Letrec of ide * expr * expr
  22. | Letreclazy of ide * expr * expr
  23. | Lambda of ide list * expr
  24. | Apply of expr * expr list

The type representing Abstract Syntax Tree expressions

Sourceand list_pattern =
  1. | EmptyList
  2. | ListValue of expr * list_pattern

A type to build lists, mutually recursive with `expr`

Sourcetype 'a env_t = (string * 'a) list

A purely functional environment type, parametrized

Sourcetype evt =
  1. | EvtUnit
  2. | EvtInt of int
  3. | EvtBool of bool
  4. | EvtList of evt list
  5. | Closure of ide list * expr * type_wrapper env_t
    (*

    RecClosure keeps the function name in the constructor for recursion

    *)
  6. | RecClosure of ide * ide list * expr * type_wrapper env_t

A type that represents an evaluated (reduced) value

Sourceand type_wrapper =
  1. | LazyExpression of expr
  2. | AlreadyEvaluated of evt

Wrapper type that allows both AST expressions and evaluated expression for lazy evaluation

Sourceval show_unpacked_evt : evt -> Ppx_deriving_runtime.string
Sourcetype env_type = type_wrapper env_t

An environment of already evaluated values

Sourcetype stackframe =
  1. | StackValue of int * expr * stackframe
  2. | EmptyStack

A recursive type representing a stacktrace frame

Sourceval expand_list : expr list -> list_pattern

Convert a native list to an AST list

Sourceval push_stack : stackframe -> expr -> stackframe

Push an AST expression into a stack

  • parameter s

    The stack where to push the expression

  • parameter e

    The expression to push

Sourceval pop_stack : stackframe -> stackframe

Pop an AST expression from a stack

Sourceexception UnboundVariable of string
Sourceexception WrongBindList
Sourceexception TypeError of string
Sourceexception ListError of string
Sourceexception SyntaxError of string