mlton/ssa/ssa-to-ssa2.sig

   1 (* Copyright (C) 2004-2006 Henry Cejtin, Matthew Fluet, Suresh
   2  *    Jagannathan, and Stephen Weeks.
   3  *
   4  * MLton is released under a BSD-style license.
   5  * See the file MLton-LICENSE for details.
   6  *)
   7
   8 signature SSA_TO_SSA2_STRUCTS =
   9    sig
  10       structure Ssa: SSA
  11       structure Ssa2: SSA2
  12       sharing Ssa.Atoms = Ssa2.Atoms
  13    end
  14
  15 signature SSA_TO_SSA2 =
  16    sig
  17       include SSA_TO_SSA2_STRUCTS
  18
  19       val convert: Ssa.Program.t -> Ssa2.Program.t
  20    end