module Definition.PreludeList where

import Language.Haskell.TH
import Language.Haskell.ER.Syntax
import Language.Haskell.ER.HaskellRewrite
import Language.Haskell.ER.MiscRewrite
import Language.Haskell.ER.Utils
import Language.Haskell.ER.Frees
import Program.PreludeList

dictionary :: [ HaskellRewrite' ]
dictionary = map HaskellRewriteExp
	[ defn_foldr
	]

defn_foldr :: HaskellRewrite Exp
defn_foldr = defn 'Prelude.foldr Program.PreludeList.defns