Source

Opifex / src / Transformation / CWCPS / CWCPS_BetaContraction.ml

Full commit
(*
 * Opifex
 *
 * Copyrights(C) 2012 by Pawel Wieczorek <wieczyk at gmail>
 *)

open CWCPS_AST
open CWCPS_Transformation
open Batteries

(*************************************************************************************************
 * Unused definitions
 ************************************************************************************************)

module BetaContraction = struct

    let transformation variable_usage = function

        (* optimalize unused fixs *)
            
        | _ ->
            Transformation.NoChange
end

(*************************************************************************************************
 * 
 ************************************************************************************************)

let bottomup_transformations = 
    [ BetaContraction.transformation
    ]

let bottomup =
    Transformation.bottomups_with_analysis
        CWCPS_VariableUsageAnalysis.analyze
        bottomup_transformations