minicaml 0.2.2 · OCaml Package

type ide = string

A value identifier

val pp_ide : 
  Ppx_deriving_runtime.Format.formatter ->
  ide ->
  Ppx_deriving_runtime.unit

val show_ide : ide -> Ppx_deriving_runtime.string

type expr =

| Unit
| Integer of int
| Boolean of bool
| Symbol of ide
| List of list_pattern
| Head of expr
| Tail of expr
| Cons of expr * expr
| Sum of expr * expr
| Sub of expr * expr
| Mult of expr * expr
| Eq of expr * expr
| Gt of expr * expr
| Lt of expr * expr
| And of expr * expr
| Or of expr * expr
| Not of expr
| IfThenElse of expr * expr * expr
| Let of ide * expr * expr
| Letlazy of ide * expr * expr
| Letrec of ide * expr * expr
| Letreclazy of ide * expr * expr
| Lambda of ide list * expr
| Apply of expr * expr list

The type representing Abstract Syntax Tree expressions

and list_pattern =

| EmptyList
| ListValue of expr * list_pattern

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

val pp_expr : 
  Ppx_deriving_runtime.Format.formatter ->
  expr ->
  Ppx_deriving_runtime.unit

val show_expr : expr -> Ppx_deriving_runtime.string

val pp_list_pattern : 
  Ppx_deriving_runtime.Format.formatter ->
  list_pattern ->
  Ppx_deriving_runtime.unit

val show_list_pattern : list_pattern -> Ppx_deriving_runtime.string

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

A purely functional environment type, parametrized

val pp_env_t : 
  'a. (Ppx_deriving_runtime.Format.formatter ->
        'a ->
        Ppx_deriving_runtime.unit) ->
  Ppx_deriving_runtime.Format.formatter ->
  'a env_t ->
  Ppx_deriving_runtime.unit

val show_env_t : 
  'a. (Ppx_deriving_runtime.Format.formatter ->
        'a ->
        Ppx_deriving_runtime.unit) ->
  'a env_t ->
  Ppx_deriving_runtime.string

type evt =

| EvtUnit
| EvtInt of int
| EvtBool of bool
| EvtList of evt list
| Closure of ide list * expr * type_wrapper env_t
(*
RecClosure keeps the function name in the constructor for recursion
*)
| RecClosure of ide * ide list * expr * type_wrapper env_t

A type that represents an evaluated (reduced) value

and type_wrapper =

| LazyExpression of expr
| AlreadyEvaluated of evt

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

val pp_evt : 
  Ppx_deriving_runtime.Format.formatter ->
  evt ->
  Ppx_deriving_runtime.unit

val show_evt : evt -> Ppx_deriving_runtime.string

val pp_type_wrapper : 
  Ppx_deriving_runtime.Format.formatter ->
  type_wrapper ->
  Ppx_deriving_runtime.unit

val show_type_wrapper : type_wrapper -> Ppx_deriving_runtime.string

val show_unpacked_evt : evt -> Ppx_deriving_runtime.string

type env_type = type_wrapper env_t

An environment of already evaluated values

type stackframe =

| StackValue of int * expr * stackframe
| EmptyStack

A recursive type representing a stacktrace frame

val pp_stackframe : 
  Ppx_deriving_runtime.Format.formatter ->
  stackframe ->
  Ppx_deriving_runtime.unit

val show_stackframe : stackframe -> Ppx_deriving_runtime.string

val expand_list : expr list -> list_pattern

Convert a native list to an AST list

val 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

val pop_stack : stackframe -> stackframe

Pop an AST expression from a stack

exception UnboundVariable of string

exception WrongBindList

exception TypeError of string

exception ListError of string

exception SyntaxError of string

package minicaml