Mon Mar 23 14:54:27 WET 2009 hpacheco@di.uminho.pt
* added warning for potential counter sharing problems
{
hunk ./GHood.cabal 2
-Version: 0.0.2
+Version: 0.0.3
hunk ./src/Debug/Observe.hs 431
-initUniq = writeIORef uniq 1
+initUniq = do
+ u <- readIORef uniq
+ when (u/=1) $ hPutStrLn stderr [_$_]
+ "Warning[Debug.Observe]: reinitializing event counter (may lead to invalid event log\n\
+ \ if 'runO'/'printO' encounters already partially observed structures)"
+ writeIORef uniq 1
hunk ./src/Debug/Observe.hs 459
--- * Global, initualizers, etc
+-- * Global, initializers, etc
hunk ./src/Debug/Observe.hs 761
- system $ "java -cp " ++ ghood ++ " GHood " ++ observeEventsLog
+ let call = "java -cp \"" ++ ghood ++ "\" GHood " ++ observeEventsLog
+ hPutStrLn stderr call [_$_]
+ system call
}