public Lisp Pop(ref Lisp stack)
{
Cons c = stack as Cons;
if (c != null)
{
Lisp t = c.Car;
stack = c.Cdr;
return(t);
}
else
{
throw new ApplicationException("Can't pop an atom");
}
}
public void Push(Lisp x, ref Lisp stack)
{
Cons c = new Cons(x, stack);
stack = c;
}
// Arguments
// Bootstrap C S [B]
// Load program compilerC.secd
// Load source compilerS.lsp
// Compile to compilerS.secd
// If B present:
// Load program compilerS.secd
// Compile to compilerS.secd
static void Main(string[] args)
{
VM vm;
string c, s;
bool b = args.Length == 3;
if (args.Length < 2)
{
Console.WriteLine("Invalid Args");
return;
}
c = args[0];
s = args[1];
if (s == c)
{
Console.WriteLine("File idents must be different");
return;
}
// Load compiled compiler
Lisp compiler = LoadFile("compiler" + c + ".secd");
// Load compiler source
Lisp source = LoadFile("compiler" + s + ".lsp");
// Convert to argument list
source = new Cons(source, Lisp.NIL);
vm = new VM();
vm.SetProgram(compiler);
vm.SetInput(source);
Op op;
do
{
op = vm.Step();
}while (vm.Running());
if (vm.Errored())
{
return;
}
Console.WriteLine("Compilation complete");
if (b)
{
Console.WriteLine("Bootstrapping");
compiler = vm.Result();
vm.Clear();
vm.SetProgram(compiler);
vm.SetInput(source);
do
{
op = vm.Step();
}while (vm.Running());
if (vm.Errored())
{
return;
}
Console.WriteLine("Bootstrap Compilation complete");
}
Console.WriteLine("Writing compiler object to compiler" + s + ".secd");
if (vm.Result() == null)
{
Console.WriteLine("Not writing null output");
}
else
{
SaveFile(vm.Result(), "compiler" + s + ".secd");
}
}