New release: minty2009-02-18-2

Martin Rodgers — Wed, 18 Feb 2009 17:03:05 -0000

A new release, minty2009-02-18-2.tar.gz, is available from the downloads section. This is still very alpha and doesn't yet generate code. It supports a subset of the R6RS core language only: no modules, no macros, and only a few primitives. OTOH, the code itself is R6RS and has been tested successfully with 4 different implementations. Many improvements have been made, esp in the inliner and letrec handling.

R6RS Support

Martin Rodgers — Wed, 18 Feb 2009 16:54:34 -0000

Minty has been rewritten in R6RS and is now hosted by Larceny, Ikarus, PLT and Ypsilon.

Other changes include temporary removal of macro and module support pending rewrites, and improved inlining and letrec implementation.

Summary of changes during 2006

Martin Rodgers — Sun, 31 Dec 2006 20:32:58 -0000

Hygienic macro language implemented
Began using define-datatype (caught many bugs with this)
New record types for representing code trees (using define-datatype)
Compiler exception handling and unit testing
Petite Larceny hosting (breaks with each new PL release)

Macros are go

Martin Rodgers — Tue, 15 Nov 2005 22:20:29 -0000

Finally, work on the macro processing begins!

This should have been done from the start, but it took me a long time to study and understand hygenic macro processing, so I defered that feature of the compiler. Unfortunately, it has a huge impact on the structure of the semantic analysis code, so that needs rewriting.

The good news is that this is all progressing smoothly.

Code that runs

Martin Rodgers — Sat, 29 Jan 2005 19:44:23 -0000

The code generator is now operational and using the Guile API for the runtime, in order to save time. The inliner rewrite went well, so the lambda lifting stage should be given some attention soon. Then perhaps the unit testing can begin.

Inliner rewrite

Martin Rodgers — Sun, 09 Jan 2005 20:41:09 -0000

The inliner is currently being rewritten. As this is the backbone of the compiler, many other parts are also being rewritten. However, the main work is on the inliner. The CPS transform used to preceed inlining, but now it'll follow it.

So the structure will now be: Parser -> Semantic Analysis -> Inlining -> CPS transform -> Closure Analysis -> Lambda lifting -> Code generation. The inliner will therefore process the AST in Direct Style instead of Continuation Passing Style. Also, the inliner is now using implicit continuations instead of explicit. Scheme features like call/cc should make the explicit style unnecessary.

I expect the type analysis will be restored at some point, but I'm not sure yet where. It used to preceed inlining, giving a limited form of type-directed partial evaluation, but now I expect to find it more useful at a later stage, like just before code generation.

Partial evaluation of record expressions

Martin Rodgers — Fri, 26 Nov 2004 19:26:39 -0000

Record ops are now represented in the AST, allowing the inliner to optimise records directly. Factorial now residualises to the following code.

(seq (seq (minty:display-fixnum 120 2)
(minty:display-char (minty:integer->char 13) 2))
(minty:halt))

Initial Prerelease

Martin Rodgers — Sat, 14 Aug 2004 18:51:38 -0000

An alpha version of the compiler has been prereleased. At this point, the only output is diagnostics that vaguely resembles code. No runtime library or unit tests are included yet.

Recent posts to news