Skip to content

Validate fails due to overlapping pattern in StgCmmExpr

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.

Trac metadata
Trac field Value
Version 7.1
Type Bug
TypeOfFailure OtherFailure
Priority normal
Resolution Unresolved
Component Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information