diff options
| author | Krasimir Angelov <kr.angelov@gmail.com> | 2018-11-30 12:18:24 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-30 12:18:24 +0100 |
| commit | fdc5659f800bc37c51e3ddbdfdd0c8f3febb6b6c (patch) | |
| tree | d1e817ac40effc2bae2cca0bb07b393b6e7d2a77 /src/runtime/haskell/PGF.hs | |
| parent | f898c250baf0d94f99b60bbf155c887442e40775 (diff) | |
| parent | 4d34c7f66b1783423387c9dae359bd38f64426dd (diff) | |
Merge pull request #19 from MUSTE-Project/master
Fix deprecations from containers >= 0.4.0.0
Diffstat (limited to 'src/runtime/haskell/PGF.hs')
| -rw-r--r-- | src/runtime/haskell/PGF.hs | 2 |
1 files changed, 1 insertions, 1 deletions
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 |