[project @ 1998-07-27 12:38:33 by simonm]

Add a test for black hole behaviour, where a computation is shared
between threads.

diff --git a/ghc/tests/concurrent/should_run/conc006.hs b/ghc/tests/concurrent/should_run/conc006.hs
new file mode 100644 (file)
index 0000000..63008e1
--- /dev/null
+++ b/ghc/tests/concurrent/should_run/conc006.hs
@@ -0,0 +1,23 @@
+module Main where
+
+import Concurrent
+
+-- This test hopefully exercises the black hole code.  The main thread
+-- forks off another thread and starts on a large computation.  
+-- The child thread attempts to get the result of the same large
+-- computation (and should get blocked doing so, because the parent
+-- won't have evaluated it yet).  When the result is available, the
+-- child passes it back to the parent who prints it out.
+
+test = sum [1..10000]
+
+main = do
+  x <- newEmptyMVar
+  forkIO (if test > 0 
+               then putMVar x test
+               else error "proc"
+         )
+  if test > 0  -- evaluate test
+       then do result <- takeMVar x
+               print result
+       else error "main"

diff --git a/ghc/tests/concurrent/should_run/conc006.stdout b/ghc/tests/concurrent/should_run/conc006.stdout
new file mode 100644 (file)
index 0000000..b9d5693
--- /dev/null
+++ b/ghc/tests/concurrent/should_run/conc006.stdout
@@ -0,0 +1 @@
+50005000