yellowsquid / mini-lambda

Compiler Construction Practical Exercise

mini-lambda

Minimal lambda language for the Compiler Construction course supervisions.

Development

Prerequisites

You need the following to be able to create the development environment.

• dune
• make
• opam

Most Linux distributions have packages available for these tools.

Hacking

Create the development environment.

make dev-switch

Run tests.

make test

Create static documentation.

make doc

Create live documentation.

make livedoc

Installation

First build the executable.

make

Then install.

make install

Running

Compile from lambda to x86_64 assembly. You will need to link the runtime manually.

lambda -o <output.S> <input.lambda>

Run the Ocaml interpreter.

lambda -i0 <input.lambda>

Run a lower-level Ocaml interpreter.

lambda -i6 <input.lambda>

Runtime

Build the runtime.

cc -c runtime/runtime.c -o runtime/runtime.o

Link the runtime.

cc <input.S> runtime/runtime.o -o <output>