From dc53deede2b72ba0d4b545156cddfcb78f1c088e Mon Sep 17 00:00:00 2001 From: =?utf8?q?Anders=20M=C3=B6rtberg?= Date: Sun, 24 Sep 2017 09:44:51 +0200 Subject: [PATCH] use foldrWithKey instead of foldWithKey to eliminate warnings --- Connections.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Connections.hs b/Connections.hs index 8e15172..3a29a62 100644 --- a/Connections.hs +++ b/Connections.hs @@ -5,7 +5,7 @@ module Connections where import Control.Applicative import Data.List import Data.Map (Map,(!),keys,fromList,toList,mapKeys,elems,intersectionWith - ,unionWith,singleton,foldWithKey,assocs,mapWithKey + ,unionWith,singleton,foldrWithKey,assocs,mapWithKey ,filterWithKey,member) import Data.Set (Set,isProperSubsetOf) import qualified Data.Map as Map @@ -373,7 +373,7 @@ instance Nominal Formula where swap (psi1 :\/: psi2) (i,j) = swap psi1 (i,j) :\/: swap psi2 (i,j) face :: Nominal a => a -> Face -> a -face = foldWithKey (\i d a -> act a (i,Dir d)) +face = foldrWithKey (\i d a -> act a (i,Dir d)) -- the faces should be incomparable type System a = Map Face a -- 2.34.1