X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=VHDLTypes.hs;h=4a1b01719300f0cc9dab8de620a19ed18b2dc21f;hb=f2ce393c85a9ccb673f8ba2df12b7c5b649c3a34;hp=61fb0035650002fa61c95db39bb6c56429114bfb;hpb=f5f6d286f56ee1e822ece0258039ba2d2ce920aa;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git diff --git a/VHDLTypes.hs b/VHDLTypes.hs index 61fb003..4a1b017 100644 --- a/VHDLTypes.hs +++ b/VHDLTypes.hs @@ -38,8 +38,14 @@ instance Eq OrdType where instance Ord OrdType where compare (OrdType a) (OrdType b) = Type.tcCmpType a b +data HType = StdType OrdType | + ADTType String [HType] | + VecType Int HType | + BuiltinType String + deriving (Eq, Ord) + -- A map of a Core type to the corresponding type name -type TypeMap = Map.Map OrdType (AST.VHDLId, Either AST.TypeDef AST.SubtypeIn) +type TypeMap = Map.Map HType (AST.VHDLId, Either AST.TypeDef AST.SubtypeIn) -- A map of a vector Core element type and function name to the coressponding -- VHDLId of the function and the function body.