X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=Pretty.hs;h=ef92c4dc955aeffe47dfb0877ad1b08f80abbae3;hb=8ebcc3ed9b394000ccd07ffeb541f791444dfbc2;hp=edfe05b41be06c8c74519af88a8752b00f746dc9;hpb=29ee33754fc52a1a46fd44aba98a4dce8c81ce58;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git diff --git a/Pretty.hs b/Pretty.hs index edfe05b..ef92c4d 100644 --- a/Pretty.hs +++ b/Pretty.hs @@ -97,15 +97,15 @@ instance Pretty SigUse where pPrint SigSubState = text "s" instance Pretty TranslatorSession where - pPrint (VHDLSession mod nameCount funcs) = + pPrint (TranslatorSession mod nameCount flatfuncs) = text "Module: " $$ nest 15 (text modname) $+$ text "NameCount: " $$ nest 15 (int nameCount) - $+$ text "Functions: " $$ nest 15 (vcat (map ppfunc (Map.toList funcs))) + $+$ text "Functions: " $$ nest 15 (vcat (map ppfunc (Map.toList flatfuncs))) where - ppfunc (hsfunc, fdata) = - pPrint hsfunc $+$ nest 5 (pPrint fdata) + ppfunc (hsfunc, flatfunc) = + pPrint hsfunc $+$ nest 5 (pPrint flatfunc) modname = showSDoc $ Module.pprModule (HscTypes.cm_module mod) - +{- instance Pretty FuncData where pPrint (FuncData flatfunc entity arch) = text "Flattened: " $$ nest 15 (ppffunc flatfunc) @@ -118,19 +118,13 @@ instance Pretty FuncData where ppent Nothing = text "Nothing" pparch Nothing = text "VHDL architecture not present" pparch (Just _) = text "VHDL architecture present" +-} instance Pretty Entity where - pPrint (Entity id args res decl pkg) = + pPrint (Entity id args res) = text "Entity: " $$ nest 10 (pPrint id) $+$ text "Args: " $$ nest 10 (pPrint args) $+$ text "Result: " $$ nest 10 (pPrint res) - $+$ ppdecl decl - $+$ pppkg pkg - where - ppdecl Nothing = text "VHDL entity not present" - ppdecl (Just _) = text "VHDL entity present" - pppkg Nothing = text "VHDL package not present" - pppkg (Just _) = text "VHDL package present" instance (OutputableBndr b, Show b) => Pretty (CoreSyn.Bind b) where pPrint (CoreSyn.NonRec b expr) = @@ -147,3 +141,10 @@ prettyBind (b, expr) = where b' = show b expr' = show expr + +instance (Pretty k, Pretty v) => Pretty (Map.Map k v) where + pPrint = + vcat . map ppentry . Map.toList + where + ppentry (k, v) = + pPrint k <> text " : " $$ nest 15 (pPrint v)