From 684c5b250d98bc3e96193e073300234ea617b07e Mon Sep 17 00:00:00 2001 From: Matthijs Kooijman Date: Thu, 19 Feb 2009 15:31:14 +0100 Subject: [PATCH] Print the list of signals sorted by id. --- Pretty.hs | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Pretty.hs b/Pretty.hs index 433c15a..3c007f9 100644 --- a/Pretty.hs +++ b/Pretty.hs @@ -47,7 +47,7 @@ instance Pretty FlatFunction where (text "Args: ") $$ nest 10 (pPrint args) $+$ (text "Result: ") $$ nest 10 (pPrint res) $+$ (text "Defs: ") $$ nest 10 (ppdefs defs) - $+$ text "Signals: " $$ nest 10 (printList ppsig sigs) + $+$ text "Signals: " $$ nest 10 (ppsigs sigs) where ppsig (id, info) = pPrint id <> pPrint info ppdefs defs = vcat (map pPrint sorted) @@ -57,6 +57,9 @@ instance Pretty FlatFunction where sigDefDst (FApp _ _ dst) = head $ Foldable.toList dst sigDefDst (CondDef _ _ _ dst) = dst sigDefDst (UncondDef _ dst) = dst + ppsigs sigs = vcat (map pPrint sorted) + where + sorted = List.sortBy (\a b -> compare (fst a) (fst b)) sigs instance Pretty SigDef where -- 2.30.2