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/branches/primop-branch-3/NOTES/HISTORY
ViewVC logotype

Diff of /sml/branches/primop-branch-3/NOTES/HISTORY

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1020, Wed Jan 16 19:25:17 2002 UTC revision 1021, Wed Jan 16 20:33:57 2002 UTC
# Line 12  Line 12 
12  Tag: <post-commit CVS tag>  Tag: <post-commit CVS tag>
13  Description:  Description:
14  ----------------------------------------------------------------------  ----------------------------------------------------------------------
15    Name: Matthias Blume
16    Date: 2002/01/16
17    Tag: blume-20020116-ffifiddle
18    Description:
19    
20    More fiddling with the FFI interface:
21    
22     - Make constness 'c instead of rw wherever possible.  This eliminates
23       the need for certain explicit coercions.  (However, due to ML's
24       value polymorphism, there will still be many cases where explicit
25       coercions are necessary.  Phantom types are not the whole answer
26       to modeling a subtyping relationship in ML.)
27    
28     - ro/rw coersions for pointers added.  (Avoids the detour through */&.)
29    
30     - "printf" test example added to src/ml-nlffi-lib/Tests.  (Demonstrates
31       clumsy workaround for varargs problem.)
32    
33    ----------------------------------------------------------------------
34  Name: Lal George  Name: Lal George
35  Date: 2002/01/15  Date: 2002/01/15
36  Tag: <none>  Tag: <none>

Legend:
Removed from v.1020  
changed lines
  Added in v.1021

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