X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=VHDL.hs;h=b577110db761643e37d83fa0e7caad7a4a7f061b;hb=6da7fe2ee6111b6472efaf2f29cf31b72b66fd87;hp=572e221b4abb120e94d4871489e5f94b92f1be81;hpb=2fc713015ccdabfb4f979546c3ecd0dd40329bb8;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git diff --git a/VHDL.hs b/VHDL.hs index 572e221..b577110 100644 --- a/VHDL.hs +++ b/VHDL.hs @@ -3,6 +3,7 @@ -- module VHDL where +-- Standard modules import qualified Data.Foldable as Foldable import qualified Data.List as List import qualified Data.Map as Map @@ -15,14 +16,16 @@ import qualified Data.Monoid as Monoid import Data.Accessor import qualified Data.Accessor.MonadState as MonadState +-- ForSyDe +import qualified ForSyDe.Backend.VHDL.AST as AST + +-- GHC API import qualified Type -import qualified TysWiredIn import qualified Name import qualified TyCon import Outputable ( showSDoc, ppr ) -import qualified ForSyDe.Backend.VHDL.AST as AST - +-- Local imports import VHDLTypes import Flatten import FlattenTypes @@ -375,6 +378,7 @@ mk_fsvec_ty ty args = do let range = AST.IndexConstraint [AST.ToRange (AST.PrimLit "0") (AST.PrimLit "16")] let ty_def = AST.TDA $ AST.ConsArrayDef range std_logic_ty let ty_dec = AST.TypeDec ty_id ty_def + -- TODO: Check name uniqueness State.modify (Map.insert (OrdType ty) (ty_id, ty_dec)) return ty_id @@ -425,3 +429,5 @@ builtin_funcs = mkBuiltins -- a VHDLSignalMap toVHDLSignalMap :: HsValueMap (String, AST.TypeMark) -> VHDLSignalMap toVHDLSignalMap = fmap (\(name, ty) -> Just (mkVHDLId name, ty)) + +-- vim: set ts=8 sw=2 sts=2 expandtab: