History

curiousleo 473f1bee9a Stop importing "map" twice

Fixes this Guile warning when running `guile compile.scm`:

> WARNING: (guile-user): `map' imported from both (srfi srfi-1) and
> (rnrs base)

2022-04-16 14:54:13 +08:00

test

compile.scm serialization: emit 32bit-format header when possible

2021-09-24 18:23:39 +02:00

compile.scm

Stop importing "map" twice

2022-04-16 14:54:13 +08:00

README.md

Add READMEs

2020-12-07 18:07:44 +01:00

README.md

miniml compiler

The file compile.scm is a single-file compiler for the miniml language, written in Scheme. It targets the OCaml bytecode for the version 4.07.0 of the OCaml compiler.

It is used as such:

$ guile compile.scm file.ml -o file.byte

The file file.byte will then contain executable OCaml bytecode, which can be run using ocamlrun from version 4.07.0 of the OCaml compiler (in this repository's ocaml-src/ submodule).

It can only process a single file of input; in case you wish to use multiple files, you must first bundle them all into a single .ml file, putting the contents of file x.ml between module X = struct/end delimiters.

All OCaml external functions can be used with external declarations, but primitives work differently: they call a single bytecode instruction, with the instruction number specified in the external declaration; see hello.ml for examples.

miniml is completely untyped, and error reporting during compilation is very limited. However, since syntax and semantics are almost completely compatible with OCaml, in most cases you can just use OCaml to find the syntax or type error.