- // @LDV profiling
- // Even thought the info type of w changes, we DO NOT perform any
- // LDV profiling because at this moment, LDV profiling must already
- // have been terminated. See the comments in shutdownHaskell().
- // At any rate, there is no need to call LDV_recordDead() because
- // weak pointers are inherently used.
-#ifdef PROFILING
- ASSERT(ldvTime == 0); // LDV profiling is turned off.
-#endif