diff options
Diffstat (limited to 'compiler/concepts.nim')
| -rw-r--r-- | compiler/concepts.nim | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/concepts.nim b/compiler/concepts.nim index 220c7e141..d48bacdc5 100644 --- a/compiler/concepts.nim +++ b/compiler/concepts.nim @@ -311,7 +311,7 @@ proc conceptMatchNode(c: PContext; n: PNode; m: var MatchCon): bool = proc conceptMatch*(c: PContext; concpt, arg: PType; bindings: var TypeMapping; invocation: PType): bool = ## Entry point from sigmatch. 'concpt' is the concept we try to match (here still a PType but - ## we extract its AST via 'concpt.n.lastSon'). 'arg' is the type that might fullfill the + ## we extract its AST via 'concpt.n.lastSon'). 'arg' is the type that might fulfill the ## concept's requirements. If so, we return true and fill the 'bindings' with pairs of ## (typeVar, instance) pairs. ('typeVar' is usually simply written as a generic 'T'.) ## 'invocation' can be nil for atomic concepts. For non-atomic concepts, it contains the |