X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Fstranal%2FWorkWrap.lhs;fp=ghc%2Fcompiler%2Fstranal%2FWorkWrap.lhs;h=03f4e56ceaeb1a3db9a19e22cbef0de1fb157416;hb=9e93335020e64a811dbbb223e1727c76933a93ae;hp=159dd8f95129c5e80e6ebc7aa0bdb6bed73610a6;hpb=dccacbf9dd82d82657f4885a91d3deb57ce22f53;p=ghc-hetmet.git

diff --git a/ghc/compiler/stranal/WorkWrap.lhs b/ghc/compiler/stranal/WorkWrap.lhs
index 159dd8f..03f4e56 100644
--- a/ghc/compiler/stranal/WorkWrap.lhs
+++ b/ghc/compiler/stranal/WorkWrap.lhs
@@ -28,6 +28,7 @@ import BasicTypes	( RecFlag(..), isNonRec, Activation(..) )
 import Maybes		( orElse )
 import CmdLineOpts
 import WwLib
+import Util		( lengthIs )
 import Outputable
 \end{code}
 
@@ -226,7 +227,7 @@ tryWW is_rec fn_id rhs
 
 ---------------------
 splitFun fn_id fn_info wrap_dmds res_info inline_prag rhs
-  = WARN( arity /= length wrap_dmds, ppr fn_id <+> (ppr arity $$ ppr wrap_dmds $$ ppr res_info) )
+  = WARN( not (wrap_dmds `lengthIs` arity), ppr fn_id <+> (ppr arity $$ ppr wrap_dmds $$ ppr res_info) )
 	-- The arity should match the signature
     mkWwBodies fun_ty wrap_dmds res_info one_shots 	`thenUs` \ (work_demands, wrap_fn, work_fn) ->
     getUniqueUs						`thenUs` \ work_uniq ->