X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=Translator.hs;h=9cced3444d452607e3b8d35cc9b3ce631b6ee515;hb=e2a1b9504807512be2e613c9e8822658be6fa626;hp=cccac4c08047178ec368a5a992d3c0eac48f4a0d;hpb=454503106eef8deb32481d4f67a3d510950118e5;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git diff --git a/Translator.hs b/Translator.hs index cccac4c..9cced34 100644 --- a/Translator.hs +++ b/Translator.hs @@ -54,7 +54,7 @@ main = --core <- GHC.compileToCoreSimplified "Adders.hs" core <- GHC.compileToCoreSimplified "Adders.hs" --liftIO $ printBinds (cm_binds core) - let binds = Maybe.mapMaybe (findBind (cm_binds core)) ["sfull_adder"] + let binds = Maybe.mapMaybe (findBind (cm_binds core)) ["dff"] liftIO $ putStr $ prettyShow binds -- Turn bind into VHDL let (vhdl, sess) = State.runState (mkVHDL binds) (VHDLSession core 0 Map.empty) @@ -72,13 +72,7 @@ main = modFuncs nameFlatFunction modFuncs VHDL.createEntity modFuncs VHDL.createArchitecture - -- Extract the library units generated from all the functions in the - -- session. - funcs <- getFuncs - let units = concat $ map VHDL.getLibraryUnits funcs - return $ AST.DesignFile - [] - units + VHDL.getDesignFile findBind :: [CoreBind] -> String -> Maybe CoreBind findBind binds lookfor = @@ -188,7 +182,7 @@ nameFlatFunction hsfunc fdata = -- Name the signals in all other functions Just flatfunc -> let s = flat_sigs flatfunc in - let s' = map (\(id, (SignalInfo Nothing ty)) -> (id, SignalInfo (Just $ "sig_" ++ (show id)) ty)) s in + let s' = map (\(id, (SignalInfo Nothing use ty)) -> (id, SignalInfo (Just $ "sig_" ++ (show id)) use ty)) s in let flatfunc' = flatfunc { flat_sigs = s' } in setFlatFunc hsfunc flatfunc'