🐛 Make EvalModeConvertible reflexive

lsrcz · Jan 18, 2025 · 1d61e81 · 1d61e81
1 parent ab6f722
commit 1d61e81
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -37,6 +37,8 @@ and this project adheres to
   ([#268](https://github.com/lsrcz/grisette/pull/268))
 - The `choose*Fresh` functions will not try its best to minimize the size of the
   guards. ([#283](https://github.com/lsrcz/grisette/pull/283))
+- `EvalModeConvertible` is now reflexive.
+  ([#284](https://github.com/lsrcz/grisette/pull/284))
 
 ### Fixed
 

diff --git a/src/Grisette/Internal/Unified/Util.hs b/src/Grisette/Internal/Unified/Util.hs
@@ -83,6 +83,12 @@ class
     ((c ~ 'S, s ~ 'S) => r) ->
     r
 
+instance {-# INCOHERENT #-} (DecideEvalMode c) => EvalModeConvertible c c where
+  withModeConvertible con sym = withMode @c con sym
+  {-# INLINE withModeConvertible #-}
+  withModeConvertible' con _ sym = withMode @c con sym
+  {-# INLINE withModeConvertible' #-}
+
 instance {-# INCOHERENT #-} (DecideEvalMode s) => EvalModeConvertible 'C s where
   withModeConvertible con _ = con
   {-# INLINE withModeConvertible #-}