signature REG_ALLOC =
sig
  structure Frame : FRAME
  type allocation = Frame.register Temp.Table.table
  val alloc : Assem.instr list * Frame.frame ->
              Assem.instr list * allocation
end

structure RegAlloc (* :REG_ALLOG *) =
struct
  structure Frame = Frame
  type allocation = Frame.register Temp.Table.table
  fun alloc(instrs, frame) = 
      let val allocTable = Temp.Table.empty
          (*
          val (cAlloc,aList) = Color.color {interference,
                                            initial,
                                            spillCost,
                                            registers}
           *)
      in (instrs, allocTable)
      end
end