mlton/ssa/prepasses2.sig

   1 (* Copyright (C) 2005-2007 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 PREPASSES2_STRUCTS =
   9    sig
  10       include TYPE_CHECK2
  11    end
  12
  13 signature PREPASSES2 =
  14    sig
  15       include PREPASSES2_STRUCTS
  16
  17       val eliminateDeadBlocksFunction: Function.t -> Function.t
  18       val eliminateDeadBlocks: Program.t -> Program.t
  19       val orderFunctions: Program.t -> Program.t
  20       val reverseFunctions: Program.t -> Program.t
  21    end