[fix] TypeDefinition tests

test/Ast/Parser/TypeDefinitionSpec.hs

@@ -2,6 +2,7 @@ module Ast.Parser.TypeDefinitionSpec (spec) where
 
 import qualified Ast.Parser.Env as E
 import qualified Ast.Parser.TypeDefinition as P
+import qualified Ast.Types as AT
 import qualified Control.Monad.State as S
 import Test.Hspec
 import qualified Text.Megaparsec as M
@@ -13,18 +14,18 @@ spec = do
 
   describe "Struct Types" $ do
     it "parses struct { name -> int }" $ do
-      parseWithEnv "test :: struct { name -> int }" `shouldBe` Right ()
+      parseWithEnv "test :: struct { name -> int }" `shouldBe` Right (AT.TStruct {AT.structName = "test", AT.fields = [("name", AT.TInt 32)]})
 
     it "parses struct with multiple fields" $ do
-      parseWithEnv "vec :: struct { x -> float y -> float }" `shouldBe` Right ()
+      parseWithEnv "vec :: struct { x -> float y -> float }" `shouldBe` Right (AT.TStruct {AT.structName = "vec", AT.fields = [("x", AT.TFloat), ("y", AT.TFloat)]})
 
   describe "Union Types" $ do
     it "parses union { name -> int }" $ do
-      parseWithEnv "test :: union { name -> int }" `shouldBe` Right ()
+      parseWithEnv "test :: union { name -> int }" `shouldBe` Right (AT.TUnion {AT.unionName = "test", AT.variants = [("name", AT.TInt 32)]})
 
     it "parses union with multiple fields" $ do
-      parseWithEnv "vec :: union { x -> float y -> float }" `shouldBe` Right ()
+      parseWithEnv "vec :: union { x -> float y -> float }" `shouldBe` Right (AT.TUnion {AT.unionName = "vec", AT.variants = [("x", AT.TFloat), ("y", AT.TFloat)]})
 
   describe "Typedefs" $ do
     it "parses typedef alias" $ do
-      parseWithEnv "Alias :: int" `shouldBe` Right ()
+      parseWithEnv "Alias :: int" `shouldBe` Right (AT.TTypedef "Alias" (AT.TInt 32))