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 <[email protected]> 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 <[email protected]> >--------------------------------------------------------------- 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) _______________________________________________ Cvs-libraries mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-libraries
