diff options
| author | Zahary Karadjov <zahary@gmail.com> | 2013-12-30 19:11:42 +0200 |
|---|---|---|
| committer | Zahary Karadjov <zahary@gmail.com> | 2013-12-30 19:15:41 +0200 |
| commit | 754e2ef1db61610cba1b96752fa37c6e923e2808 (patch) | |
| tree | f2d05521458c0a9494160038d104ff283ace1c58 /compiler/sigmatch.nim | |
| parent | af7c3251cd2b349e9d423a0c5871f37703122dfd (diff) | |
| download | Nim-754e2ef1db61610cba1b96752fa37c6e923e2808.tar.gz | |
migrate the static param handling to ReplaceTypeVars; fix tgenericvariant
Diffstat (limited to 'compiler/sigmatch.nim')
| -rw-r--r-- | compiler/sigmatch.nim | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/compiler/sigmatch.nim b/compiler/sigmatch.nim index 13546eae2..9a00a308b 100644 --- a/compiler/sigmatch.nim +++ b/compiler/sigmatch.nim @@ -649,8 +649,7 @@ proc typeRel(c: var TCandidate, f, aOrig: PType, doBind = true): TTypeRelation = if a.kind == tyEmpty: result = isEqual of tyGenericInst: - if a.kind == tyGenericInst: - if a.base != f.base: return isNone + if a.kind == tyGenericInst and a.base == f.base: for i in 1 .. f.sonsLen-2: result = typeRel(c, f.sons[i], a.sons[i]) if result == isNone: return |