(* -*- Mode: sml; -*- *) (****************************************************************************** * Build relevant portions of MLton compiler (all except code generation and cm * * Replace Mlton's compile.{fun.sig} with stripped-down versions that only * generate MLton's ssa form. * * Replace MLton's main.{sml,fun,sig} with our stripped version called * MltonFileToSsa. * * MltonFileToSsa.fileToSsa ("mlton-20040227/build/lib", filename) * reads in the sml code from filename and returns a MLton ssa data structure * see MLton module ssa-tree.sig for details *****************************************************************************) Group (* Either don't export Control, or remember to type something like * structure SMLNJControl=Control; * in your SML/NJ session so that you can get at the SML/NJ Control.print * values (etc.) if needed *) (* structure Control *) (* lib/mlton/basic/control *) signature COMPILE structure Layout (* lib/mlton/basic/layout *) structure MltonFileToSsa structure Tree (* lib/mlton/basic/tree.{sml,sig} *) (* signature TREE *) (* for some reason not exported to this level *) signature PRIM signature ATOMS signature CON signature TYCON signature SSA_TREE signature HASH_TYPE (* included in Ssa.Type *) structure Property (* signature PROPERTY *) (* for some reason not exported to this level *) is mlton-20040227/lib/mlton/basic/sources.cm mlton-20040227/lib/mlton/sources.cm mlton-20040227/mlton/ast/sources.cm mlton-20040227/mlton/atoms/sources.cm mlton-20040227/mlton/closure-convert/sources.cm mlton-20040227/mlton/control/sources.cm mlton-20040227/mlton/core-ml/sources.cm mlton-20040227/mlton/defunctorize/sources.cm mlton-20040227/mlton/elaborate/sources.cm mlton-20040227/mlton/front-end/sources.cm mlton-20040227/mlton/ssa/sources.cm mlton-20040227/mlton/xml/sources.cm ./compile.fun ./compile.sig mlton-20040227/mlton/main/lookup-constant.sig mlton-20040227/mlton/main/lookup-constant.fun ./MltonFileToSsa.sml