From ead35e571ddf77c227aba555fb745fd38ff8b96f Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Mon, 22 Jul 2024 15:18:42 +0200 Subject: Fix type of insertWithKey --- src/Data/Dependent/EnumMap/Strict.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/Data') diff --git a/src/Data/Dependent/EnumMap/Strict.hs b/src/Data/Dependent/EnumMap/Strict.hs index 6c1f11a..21db518 100644 --- a/src/Data/Dependent/EnumMap/Strict.hs +++ b/src/Data/Dependent/EnumMap/Strict.hs @@ -61,7 +61,7 @@ insert k v (DEnumMap m) = -- insertWith insertWithKey :: Enum1 k - => (forall b. k b -> v b -> v b -> v b) + => (k a -> v a -> v a -> v a) -> k a -> v a -> DEnumMap k v -> DEnumMap k v insertWithKey f k v (DEnumMap m) = let (i, inf) = fromEnum1 k -- cgit v1.2.3-70-g09d2