small changes before making a big change from separate pacakge

mstksg · Aug 9, 2019 · f7ac362 · f7ac362
1 parent 5028ea8
commit f7ac362
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/src/Data/Type/Predicate/Auto.hs b/src/Data/Type/Predicate/Auto.hs
@@ -339,3 +339,4 @@ autoNotAll = anyNotNotAll sing . autoAny
 instance (SingI as, AutoAll f (Not (Found p)) as) => Auto (Not (Found (AnyMatch f p))) as where
     auto = mapRefuted (\(s :&: WitAny i p) -> WitAny i (s :&: p))
          $ auto @_ @(Not (Any f (Found p))) @as
+
diff --git a/src/Data/Type/Universe/Prod.hs b/src/Data/Type/Universe/Prod.hs
@@ -375,7 +375,7 @@ instance (V.ReifyConstraint Show f (S.MaybeToList as)) => Show (PMaybe f as) whe
     showsPrec d = \case
       PNothing -> showString "PNothing"
       PJust x  -> case V.reifyConstraint @Show (x :& RNil) of
-        V.Compose (V.Dict y) :& RNil -> showsUnaryWith showsPrec "PJust" d y
+        V.Compose (V.Dict _) :& RNil -> showsUnaryWith showsPrec "PJust" d x
 
 type instance Elem Maybe = IJust
 type instance Prod Maybe = PMaybe
@@ -469,7 +469,7 @@ instance (V.ReifyConstraint Show f (S.Rights '[as])) => Show (PEither f as) wher
     showsPrec d = \case
       PLeft    -> showString "PNothing"
       PRight x -> case V.reifyConstraint @Show (x :& RNil) of
-        V.Compose (V.Dict y) :& RNil -> showsUnaryWith showsPrec "PRight" d y
+        V.Compose (V.Dict _) :& RNil -> showsUnaryWith showsPrec "PRight" d x
 
 instance Provable (TyPred (PEither Sing)) where
     prove = singProd