On Fri, Nov 26, 2010 at 12:22 AM, Graydon Hoare <[email protected]> wrote:
> On 10-11-25 02:47 PM, Sebastian Sylvan wrote: > >> On Thu, Nov 25, 2010 at 6:54 PM, Graydon Hoare<[email protected]> >> wrote: >> >> On 10-11-25 08:50 AM, Igor Bukanov wrote: >>> >>>> My preference is the option 1. >>>> >>> >>> Aw man! We were almost drifting towards a consensus. Nuts! >>> >>> >> More dissenting opinions then! >> >> How about 2, but with a tweak to the type checker so it only unifies the >> types of the two arms if it *really* needs to? >> > > I'm reasonably sure this means "option 4". Can you read it carefully and > clarify exactly how what you're asking for differs? > > (Trying to minimize live options here) > > > Yes, sorry, must've misread proposal 4 the first time through. I'm in favour of proposal 4 then. -- Sebastian Sylvan
_______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
