change from Edward Yang to fix warning
authorNorman Ramsey <nr@cs.tufts.edu>
Mon, 18 Jul 2011 18:33:34 +0000 (14:33 -0400)
committerNorman Ramsey <nr@cs.tufts.edu>
Mon, 18 Jul 2011 18:33:34 +0000 (14:33 -0400)
CHANGES
hoopl.cabal
src/Compiler/Hoopl/XUtil.hs

diff --git a/CHANGES b/CHANGES
index 3c563d5..6429062 100644 (file)
--- a/CHANGES
+++ b/CHANGES
@@ -1,3 +1,6 @@
+3.8.7.1
+  Eliminate warning about nonexhaustive pattern match (thanks Edward Yang)
+
 3.8.7.0
   Works with GHC 7 (thanks Edward Yang)
   cabal sdist now sort of works (and is added to validate)
index 7466178..1991e3f 100644 (file)
@@ -1,5 +1,5 @@
 Name:                hoopl
-Version:             3.8.7.0
+Version:             3.8.7.1
 -- version 3.8.6.0 is the version that goes with the camera-ready Haskell'10 paper
 -- version 3.8.7.0 works with GHC 7
 Description:         Higher-order optimization library
index 43bae47..aeb969c 100644 (file)
@@ -305,7 +305,7 @@ blockToNodeList'' = finish . unList . scottFoldBlock (ScottBlock f m l cat)
     where f n = NL (JustC n, id, NothingC)
           m n = NL (NothingC, (n:), NothingC)
           l n = NL (NothingC, id, JustC n)
-          cat :: forall n t1 t2 t3. NodeList n t1 t2 -> NodeList n t2 t3 -> NodeList n t1 t3
+          cat :: forall n t1 t3. NodeList n t1 O -> NodeList n O t3 -> NodeList n t1 t3
           NL (e, ms, NothingC) `cat` NL (NothingC, ms', x) = NL (e, ms . ms', x)
           finish :: forall t t1 t2 a. (t, [a] -> t1, t2) -> (t, t1, t2)
           finish (e, ms, x) = (e, ms [], x)