{-# LANGUAGE ScopedTypeVariables #-}

module Main (main) where

import Prelude hiding (catch)
import LIO
import LIO.TCB (ioTCB)
import LIO.DCLabel
import LIO.Concurrent
import Control.Exception (SomeException)


l,m,h :: DCLabel
l = "A" \/ "B" %% True
m = "M" %% True
h = "A" /\ "B" %% True

main =  do
  lr <- evalDC $ do
    lb <- label m (6 :: Int)
    f <- lFork (if doFail then l else m) $ do
      v <- unlabel lb
      return (3+v)
    catch (do r <- lWait f
              ioTCB . putStrLn $ "No exception: " ++ show r 
          ) (\(_::SomeException) -> ioTCB . putStrLn $ "Exception")
  print lr
    where doFail = not True