[commit: hoopl] master: Make local signature more restrictive, eliminates incomplete pattern match failure. (9ac68e6)

[Edward Z. Yang]

Repository : ssh://darcs.haskell.org//srv/darcs/packages/hoopl

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/9ac68e6362296420ddb4cf8cd0c9f69322b6daca

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

commit 9ac68e6362296420ddb4cf8cd0c9f69322b6daca
Author: Edward Z. Yang <ezyang at mit.edu>
Date:   Wed Mar 30 12:35:57 2011 +0100

    Make local signature more restrictive, eliminates incomplete pattern match failure.
    
    Signed-off-by: Edward Z. Yang <ezyang at mit.edu>

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

 src/Compiler/Hoopl/XUtil.hs |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/src/Compiler/Hoopl/XUtil.hs b/src/Compiler/Hoopl/XUtil.hs
index 43bae47..aeb969c 100644
--- a/src/Compiler/Hoopl/XUtil.hs
+++ b/src/Compiler/Hoopl/XUtil.hs
@@ -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)