From: NeilBrown <neil@brown.name>
Date: Fri, 17 Dec 2021 04:20:54 +0000 (+1100)
Subject: oceani: propagate_type should return the found type, not what it was compatible with
X-Git-Url: https://ocean-lang.org/code/?a=commitdiff_plain;h=a90cecd0016cf35d400d6de895f1b2aa6c5ac0dd;hp=a90cecd0016cf35d400d6de895f1b2aa6c5ac0dd;p=ocean

oceani: propagate_type should return the found type, not what it was compatible with

If the type we have is different from the type expected, but they are
compatible, propagate_type() should return the type that we have.
Otherwise we lose information - which may later be useful.

Signed-off-by: NeilBrown <neil@brown.name>
---