vhdl <- runTranslatorSession env $ do
let all_bindings = concat (map (\x -> CoreSyn.flattenBinds (HscTypes.cm_binds x)) cores)
-- Store the bindings we loaded
tsBindings %= Map.fromList all_bindings
test_binds <- catMaybesM $ Monad.mapM mkTest specs
vhdl <- runTranslatorSession env $ do
let all_bindings = concat (map (\x -> CoreSyn.flattenBinds (HscTypes.cm_binds x)) cores)
-- Store the bindings we loaded
tsBindings %= Map.fromList all_bindings
test_binds <- catMaybesM $ Monad.mapM mkTest specs