Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/HISTORY
ViewVC logotype

Diff of /sml/trunk/HISTORY

Parent Directory Parent Directory | Revision Log Revision Log | View Patch 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:

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