Version française
Home     About     Download     Resources     Contact us    
Browse thread
Records misbehaviour
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Andreas Rossberg <rossberg@p...>
Subject: Re: [Caml-list] Records misbehaviour
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