module Main (main) where

import qualified Data.Map as M

import AST
import Types
 

main :: IO ()
main = do
    let cont = [("a", VarBind TyBool), ("b", VarBind TyBool)]::Context
        r = TmRecord $ M.fromList [("a", TmTrue), ("b", TmTrue)]
        s = TmRecord $ M.fromList [("a", TmTrue), ("b", TmFalse)]
    print $ subtype (typeOf cont r) (typeOf cont s)





