Lukasz Stafiniak wrote:
> While I haven't encounter this in my programming, it popped out in
> another thread and I think something might be done about it:
> 
> #type t1 = {fst:int;snd:int};; 
> #let p1 = {fst=1; snd=2};; 
> #type t2 = {snd:int};; 
> #{p1 with snd=4};; 
> - : t2 = {snd = 4};; 

I guess this is just an instance of the following:

# type t = {a:int};;
type t = { a : int; }
# {"hi" with a=5};;
- : t = {a = 5}

-- 
Andreas Rossberg, rossberg@ps.uni-sb.de

Let's get rid of those possible thingies!  -- TB