On Tue, 2007-07-31 at 10:31 -0700, Erick Tryzelaar wrote:
> I've got no idea how this could be implemented and typed though.
BTW2: you can do this:
typedef XY = { x:int; y:long; };
typedef XYZ = {x:int; y:long; z:float; };
fun f(a:XY) ...
var xyz = { x=1; y=2L; z = 3.0f; };
f (xyz:XY);
// ^------------ record coercion
This is subtyping .. the conversion just has to be explicit.
--
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net
-------------------------------------------------------------------------
This SF.net email is sponsored by: Splunk Inc.
Still grepping through log files to find problems? Stop.
Now Search log events and configuration files using AJAX and a browser.
Download your FREE copy of Splunk now >> http://get.splunk.com/
_______________________________________________
Felix-language mailing list
Felix-language@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/felix-language
