[m-dev.] Typesafe Assembly Language

[Fergus Henderson]

On 24-Feb-2003, Nomen Nescio <nobody at dizum.com> wrote:
> 
> Instead of compiling Mercury to a virtual machine, you could go
> straight to machine code with TAL.

We already compile Mercury to machine code.

For the Mercury compiler's low-level back-end, we do compile to a virtual
machine, as a way of structuring the compiler, but the virtual machine
instructions are then compiled to C (and thence to machine code) rather
than interpreted.  Our "virtual machine" code is just an intermediate
representation used during the compilation process.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------