module Definition.HughesList 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.HughesList
import HughesList

dictionary :: [ HaskellRewrite' ]
dictionary = map HaskellRewriteExp
	[ defn_c2a
	, defn_a2c
	]

defn_c2a :: HaskellRewrite Exp
defn_c2a = defn 'HughesList.c2a Program.HughesList.defns

defn_a2c :: HaskellRewrite Exp
defn_a2c = defn 'HughesList.a2c Program.HughesList.defns