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/NOTES/HISTORY
ViewVC logotype

Diff of /sml/trunk/NOTES/HISTORY

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

revision 1662, Sun Oct 24 17:56:50 2004 UTC revision 1716, Wed Nov 24 20:48:51 2004 UTC
# Line 13  Line 13 
13  Description:  Description:
14    
15  ----------------------------------------------------------------------  ----------------------------------------------------------------------
16    Name: Matthias Blume (blume (at) tti - c (dot) org)
17    Date: 2004/11/24 14:30:00 CST
18    Tag: blume-20041124-position
19    Description:
20    
21    The compiler can now be compiled in a mode that makes structure Position
22    equal to Int64.  The default, however, is unchanged (Position = Int31)
23    for the time being.
24    
25    To enable 64-bit positions, use the following procedure:
26    
27    1. Start sml
28    2. Autoload $smlnj/cmb.cm (if not already autoloaded)
29    3. Type
30          #set (CMB.symval "USE_64_BIT_POSITIONS") (SOME 1);
31    4. Run CMB.make() as usual.
32    
33    This is barely tested.  The only test so far was a little SML program
34    counting the number of characters in an 8-gigabyte file by
35    reading it character-by-character.  That test was successful.
36    
37    In support of 64-bit positions, a number of new functions have been
38    added to the runtime system.
39    
40    ----------------------------------------------------------------------
41    Name: Matthias Blume (blume (at) tti - c (dot) org)
42    Date: 2004/11/23 14:45:00 CST
43    Tag: blume-20041123-useFile
44    Description:
45    
46    Fixed a problem with unhelpful error messages related to problems with
47    .cm- or .sml files that appear as part of the sml command line.
48    
49    ----------------------------------------------------------------------
50    Name: Matthias Blume (blume (at) tti - c (dot) org)
51    Date: 2004/11/18 15:40:00 CST
52    Tag: Release_110_51
53    Description:
54    
55    New working version (110.51).  NEW BOOTFILES!
56    
57    ----------------------------------------------------------------------
58    Name: Matthias Blume (blume (at) tti - c (dot) org)
59    Date: 2004/11/18 15:35:00 CST
60    Tag: <none>
61    Description:
62    
63    Enabled dlopen and friends for FreeBSD (as recommended by Johannes 5
64    Joemann).
65    
66    ----------------------------------------------------------------------
67    Name: Allen Leung (leunga (at) reservoir (dot) com)
68    Date: 2004/11/17 16:05:21 EST 2004
69    Tag: leunga-20041117-mlrisc-live-kill
70    Description:
71    
72       Added support for MLTree constructs LIVE and KILL
73    to all the architectures.
74    
75    ----------------------------------------------------------------------
76    Name: Matthias Blume (blume (at) tti - c (dot) org)
77    Date: 2004/11/13 00:20:00 CST
78    Tag: blume-20041113-versiontool
79    Description:
80    
81    - Stripped down the versiontool: It now only handles the version number.
82      The date string is generated at bootstrap time (during makeml).
83    
84    - In a previous commit, fixed a minor issue with how polyequal is being
85      translated.  In particular, the code now "looks through" abstractions.
86      This results in slightly fewer polyEqual warnings and hopefully slightly
87      more efficient code.  Important examples for where this matters are
88      the new int64 and word64 types.
89    
90    ----------------------------------------------------------------------
91    Name: Matthias Blume (blume (at) tti - c (dot) org)
92    Date: 2004/11/12 00:30:00 CST
93    Tag: blume-20041112-int64
94    Description:
95    
96    Structure Int64 fully hooked in.  (The implementation is not very
97    efficient, though.)
98    
99    ----------------------------------------------------------------------
100    Name: Matthias Blume (blume (at) tti - c (dot) org)
101    Date: 2004/11/11 17:30:00 CST
102    Tag: blume-20041111-more64
103    Description:
104    
105    All the pieces of Word64 are now there, with the exception of the
106    conversions from and to LargeWord. (Eventually these need to be identities,
107    but for the time being they don't even make sense because LargeWord is
108    32-bit wide.)
109    
110    Also started to add similar support for Int64, but major pieces of that
111    are still missing.
112    
113    ----------------------------------------------------------------------
114    Name: Matthias Blume (blume (at) tti - c (dot) org)
115    Date: 2004/11/11 00:15:00 CST
116    Tag: blume-20041111-word64
117    Description:
118    
119    Structure Word64 is now (almost) complete, word literals and patterns
120    seem to work.  There are a few odd pieces missing.  In particular,
121    I didn't do the {from,to}LargeWord parts because LargeWord is still Word32
122    at the moment.
123    
124    Making Word64 official would mean that LargeWord becomes Word64.  But
125    this requires extreme care because most word-word conversions have to
126    go through LargeWord, so making a mistake means loss of efficiency or
127    worse.  Eventually there will be a solution similar to (but actually
128    simpler than) what I did with IntInf.
129    
130    ----------------------------------------------------------------------
131    Name: Matthias Blume (blume (at) tti - c (dot) org)
132    Date: 2004/11/10 18:12:00 CST
133    Tag: blume-20041110-64bit
134    Description:
135    
136    More 64-bit hacking (but still not even half-way there yet).
137    Also, some assorted improvements to the handling of 8-bit words.
138    
139    ----------------------------------------------------------------------
140    Name: Matthias Blume (blume (at) tti - c (dot) org)
141    Date: 2004/11/09 17:50:00 CST
142    Tag: <none>
143    Description:
144    
145    Started adding some infrastructure for supporting 64-bit int- and
146    word-types.  (Still in its very early stages.)
147    
148    ----------------------------------------------------------------------
149    Name: Matthias Blume (blume (at) tti - c (dot) org)
150    Date: 2004/10/28 10:45:00 CDT
151    Tag: Release_110_50
152    Description:
153    
154    New working version (110.50).  NEW BOOTFILES!
155    
156                 =====================
157    
158    Also:
159    
160      - Changend config/srcarchiveurl from a file just
161        containing the URL string into a file containing
162        shell script code.  The code has access to the $VERSION variable.
163      - Made corresponding changes to config/install.sh and config/unpack.
164      - Default contents of config/srcarchiveurl uses $VERSION and
165        normally does not have to be edited to reflect a version change.
166    
167      (As a result, a version change can be done by just editing
168       config/version, the rest is now automatic.)
169    
170    ----------------------------------------------------------------------
171    Name: Matthias Blume (blume (at) tti - c (dot) org)
172    Date: 2004/10/27 17:50:00 CDT
173    Tag: blume-20041027-btrace-msg
174    Description:
175    
176    BackTrace.monitor now also reports the source of the exception that
177    triggered the trace.
178    
179    ----------------------------------------------------------------------
180    Name: Matthias Blume (blume (at) tti - c (dot) org)
181    Date: 2004/10/27 17:20:00 CDT
182    Tag: blume-20041027-x86-c-calls
183    Description:
184    
185    This is the HISTORY entry for two earlier commits, both concerning
186    the x86 c-calls code in MLRISC:
187    
188      - added a missing LOAD in the code that deals with struct arguments
189      - made sure the caller does not add the wrong number of bytes to the
190        stack pointer after a call of a function returning a struct
191        (the callee already pops the implicit argument which points to
192         the space reserved for the result)
193    
194    ----------------------------------------------------------------------
195  Name: Allen Leung (leunga (at) reservoir (dot) com)  Name: Allen Leung (leunga (at) reservoir (dot) com)
196  Date: 2004/10/24 14:00:00 EST  Date: 2004/10/24 14:00:00 EST
197  Tag: leunga-20041024-x86-gas-fucomip  Tag: leunga-20041024-x86-gas-fucomip
# Line 218  Line 397 
397  Description:  Description:
398    
399  * Moved the "version" magic into its own little library under  * Moved the "version" magic into its own little library under
400  src/system/smlnj/internal.  This avoids expensive reconstruction    src/system/smlnj/internal.  This avoids expensive reconstruction of
401  of a stable src/compiler/core.cm.    a stable src/compiler/core.cm.
402    
403  * At the same time, structure CompilerVersion is now known as structure  * At the same time, structure CompilerVersion is now known as
404  SMLNJVersion.    structure SMLNJVersion.
405    
406  * Arranged for the version tool to NOT kick in when rebuilding the system  * Arranged for the version tool to NOT kick in when rebuilding the system
407    (makeml -rebuild, fixpt).  Otherwise one would never reach a fixpoint.    (makeml -rebuild, fixpt).  Otherwise one would never reach a fixpoint.

Legend:
Removed from v.1662  
changed lines
  Added in v.1716

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