From 4d34c7f66b1783423387c9dae359bd38f64426dd Mon Sep 17 00:00:00 2001 From: Peter LjungloĢˆf Date: Fri, 30 Nov 2018 11:52:56 +0100 Subject: Fix deprecations from containers >= 0.4.0.0 E.g. `foldWithKey` has been deprecated since 0.4.0.0 (November 2010)[1] and has been removed in 0.6.0.1 (2018)[2] [1]: https://github.com/haskell/containers/blob/master/changelog.md#0400--nov-2010 [2]: https://github.com/haskell/containers/blob/master/changelog.md#death-of-deprecated-functions (commit originally by @fredefox) --- src/runtime/haskell/PGF.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/runtime/haskell/PGF.hs') diff --git a/src/runtime/haskell/PGF.hs b/src/runtime/haskell/PGF.hs index 3cd417c73..a432aa9bb 100644 --- a/src/runtime/haskell/PGF.hs +++ b/src/runtime/haskell/PGF.hs @@ -374,7 +374,7 @@ browse pgf id = fmap (\def -> (def,producers,consumers)) definition Just (hyps,_,_) -> Just $ render (text "cat" <+> ppCId id <+> hsep (snd (mapAccumL (ppHypo 4) [] hyps))) Nothing -> Nothing - (producers,consumers) = Map.foldWithKey accum ([],[]) (funs (abstract pgf)) + (producers,consumers) = Map.foldrWithKey accum ([],[]) (funs (abstract pgf)) where accum f (ty,_,_,_) (plist,clist) = let !plist' = if id `elem` ps then f : plist else plist -- cgit v1.2.3