use foldrWithKey instead of foldWithKey to eliminate warnings

diff --git a/Connections.hs b/Connections.hs
index 8e15172a0ee411d228316a4e3f35d1a425da9a66..3a29a6256910749697a910c171598dc07feff8be 100644 (file)
--- 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