diff options
Diffstat (limited to 'src/interp/i-funsel.boot')
| -rw-r--r-- | src/interp/i-funsel.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/i-funsel.boot b/src/interp/i-funsel.boot index a09c86d4..9b1bd614 100644 --- a/src/interp/i-funsel.boot +++ b/src/interp/i-funsel.boot @@ -1250,7 +1250,7 @@ coerceTypeArgs(t1, t2, SL) == -- if needed. t1 isnt [con1, :args1] or t2 isnt [con2, :args2] => t2 con1 ~= con2 => t2 - coSig := rest getDualSignatureFromDB first t1 + coSig := rest getDualSignature first t1 and/coSig => t2 csub1 := constructSubst t1 csub2 := constructSubst t2 |