module Latte.FrontEnd.TypeCheckSpec (main, spec) where

import Test.Hspec

import Latte.Lang
import Latte.FrontEnd

main :: IO ()
main = hspec spec

spec :: Spec
spec = do
	describe "Basic" $ do
		it "No function" $ do
			(runFeTc $ Program []) >>= (`shouldBe` (Right ((), initialFeTcState)))
