On Fri, Jun 27, 2014 at 6:38 PM, Matt Rice <[email protected]> wrote:
> On Tue, Jun 24, 2014 at 10:37 AM, Jonathan S. Shapiro <[email protected]>
> wrote:
>> I'd like to open a discussion on something I am weak about: the interaction
>> between subtyping, inference, and termination.
>
> I'm not sure this is helpful at all, but its something i've noticed
> recently (and been meaning to investigate more thoroughly)... In SML
> there appears to be some interplay between flex records
It actually seems like there is no flex record shenanigans going on here,
a way to restore this to failure appears to be calling getFoo without
calling the function it returns, thus I think its only useful in
exactly ways that are interchangable with the #field variable syntax.
fun getFoo(field) = fn record => field record;
let val x = {a=1,b=2};
val y = getFoo(#a);
in () end
Error: unresolved flex record (hidden)
type: {a:'Y; 'Z}
_______________________________________________
bitc-dev mailing list
[email protected]
http://www.coyotos.org/mailman/listinfo/bitc-dev
