Make the ASSERT more informative
authorsimonpj@microsoft.com <unknown>
Tue, 13 Jan 2009 16:41:33 +0000 (16:41 +0000)
committersimonpj@microsoft.com <unknown>
Tue, 13 Jan 2009 16:41:33 +0000 (16:41 +0000)
compiler/codeGen/ClosureInfo.lhs

index bc7dfec..9598233 100644 (file)
@@ -260,7 +260,7 @@ mkLFReEntrant top fvs args arg_descr
 
 mkLFThunk :: Type -> TopLevelFlag -> [Var] -> UpdateFlag -> LambdaFormInfo
 mkLFThunk thunk_ty top fvs upd_flag
-  = ASSERT( not (isUpdatable upd_flag) || not (isUnLiftedType thunk_ty) )
+  = ASSERT2( not (isUpdatable upd_flag) || not (isUnLiftedType thunk_ty), ppr thunk_ty $$ ppr fvs )
     LFThunk top (null fvs) 
            (isUpdatable upd_flag)
            NonStandardThunk