#5310: Validate fails due to overlapping pattern in StgCmmExpr
----------------------------------+-----------------------------------------
Reporter: daniel.is.fischer | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler
Version: 7.1 | Keywords:
Testcase: | Blockedby:
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: Building GHC failed
----------------------------------+-----------------------------------------
The failure due to `-Werror`:
{{{
compiler/codeGen/StgCmmExpr.hs:55:1:
Warning: Pattern match(es) are overlapped
In an equation for `cgExpr':
cgExpr (StgOpApp (StgPrimOp SeqOp) [StgVarArg a, _]
_res_ty) = ...
<no location info>:
Failing due to -Werror.
}}}
The special case for the new seq primop was below the general
{{{
cgExpr (StgOpApp op args ty) = cgOpApp op args ty
}}}
and thus would never have been reached.
I moved it above (currently validating) to fix that.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5310>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
