(* simple-opt.sml
 *
 * Optimization of the SimpleAST representation
 *
 * This code is part of the Diderot Project (http://diderot-language.cs.uchicago.edu)
 *
 * COPYRIGHT (c) 2015 The University of Chicago
 * All rights reserved.
 *)

structure SimpleOpt : sig

    val transform : Simple.program -> Simple.program

  end = struct

    structure S = Simple

    fun transform prog = let
	  val prog = Inliner.transform prog
	  val prog = SimpleContract.transform prog
	  val prog = SimplifyVars.transform prog
	  in
	    prog
	  end

  end