mlton/ssa/global.sig

   1 (* Copyright (C) 2009 Matthew Fluet.
   2  * Copyright (C) 1999-2006 Henry Cejtin, Matthew Fluet, Suresh
   3  *    Jagannathan, and Stephen Weeks.
   4  * Copyright (C) 1997-2000 NEC Research Institute.
   5  *
   6  * MLton is released under a BSD-style license.
   7  * See the file MLton-LICENSE for details.
   8  *)
   9
  10 signature GLOBAL_STRUCTS =
  11    sig
  12       include SSA_TREE
  13    end
  14
  15 signature GLOBAL =
  16    sig
  17       include GLOBAL_STRUCTS
  18
  19       val make:
  20          unit -> {
  21                   new: Type.t * Exp.t -> Var.t,
  22                   all: unit -> Statement.t vector
  23                  }
  24    end