Now for the first sleeping dragon.
What is the difference, if any, between:
union rolist 'a is
readonly cons { car: 'a; cdr: rolist 'a }
nil;
def rl : rolist 'a;
and
union list 'a is
cons { car: 'a; cdr: list 'a; }
nil
def rl : readonly list 'a;
That is: how are the two definitions of /rl/ different, behaviorally?
Hint: it has nothing to do with nil, since lacking any fields nil is
inherently readonly.
_______________________________________________
bitc-dev mailing list
[email protected]
http://www.coyotos.org/mailman/listinfo/bitc-dev
