[project @ 2005-06-14 10:02:11 by tharris]

Assert on nested atomic blocks

diff --git a/ghc/rts/PrimOps.cmm b/ghc/rts/PrimOps.cmm
index 7b1c8aa..84b34d0 100644 (file)
--- a/ghc/rts/PrimOps.cmm
+++ b/ghc/rts/PrimOps.cmm
@@ -1181,6 +1181,7 @@ atomicallyzh_fast
 
   /* Start the memory transcation */
   old_trec = StgTSO_trec(CurrentTSO);
+  ASSERT(old_trec == NO_TREC);
   "ptr" new_trec = foreign "C" stmStartTransaction(BaseReg "ptr", old_trec "ptr");
   StgTSO_trec(CurrentTSO) = new_trec;