1 module CLasH.Translator where
3 import qualified GHC.Paths
4 import qualified "clash" CLasH.Translator as Original (makeVHDLStrings, makeVHDLAnnotations)
6 -- | Turn Haskell to VHDL, Usings Strings to indicate the Top Entity, Initial
7 -- State and Test Inputs.
9 -> [FilePath] -- ^ The FileNames
10 -> String -- ^ The TopEntity
11 -> String -- ^ The InitState
12 -> String -- ^ The TestInput
13 -> Bool -- ^ Is it stateful? (in case InitState is empty)
15 makeVHDLStrings filenames topentity initstate testinput stateful = do
16 let libdir = GHC.Paths.libdir
17 Original.makeVHDLStrings libdir filenames topentity initstate testinput stateful
19 -- | Turn Haskell to VHDL, Using the Annotations for Top Entity, Initial State
20 -- and Test Inputs found in the Files.
21 makeVHDLAnnotations ::
22 -> [FilePath] -- ^ The FileNames
23 -> Bool -- ^ Is it stateful? (in case InitState is not specified)
25 makeVHDLAnnotations libdir filenames stateful = do
26 let libdir = GHC.Paths.libdir
27 Original.makeVHDLAnnotations libdir filenames stateful