From 5d677d51d746d41695e94a8d3c42d2b2a479618f Mon Sep 17 00:00:00 2001 From: Andrzej Rybczak Date: Thu, 14 Sep 2023 01:08:38 +0200 Subject: [PATCH] Make fundep in the example make sense --- effectful-core/src/Effectful/Dispatch/Dynamic.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/effectful-core/src/Effectful/Dispatch/Dynamic.hs b/effectful-core/src/Effectful/Dispatch/Dynamic.hs index 768fda6..68e7ef7 100644 --- a/effectful-core/src/Effectful/Dispatch/Dynamic.hs +++ b/effectful-core/src/Effectful/Dispatch/Dynamic.hs @@ -357,7 +357,7 @@ import Effectful.Internal.Utils -- >>> :set -XFunctionalDependencies -- -- >>> :{ --- class Monad m => MonadInput i m | i -> m where +-- class Monad m => MonadInput i m | m -> i where -- input :: m i -- :} -- @@ -371,7 +371,7 @@ import Effectful.Internal.Utils -- ... -- ...Illegal instance declaration for ‘MonadInput i (Eff es)’... -- ... The liberal coverage condition fails in class ‘MonadInput’... --- ... for functional dependency: ‘i -> m’... +-- ... for functional dependency: ‘m -> i’... -- ... -- -- However, there exists a [dirty