>>>>> "David" == M David Peterson <m.david@xxxxxxxxxx> writes:

    David> We need a CIL-esque language definition that we can then
    David> write a platform/xslt-engine compiler for.

    David> Colin, you want to do that for the rest of us?

Both parts have already been done.

The first part is called Eiffel.

The second part is called gestalt.
-- 
Colin Adams
Preston Lancashire