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 1145, Fri Mar 15 02:30:53 2002 UTC revision 1155, Wed Mar 20 20:52:51 2002 UTC
# Line 14  Line 14 
14    
15  ----------------------------------------------------------------------  ----------------------------------------------------------------------
16  Name: Matthias Blume  Name: Matthias Blume
17    Date: 2002/03/20 15:55:00 EST
18    Tag: blume-20020320-kmp
19    Description:
20    
21    Implemented Knuth-Morris-Pratt string matching in PreString and used
22    it for String.isSubstring, Substring.isSubstring, and
23    Substring.position.
24    
25    (Might need some stress-testing.  Simple examples worked fine.)
26    
27    ----------------------------------------------------------------------
28    Name: Matthias Blume
29    Date: 2002/03/19 16:37:00 EST
30    Tag: blume-20020319-witnesses
31    Description:
32    
33    Added a structure C.W and functions convert/Ptr.convert to ml-nlffi-lib.
34    
35    This implements a generic mechanism for changing constness qualifiers
36    anywhere within big C types without resorting to outright "casts".
37    (So far, functions such as C.rw/C.ro or C.Ptr.rw/C.Ptr.ro only let you
38    modify the constness at the outermost level.)
39    The implementation of "convert" is based on the idea of "witness"
40    values -- values that are not used by the operation but whose types
41    "testify" to their applicability.  On the implementation side, "convert"
42    is simply a projection (returning its second curried argument).  With
43    cross-module inlining, it should not result in any machine code being
44    generated.
45    
46    ----------------------------------------------------------------------
47    Name: Matthias Blume
48    Date: 2002/03/15 16:40:00 EST
49    Tag: blume-20020315-basis
50    Description:
51    
52    Provided (preliminary?) implementations for
53    
54      {String,Substring}.{concatWith,isSuffix,isSubstring}
55    
56    and
57    
58      Substring.full
59    
60    Those are in the Basis spec but they were missing in SML/NJ.
61    
62    ----------------------------------------------------------------------
63    Name: Matthias Blume
64  Date: 2002/03/14 21:30:00 EST  Date: 2002/03/14 21:30:00 EST
65  Tag: blume-20020314-controls  Tag: blume-20020314-controls
66  Description:  Description:

Legend:
Removed from v.1145  
changed lines
  Added in v.1155

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