# HG changeset patch
# User wenzelm
# Date 1545416273 -3600
# Node ID 22e958b76bf64137fe52f08fe5ddecf36347181e
# Parent  c434ca819aea083b840f189191ef88b8da404999
more robust: suitable defaults for unmanaged threads;

diff -r c434ca819aea -r 22e958b76bf6 src/Tools/Haskell/Haskell.thy
--- a/src/Tools/Haskell/Haskell.thy	Fri Dec 21 17:02:33 2018 +0100
+++ b/src/Tools/Haskell/Haskell.thy	Fri Dec 21 19:17:53 2018 +0100
@@ -1757,14 +1757,13 @@
 
 {- thread properties -}
 
-my_info :: IO Info
+my_info :: IO (Maybe Info)
 my_info = do
   id <- Concurrent.myThreadId
-  info <- get_info id
-  return $ fromJust info
+  get_info id
 
 properties :: IO Properties.T
-properties = props <$> my_info
+properties = maybe [] props <$> my_info
 
 change_properties :: (Properties.T -> Properties.T) -> IO ()
 change_properties f = do
@@ -1775,7 +1774,7 @@
 {- stop -}
 
 is_stopped :: IO Bool
-is_stopped = stopped <$> my_info
+is_stopped = maybe False stopped <$> my_info
 
 expose_stopped :: IO ()
 expose_stopped = do
@@ -1788,8 +1787,8 @@
 
 {- UUID -}
 
-my_uuid :: IO UUID.T
-my_uuid = uuid <$> my_info
+my_uuid :: IO (Maybe UUID.T)
+my_uuid = fmap uuid <$> my_info
 
 stop_uuid :: UUID.T -> IO ()
 stop_uuid uuid = do