On 25/05/2009, at 12:58 PM, john skaller wrote:
>
> On 21/05/2009, at 12:26 AM, john skaller wrote:
>
>> There is a problem in Felix with constraint propagation .. well the
>> problem is that constraints are NOT propagated.
>
> I have no implemented some basic constraint propagation.
>
> The routine DOES not handle general constraints. It also DOES NOT
> handle out of order typematches.
Out of order typematches which could have derived
from typesets of instances of non-polymorphic types
are now handled. For example:
fun g[v in long || int] (a:v) : string = {
fun f[u in int || double || long] (x:u)=> "int";
return f a;
}
println$ g 1;
Now works.
This is of course a fairly special case, but it is enough to
handle constraints based on sets of base C arithmetic
types.
--
john skaller
skal...@users.sourceforge.net
------------------------------------------------------------------------------
Register Now for Creativity and Technology (CaT), June 3rd, NYC. CaT
is a gathering of tech-side developers & brand creativity professionals. Meet
the minds behind Google Creative Lab, Visual Complexity, Processing, &
iPhoneDevCamp asthey present alongside digital heavyweights like Barbarian
Group, R/GA, & Big Spaceship. http://www.creativitycat.com
_______________________________________________
Felix-language mailing list
Felix-language@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/felix-language
