module ExampleRefsT where 

import LIO.LIORef

import DCLabel.PrettyShow
import LIO.DCLabel 
import LIO.TCB
import Text.PrettyPrint.HughesPJ

import ExampleRefsU (computation)

public :: LIO DCLabel () (LIORef DCLabel String)
public = newLIORef lbot "PublicData"

secret :: LIO DCLabel () (LIORef DCLabel String)
secret = newLIORef ltop "SecretData"

execute = do (result, label) <- evalLIO (computation public secret) () 
             putStrLn $ "The result is: " ++ show result
             putStrLn $ "With the label: " ++ (render (pShow label))