Eliminate some compiler warnings about unused variables.
authorNorman Ramsey <nr@cs.tufts.edu>
Thu, 22 Apr 2010 01:28:34 +0000 (21:28 -0400)
committerNorman Ramsey <nr@cs.tufts.edu>
Thu, 22 Apr 2010 01:28:34 +0000 (21:28 -0400)
src/Compiler/Hoopl/Graph.hs
src/Compiler/Hoopl/Pointed.hs
src/Compiler/Hoopl/XUtil.hs

index d22cc65..2e960bf 100644 (file)
@@ -41,7 +41,7 @@ data MaybeO ex t where
   NothingO ::      MaybeO C t
 
 instance Functor (MaybeO ex) where
-  fmap f NothingO = NothingO
+  fmap _ NothingO = NothingO
   fmap f (JustO a) = JustO (f a)
 
 -------------------------------
index 5e0b3fd..e1191dd 100644 (file)
@@ -35,9 +35,9 @@ addPoints' name joinx = DataflowLattice name Bot join False
   where -- careful: order of cases matters for ChangeFlag
         join :: JoinFun (Pointed t C a)
         join _ (OldFact f)            (NewFact Bot) = (NoChange, f)
-        join _ (OldFact Top)          (NewFact f)   = (NoChange, Top)
+        join _ (OldFact Top)          (NewFact _)   = (NoChange, Top)
         join _ (OldFact Bot)          (NewFact f)   = (SomeChange, f)
-        join _ (OldFact f)            (NewFact Top) = (SomeChange, Top)
+        join _ (OldFact _)            (NewFact Top) = (SomeChange, Top)
         join l (OldFact (PElem old)) (NewFact (PElem new))
            = joinx l (OldFact old) (NewFact new)
 
@@ -62,8 +62,8 @@ addTop lattice = lattice' { fact_do_logging = fact_do_logging lattice }
 addTop' name bot joinx = DataflowLattice name (PElem bot) join False
   where -- careful: order of cases matters for ChangeFlag
         join :: JoinFun (Pointed C O a)
-        join _ (OldFact Top)          (NewFact f)   = (NoChange, Top)
-        join _ (OldFact f)            (NewFact Top) = (SomeChange, Top)
+        join _ (OldFact Top)          (NewFact _)   = (NoChange, Top)
+        join _ (OldFact _)            (NewFact Top) = (SomeChange, Top)
         join l (OldFact (PElem old)) (NewFact (PElem new))
            = joinx l (OldFact old) (NewFact new)
 
index ad2171d..c8f44bb 100644 (file)
@@ -60,8 +60,8 @@ addTop name join = addTop' name join'
 
 addTop' name joinx = DataflowLattice name Top join False
   where  -- careful: order of cases matters for ChangeFlag
-        join _ (OldFact Top)          (NewFact f)   = (NoChange, Top)
-        join _ (OldFact f)            (NewFact Top) = (SomeChange, Top)
+        join _ (OldFact Top)          (NewFact _)   = (NoChange, Top)
+        join _ (OldFact _)            (NewFact Top) = (SomeChange, Top)
         join l (OldFact (NonTop old)) (NewFact (NonTop new))
            = joinx l (OldFact old) (NewFact new)