-- when it is a builtin function.
Monad.unless (Map.member hsfunc flatfuncmap) $ do
Monad.unless (elem hsfunc VHDL.builtin_hsfuncs) $ do
- -- TODO: Builtin functions
-- New function, resolve it
core <- getA tsCoreModule
-- Find the named function
-> [(AST.VHDLId, AST.DesignFile)]
createDesignFiles flatfuncmap =
- -- TODO: Output types
(mkVHDLId "types", AST.DesignFile ieee_context [type_package]) :
map (Arrow.second $ AST.DesignFile full_context) units
args = flat_args flatfunc
res = flat_res flatfunc
defs = flat_defs flatfunc
- -- TODO: Unique ty_decls
- -- TODO: Store ty_decls somewhere
procs = map mkStateProcSm (makeStatePairs flatfunc)
procs' = map AST.CSPSm procs
-- mkSigDec only uses vsTypes from the state