compsite typclass

nim-lang · Nov 27, 2024 · 71402c3 · 71402c3
1 parent 869feb0
commit 71402c3
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 1 deletion.
diff --git a/compiler/concepts.nim b/compiler/concepts.nim
@@ -187,7 +187,8 @@ proc matchType(c: PContext; f, a: PType; m: var MatchCon): bool =
       ak = last(a)
     result = matchType(c, last(f), ak, m)
   of tyCompositeTypeClass:
-    result = matchType(c, last(f), a, m)
+    var ak = if a.kind == tyCompositeTypeClass: a.last else: a
+    result = matchType(c, last(f), ak, m)
   of tyArray, tyTuple, tyVarargs, tyOpenArray, tyRange, tySequence, tyRef, tyPtr,
      tyGenericInst:
     # ^ XXX Rewrite this logic, it's more complex than it needs to be.

diff --git a/tests/concepts/tconceptsv2.nim b/tests/concepts/tconceptsv2.nim
@@ -77,3 +77,17 @@ block:
   proc p(a: Buffer)=discard
   var buffer = ArrayBuffer[5]()
   p(buffer)
+
+block: # composite typeclass matching
+  type
+    A[T] = object
+    Buffer = concept
+      proc put(s: Self, i: A)
+    BufferImpl = object
+    WritableImpl = object
+
+  proc launch(a: var Buffer)=discard
+  proc put(x: BufferImpl, i: A)=discard
+
+  var a = BufferImpl()
+  launch(a)