X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=TranslatorTypes.hs;h=8db0b5f1d6f786b200511f14485061c2bf535696;hb=584b70c783f97177d83f96eb3404624b4a99950c;hp=733e65938bf84c20470de758e657be345e0fd990;hpb=8325780f83f31cc3520029912d0797704d058d7e;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git diff --git a/TranslatorTypes.hs b/TranslatorTypes.hs index 733e659..8db0b5f 100644 --- a/TranslatorTypes.hs +++ b/TranslatorTypes.hs @@ -5,22 +5,37 @@ module TranslatorTypes where import qualified Control.Monad.State as State +import qualified HscTypes import Flatten -type FuncMap = [(HsFunction, - (FlatFunction))] + +-- | A map from a HsFunction identifier to various stuff we collect about a +-- function along the way. +type FuncMap = [(HsFunction, FuncData)] +-- | Some stuff we collect about a function along the way. +type FuncData = (FlatFunction) data VHDLSession = VHDLSession { + coreMod :: HscTypes.CoreModule, -- The current module nameCount :: Int, -- A counter that can be used to generate unique names funcs :: FuncMap -- A map from HsFunction to FlatFunction, HWFunction, VHDL Entity and Architecture -} deriving (Show) +} --- Add the function to the session +-- | Add the function to the session addFunc :: HsFunction -> FlatFunction -> VHDLState () addFunc hsfunc flatfunc = do fs <- State.gets funcs -- Get the funcs element from the session State.modify (\x -> x {funcs = (hsfunc, flatfunc) : fs }) -- Prepend name and f +-- | Find the given function in the current session +getFunc :: HsFunction -> VHDLState (Maybe FuncData) +getFunc hsfunc = do + fs <- State.gets funcs -- Get the funcs element from the session + return $ lookup hsfunc fs + +getModule :: VHDLState HscTypes.CoreModule +getModule = State.gets coreMod -- Get the coreMod element from the session + type VHDLState = State.State VHDLSession -- Makes the given name unique by appending a unique number. @@ -32,3 +47,4 @@ uniqueName name = do State.modify (\s -> s {nameCount = count + 1}) return $ name ++ "_" ++ (show count) +-- vim: set ts=8 sw=2 sts=2 expandtab: