X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=Translator.hs;h=e1c3325d0e2c753ef0948e7d0f0b8fe5152ddd32;hb=a5334443f2d490ae6ada3f332eb04b508ff81648;hp=142a8349dd8364021a8fd5d5c971b6123c91bd98;hpb=fe0898cdc1f53172c3897354ef6d0b16d24736de;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git diff --git a/Translator.hs b/Translator.hs index 142a834..e1c3325 100644 --- a/Translator.hs +++ b/Translator.hs @@ -63,7 +63,7 @@ main = -- Turns the given bind into VHDL mkVHDL binds = do -- Add the builtin functions - --mapM (uncurry addFunc) builtin_funcs + mapM addBuiltIn builtin_funcs -- Create entities and architectures for them mapM flattenBind binds return $ AST.DesignFile @@ -172,18 +172,20 @@ splitTupleType ty = -- | A consise representation of a (set of) ports on a builtin function type PortMap = HsValueMap (String, AST.TypeMark) -{- +-- | A consise representation of a builtin function +data BuiltIn = BuiltIn String [PortMap] PortMap + -- | Translate a concise representation of a builtin function to something -- that can be put into FuncMap directly. -make_builtin :: String -> [PortMap] -> PortMap -> (HsFunction, FuncData) -make_builtin name args res = - (hsfunc, (Nothing)) +addBuiltIn :: BuiltIn -> VHDLState () +addBuiltIn (BuiltIn name args res) = do + addFunc hsfunc where hsfunc = HsFunction name (map useAsPort args) (useAsPort res) builtin_funcs = [ - make_builtin "hwxor" [(Single ("a", VHDL.bit_ty)), (Single ("b", VHDL.bit_ty))] (Single ("o", VHDL.bit_ty)) + BuiltIn "hwxor" [(Single ("a", VHDL.bit_ty)), (Single ("b", VHDL.bit_ty))] (Single ("o", VHDL.bit_ty)) ] --} + -- vim: set ts=8 sw=2 sts=2 expandtab: