[Bodigrim#128] Add {-# OVERLAPPABLE #-} pragma to `instance Integra…

…l a => Euclidean a`
rockbmb · Aug 31, 2018 · bb0bcf9 · bb0bcf9
1 parent 241a204
commit bb0bcf9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Math/NumberTheory/Euclidean.hs b/Math/NumberTheory/Euclidean.hs
@@ -52,6 +52,6 @@ div x y = fst (divMod x y)
 mod :: Euclidean a => a -> a -> a
 mod x y = snd (divMod x y)
 
-instance Integral a => Euclidean a where
+instance {-# OVERLAPPABLE #-} Integral a => Euclidean a where
   quotRem = P.quotRem
   divMod  = P.divMod