Make type patterns work

Author: Victorious3

src/typechecking.pr

@@ -389,6 +389,14 @@ export def == (this: &Pattern, other: &Pattern) -> bool {
         return false
     }
     switch this.kind {
+        case TypeKind::TYPE_DEF
+            if this.tpe and other.tpe {
+                return this.tpe == other.tpe
+            } else if this.name and other.name {
+                return true
+            } else {
+                assert
+            }
         case TypeKind::ARRAY, TypeKind::POINTER, TypeKind::REFERENCE, TypeKind::WEAK_REF
             return this.kw == other.kw and this.tpe == other.tpe
         case TypeKind::STATIC_ARRAY
@@ -451,7 +459,13 @@ export def generic_to_string(typeref: &TypeRef) -> Str {
 
 def generic_to_string(generic: &Pattern) -> Str {
     if generic.kind == TypeKind::TYPE_DEF {
-        return "type-def " + generic.name
+        if generic.tpe {
+            return "type-def<" + generic_to_string(generic.tpe) + ">"
+        } else if generic.name {
+            return "type-def " + generic.name
+        } else {
+            return "type-def<?>"
+        }
     } else if generic.kind == TypeKind::REFERENCE {
         return "&" + generic_to_string(generic.tpe) // FIXME *let kw
     } else if generic.kind == TypeKind::POINTER {
@@ -2341,7 +2355,13 @@ export def convert_type_score(a: &TypeRef, b: &Type, scpe: &scope::Scope, impl:
 
 export def convert_type_score(a: &Pattern, b: &Type, scpe: &scope::Scope, impl: bool = true) -> int {
     if a.kind == TypeKind::TYPE_DEF {
-        scope::create_type(scpe, parser::make_identifier(a.name), parser::ShareMarker::NONE, make_type_ref(b.id))
+        if a.tpe {
+            if convert_type_score(a.tpe, b, scpe, impl) > 0 {
+                return 1
+            } else { return -1 }
+        } else if a.name {
+            scope::create_type(scpe, parser::make_identifier(a.name), parser::ShareMarker::NONE, make_type_ref(b.id))
+        }
         return 1
     }