main = do putStrLn "Test lexer and parser:"
          runTestTT $ TestList testList
          putStrLn "\nTest infer:"
          runTestTT $ TestList inferList
main = do putStrLn "Test lexer and parser:"
          runTestTT $ TestList testList
          putStrLn "\nTest infer:"
          runTestTT $ TestList inferList
main = do putStrLn "Test lexer and parser:"
          runTestTT $ TestList testList
          putStrLn "\nTest infer:"
          runTestTT $ TestList inferList