From 146f26cc984240cea8c86ba4a82ab7b50230b2a3 Mon Sep 17 00:00:00 2001 From: Sebastian Graf Date: Mon, 23 Sep 2019 15:40:19 +0000 Subject: Some leftovers from !1732. Comments only [skip ci] --- compiler/deSugar/PmOracle.hs | 3 ++- compiler/deSugar/PmTypes.hs | 4 ++-- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/compiler/deSugar/PmOracle.hs b/compiler/deSugar/PmOracle.hs index ef90d8d2d8..2b88bb61e7 100644 --- a/compiler/deSugar/PmOracle.hs +++ b/compiler/deSugar/PmOracle.hs @@ -542,7 +542,8 @@ nameTyCt (TyCt pred_ty) = do idname = mkInternalName unique occname noSrcSpan return (mkLocalId idname pred_ty) --- | Check whether a set of type constraints is satisfiable. +-- | Add some extra type constraints to the 'TyState'; return 'Nothing' if we +-- find a contradiction (e.g. @Int ~ Bool@). tyOracle :: TyState -> Bag TyCt -> DsM (Maybe TyState) tyOracle (TySt inert) cts = do { evs <- traverse nameTyCt cts diff --git a/compiler/deSugar/PmTypes.hs b/compiler/deSugar/PmTypes.hs index 0e0f91839d..ee89cf7eb7 100644 --- a/compiler/deSugar/PmTypes.hs +++ b/compiler/deSugar/PmTypes.hs @@ -509,8 +509,8 @@ instance Outputable VarInfo where initTmState :: TmState initTmState = TmSt emptySDIE --- | The type oracle state. A poor man's inert set: The invariant is that all --- constraints in there are mutually compatible. +-- | The type oracle state. A poor man's 'TcSMonad.InsertSet': The invariant is +-- that all constraints in there are mutually compatible. newtype TyState = TySt (Bag EvVar) -- | Not user-facing. -- cgit v1.2.1