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 |