Version française
Home     About     Download     Resources     Contact us    

The Caml Hump: patch_record

patch_record

The patch gives a record scoping rule to labels, when accessing (r.l) or modifying a field in a record (r.l <- e); there must be enough type information to know the type of the record.
Homepage ]
Author:Alain Frisch.
Last modification date:18-Jan-2002
Development status:Stable
Topic: Software development :: Language extensions
Homepage:http://www.eleves.ens.fr/home/frisch/soft#patches