Explicitly order names in set labels

This commit is contained in:
Joscha 2019-10-30 21:31:25 +00:00
parent ed00c85fa7
commit 19f37ab578

View file

@ -35,7 +35,7 @@ instance AsLabel [Char] where
instance AsLabel a => AsLabel (Set.Set a) where instance AsLabel a => AsLabel (Set.Set a) where
asLabel s = asLabel s =
let sublabels = map asLabel $ Set.toList s let sublabels = map asLabel $ Set.elems s
in "{" ++ intercalate "," sublabels ++ "}" in "{" ++ intercalate "," sublabels ++ "}"
{- {-