oboe

Copperbox revision 3268.

I've done some work improving the code, but inlining is still wrong. My feeling is that forms, and references to bindings in forms, need a change of syntax.

oboe

Copperbox revision 3267.

All bits of the compiler are now in place, although some bits don't work. Particularly inlining references to form expressions does not work.

oboe

Copperbox revision 3266.

I've put Main of the compiler in place, though there is still quite a bit of code missing or stubbed out.

oboe

Copperbox revision 3265.

I've added more modules cribbed from Ochre - optimization passes on the main intermediate syntax.

oboe

Copperbox revision 3264.

I've re-written the translation step from top-level syntax to form syntax which eliminates modules and replaces them with nested bindings in the root form.

oboe

Copperbox revision 3263.

I've added in more modules cribbed from Ochre. The work is a bit difficult at this stage as I'm having to work out the module system (imports). I had hoped to make better progress today.

oboe

Copperbox revision 3262.

I've implemented, but not tested, the translation from Top Level syntax to Form syntax.

oboe

Copperbox revision 3261.

I've added syntax to represent programs after forms have been normalized. The translation code is cribbed from Ochre but is currently stubbed out. Other helper modules have also been cribbed from Ochre.

oboe

Copperbox revision 3260.

I've added modules to the top-level syntax. I think modules can be resolved to forms with an initial translation step.

oboe

Copperbox revision 3259.

I've properly added forms to the top-level syntax and parser. Concrete syntax may change.

oboe

Copperbox revision 3258.

I've added form projection to the syntax, forms (c.f. Piccola and GLoo) are due to be the key feature of Oboe.