From b4b417b3a31fdbf924762d4daf0a25983cc48410 Mon Sep 17 00:00:00 2001 From: Alex Gryzlov Date: Tue, 18 Jun 2024 01:04:48 +0200 Subject: [PATCH] apply hlint suggestion --- src/Language/Fixpoint/Types/Visitor.hs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/Language/Fixpoint/Types/Visitor.hs b/src/Language/Fixpoint/Types/Visitor.hs index f9c7501a7..a51402dbb 100644 --- a/src/Language/Fixpoint/Types/Visitor.hs +++ b/src/Language/Fixpoint/Types/Visitor.hs @@ -470,9 +470,9 @@ instance SymConsts Rewrite where instance (SymConsts (c a)) => SymConsts (GInfo c a) where symConsts fi = Misc.sortNub $ csLits ++ bsLits ++ qsLits where - csLits = concatMap symConsts $ M.elems $ cm fi - bsLits = symConsts $ bs fi - qsLits = concatMap symConsts $ qBody <$> quals fi + csLits = concatMap symConsts $ M.elems $ cm fi + bsLits = symConsts $ bs fi + qsLits = concatMap (symConsts . qBody) $ quals fi instance SymConsts (BindEnv a) where symConsts = concatMap (symConsts . Misc.snd3) . M.elems . beBinds