Re: Fun-O Basic Edition Compiler

[Jeffrey Siegal <address@hidden>]

Bruce Hoult wrote:
> - d2c currently only does tail-call elimination on local functions, and
> only self-calls at that :-(

This is a self-call.  What's the problem?

> > (This is "safe" mode.  All run-time checks are enabled except
> > integer/fixint overflow, which Stalin doesn't support.  Integers will
> > silently wrap.)
> 
> As in the Dylan, Java and C code.

Java is similar in practical effect to Stalin in that it is generally
type-safe but defines integers as wrapping. (Does Dylan define integers
this way as well?)  One difference, though, is that the default Stalin
mode is to compile with integer overflow checks, except that this mode
is not implemented.

C is just unsafe period, which is not quite the same thing.