diff options
| author | Simon Peyton Jones <simon.peytonjones@gmail.com> | 2023-05-17 22:24:54 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simon.peytonjones@gmail.com> | 2023-05-17 22:26:07 +0100 |
| commit | fbf5bcef8d532a88b68c15744d4df3c08a1c736c (patch) | |
| tree | 75cf184ffeabee65a34bfe657a34af2a3e56dbd2 /compiler/GHC/Tc/Solver/Monad.hs | |
| parent | 8a9164911df87cbf4ec6d86d0119b64b03d7aa7b (diff) | |
| download | haskell-wip/T23070-dicts.tar.gz | |
Wibbleswip/T23070-dicts
Diffstat (limited to 'compiler/GHC/Tc/Solver/Monad.hs')
| -rw-r--r-- | compiler/GHC/Tc/Solver/Monad.hs | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/compiler/GHC/Tc/Solver/Monad.hs b/compiler/GHC/Tc/Solver/Monad.hs index d385d27b29..c89a9f282b 100644 --- a/compiler/GHC/Tc/Solver/Monad.hs +++ b/compiler/GHC/Tc/Solver/Monad.hs @@ -707,9 +707,7 @@ lookupInInerts loc pty -- | Look up a dictionary inert. lookupInertDict :: InertCans -> CtLoc -> Class -> [Type] -> Maybe DictCt lookupInertDict (IC { inert_dicts = dicts }) loc cls tys - = case findDict dicts loc cls tys of - Just ct -> Just ct - _ -> Nothing + = findDict dicts loc cls tys -- | Look up a solved inert. lookupSolvedDict :: InertSet -> CtLoc -> Class -> [Type] -> Maybe CtEvidence |