Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
RE: [Caml-list] Type safe affectation ?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Gregory Morrisett <jgm@C...>
Subject: RE: [Caml-list] Type safe affectation ?
> > Perhaps, but it's easy for a compiler to offer support
> > for "tail-allocation"  

> Does this also solve the construction of structure with loop ? (the 
> other case were affectation is needed ? 

No, not really.  The TAL approach would handle this.  
But then so would using an option ref.  I'd hate to
see the external language changed with that kind of


To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: