Diff of /sml/trunk/HISTORY

Parent Directory | Revision Log | Patch

	revision 1151, Mon Mar 18 18:41:31 2002 UTC	revision 1152, Tue Mar 19 21:36:30 2002 UTC
#	Line 14	Line 14
14
15	----------------------------------------------------------------------	----------------------------------------------------------------------
16	Name: Matthias Blume	Name: Matthias Blume
17		Date: 2002/03/19 16:37:00 EST
18		Tag: blume-20020319-witnesses
19		Description:
20
21		Added a structure C.W and functions convert/Ptr.convert to ml-nlffi-lib.
22
23		This implements a generic mechanism for changing constness qualifiers
24		anywhere within big C types without resorting to outright "casts".
25		(So far, functions such as C.rw/C.ro or C.Ptr.rw/C.Ptr.ro only let you
26		modify the constness at the outermost level.)
27		The implementation of "convert" is based on the idea of "witness"
28		values -- values that are not used by the operation but whose types
29		"testify" to their applicability.  On the implementation side, "convert"
30		is simply a projection (returning its second curried argument).  With
31		cross-module inlining, it should not result in any machine code being
32		generated.
33
34		----------------------------------------------------------------------
35		Name: Matthias Blume
36	Date: 2002/03/15 16:40:00 EST	Date: 2002/03/15 16:40:00 EST
37	Tag: blume-20020315-basis	Tag: blume-20020315-basis
38	Description:	Description:

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.1151   changed lines   Added in v.1152

---

root@smlnj-gforge.cs.uchicago.edu	ViewVC Help
Powered by ViewVC 1.0.0