4 <:Machine:> is an <:IntermediateLanguage:>, translated from <:RSSA:>
5 by <:ToMachine:> and used as input by the <:Codegen:>.
9 <:Machine:> is an <:Untyped:> <:IntermediateLanguage:>, corresponding
10 to a abstract register machine.
14 * <!ViewGitFile(mlton,master,mlton/backend/machine.sig)>
15 * <!ViewGitFile(mlton,master,mlton/backend/machine.fun)>
19 The <:Machine:> <:IntermediateLanguage:> has a primitive type checker
20 (<!ViewGitFile(mlton,master,mlton/backend/machine.sig)>,
21 <!ViewGitFile(mlton,master,mlton/backend/machine.fun)>), which only checks
22 some liveness properties.
24 == Details and Notes ==
26 The runtime structure sets some constants according to the
27 configuration files on the target architecture and OS.