[M3devel] another longint variant

hendrik at topoi.pooq.com hendrik at topoi.pooq.com
Sun Jan 10 04:07:25 CET 2010


On Sat, Jan 09, 2010 at 07:21:38PM -0500, Tony Hosking wrote:
> On 9 Jan 2010, at 19:15, Jay K wrote:
> 
> > Also, I would propose that AddExpr etc. could check if the types are assignable, and then allow the add, etc;
> > However there is still the matter of chosing the return type, so maybe have to just do the complete check in each
> > FooExpr.m3 file, not just delegate to IsAssignable;
> > Possibly the return type could be "calculated", like as being the "larger" type in most cases,
> > the "smaller" in a few. That way, e.g. if we add a third yet larger integer type, the code would just work;
> 
> It is a bit of a stretch that we've even added LONGINT.  So, don't get 
> carried away thinking there'll be more.

There will be more, sooner or later.  Let's design for more, even if we 
don't implement it all right away.

-- hendrik




More information about the M3devel mailing list