module Language.Java.Paragon.TypeCheck.Constraints where

import Language.Java.Paragon.TypeCheck.Policy
import Language.Java.Paragon.TypeCheck.Locks
import Language.Java.Paragon.TypeCheck.Monad.TcCont

data Constraint = LRT TcPolicyRec TcPolicy TcPolicy
  deriving Show

solve :: [Constraint] -> TcCont r ()
solve cs = liftIO $ mapM_ print cs -- DEBUG