Commit 2d024a3d authored by Steffen Michels's avatar Steffen Michels

fix overloading problem with Data.Graph.Inductive.NodeMap

parent 17d59940
Pipeline #8765 passed with stage
in 1 minute and 24 seconds
...@@ -10,7 +10,7 @@ import Data.Graph.Inductive.Graph ...@@ -10,7 +10,7 @@ import Data.Graph.Inductive.Graph
, key :: Int , key :: Int
} }
instance == (NodeMap a) | == a instance == (NodeMap a) | Eq a
// | Create a new, empty mapping. // | Create a new, empty mapping.
new :: NodeMap a new :: NodeMap a
......
...@@ -19,7 +19,7 @@ import qualified Data.List as DL ...@@ -19,7 +19,7 @@ import qualified Data.List as DL
, key :: Int , key :: Int
} }
instance == (NodeMap a) | == a where instance == (NodeMap a) | Eq a where
(==) {map, key} {map = map`, key = key`} = key == key` && map == map` (==) {map, key} {map = map`, key = key`} = key == key` && map == map`
// | Create a new, empty mapping. // | Create a new, empty mapping.
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment