signature COLOR =
sig
  structure Frame : FRAME
  type allocation = Frame.register Temp.Table.table
  val color : {interference: Liveness.igraph,
               initial: allocation,
               spillCost: Graph.node -> int,
               registers: Frame.register list}
              -> allocation * Temp.temp list
end

structure Color (* :COLOR *)  =
struct
  structure Frame = Frame
  type allocation = Frame.register Temp.Table.table
  fun color {interference,initial,spillCost,registers} =
      let val allocTable = Temp.Table.empty
          val spillList = nil
      in (allocTable, spillList)
      end
end