Source

Opifex / src / Transformation / CWCPS / CWCPS_EtaReduction.ml

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

open CWCPS_AST
open CWCPS_Transformation
open Batteries

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

module EtaReduction = struct

    let transformation = function
        | _ ->
            Transformation.NoChange

end

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

let bottomup_transformations = 
    [ EtaReduction.transformation
    ]

let bottomup =
    Transformation.bottomups
        bottomup_transformations