diff options
Diffstat (limited to 'compiler/GHC/HsToCore/Pmc/Solver.hs')
| -rw-r--r-- | compiler/GHC/HsToCore/Pmc/Solver.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/GHC/HsToCore/Pmc/Solver.hs b/compiler/GHC/HsToCore/Pmc/Solver.hs index 235ed08492..326b532325 100644 --- a/compiler/GHC/HsToCore/Pmc/Solver.hs +++ b/compiler/GHC/HsToCore/Pmc/Solver.hs @@ -388,7 +388,7 @@ pmIsClosedType ty -- efficient. normaliseSourceTypeWHNF :: TyState -> Type -> DsM Type normaliseSourceTypeWHNF _ ty | isSourceTypeInWHNF ty = pure ty -normaliseSourceTypeWHNF ty_st ty = do +normaliseSourceTypeWHNF ty_st ty = pmTopNormaliseType ty_st ty >>= \case NoChange ty -> pure ty NormalisedByConstraints ty -> pure ty @@ -1223,7 +1223,7 @@ inhabitationTest fuel old_ty_st nabla@MkNabla{ nabla_tm_st = ts } = do where nabla_not_dirty = nabla{ nabla_tm_st = ts{ts_dirty=emptyDVarSet} } test_one :: VarInfo -> MaybeT DsM VarInfo - test_one vi = do + test_one vi = lift (varNeedsTesting old_ty_st nabla vi) >>= \case True -> do -- tracPm "test_one" (ppr vi) |