Make type recursion is possible again.

Author: gdotdesign

spec/examples/recursion

@@ -83,3 +83,15 @@ module Test {
     helper(n, 1)
   }
 }
+-------------------------------------------------------------------------------
+type Test {
+  fields: Array(Test)
+}
+
+component Main {
+  fun render : Html {
+    let test = { fields: [] }
+
+    <div></div>
+  }
+}

src/type_checker.cr

@@ -269,6 +269,8 @@ module Mint
               if type = node.type
                 resolve type
               end
+            when Ast::TypeDefinition
+              static_type_signature(node)
             end ||
               error! :recursion do
                 snippet "Recursion is only supported in specific cases " \

src/type_checker/static_type_signature.cr

@@ -54,6 +54,11 @@ module Mint
         resolve node
       when Ast::HtmlElement
         Type.new("Dom.Element")
+      when Ast::TypeDefinition
+        parameters =
+          resolve node.parameters
+
+        Comparer.normalize(Type.new(node.name.value, parameters))
       else
         Variable.new("a")
       end