[commit: ghc] wip/gadtpm: Make use of field `pm_lit_not` (to avoid not-used warning) (f8cd796)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/gadtpm
Link       : http://ghc.haskell.org/trac/ghc/changeset/f8cd796f43f87e1c0c438d73768f8e51fbcde5fd/ghc

>---------------------------------------------------------------

commit f8cd796f43f87e1c0c438d73768f8e51fbcde5fd
Author: George Karachalias <george.karachalias at gmail.com>
Date:   Tue Dec 29 15:05:42 2015 +0100

    Make use of field `pm_lit_not` (to avoid not-used warning)


>---------------------------------------------------------------

f8cd796f43f87e1c0c438d73768f8e51fbcde5fd
 compiler/deSugar/Check.hs | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/compiler/deSugar/Check.hs b/compiler/deSugar/Check.hs
index 3f5cfc0..78a8eaa 100644
--- a/compiler/deSugar/Check.hs
+++ b/compiler/deSugar/Check.hs
@@ -1101,7 +1101,8 @@ cMatcher us gvsa (p@(PmLit l)) ps (PmVar x) vsa
     cs      = [TmConstraint (PmExprVar x) (PmExprLit l)]
 
 -- CLitNLit
-cMatcher us gvsa (p@(PmLit l)) ps (PmNLit x lits) vsa
+cMatcher us gvsa (p@(PmLit l)) ps
+                 (PmNLit { pm_lit_id = x, pm_lit_not = lits }) vsa
   | all (not . eqPmLit l) lits
   = cMatcher us gvsa p ps lit_abs (mkConstraint cs vsa)
   | otherwise = Empty
@@ -1179,7 +1180,8 @@ uMatcher us gvsa (p@(PmLit l)) ps (PmVar x) vsa
                                   (PmExprEq (PmExprVar x) (PmExprLit l)) ]
 
 -- ULitNLit
-uMatcher us gvsa (p@(PmLit l)) ps (va@(PmNLit x lits)) vsa
+uMatcher us gvsa (p@(PmLit l)) ps
+                 (va@(PmNLit { pm_lit_id = x, pm_lit_not = lits })) vsa
   | all (not . eqPmLit l) lits
   = mkUnion (uMatcher us gvsa p ps (PmLit l) (mkConstraint match_cs vsa))
             (non_match_cs `mkConstraint` (PmNLit x (l:lits) `mkCons` vsa))
@@ -1255,7 +1257,8 @@ dMatcher us gvsa (PmLit l) ps (PmVar x) vsa
     cs = [TmConstraint (PmExprVar x) (PmExprLit l)]
 
 -- DLitNLit
-dMatcher us gvsa (p@(PmLit l)) ps (PmNLit x lits) vsa
+dMatcher us gvsa (p@(PmLit l)) ps
+                 (PmNLit { pm_lit_id = x, pm_lit_not = lits }) vsa
   | all (not . eqPmLit l) lits
   = dMatcher us gvsa p ps lit_abs (mkConstraint cs vsa)
   | otherwise = Empty