Add Ord constraint

2024-12-30 02:14:20 +03:00 · 2018-09-13 17:46:25 -04:00 · 2018-09-13 17:46:25 -04:00 · 8d89393e49
commit 8d89393e49
parent 423a82481d
1 changed files with 1 additions and 0 deletions
--- a/src/Semantic/Graph.hs
+++ b/src/Semantic/Graph.hs
@ -351,6 +351,7 @@ resumingLoadError :: ( Applicative (m address value effects)
                     , Effectful (m address value)
                     , Effects effects
                     , Member Trace effects
+                     , Ord address
                     )
                  => m address value (Resumable (BaseError (LoadError address)) ': effects) a
                  -> m address value effects a