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 1348, Fri Aug 29 17:06:53 2003 UTC revision 1446, Mon Jan 26 17:23:06 2004 UTC
# Line 13  Line 13 
13  Description:  Description:
14    
15  ----------------------------------------------------------------------  ----------------------------------------------------------------------
16  Name: Matthias Blume (blume@tti-c.org)  Name: Matthias Blume (blume (at) tti - c (dot) org)
17    Date: 2004/01/26
18    Tag: blume-20040126-app
19    Description:
20    
21    Type of top-level "app" corrected.
22    
23    ----------------------------------------------------------------------
24    Name: Matthias Blume (blume (at) tti - c (dot) org)
25    Date: 2003/11/18 17:10 CST
26    Tag: blume-20031118-basis-fiddle
27    Description:
28    
29    - changed Timer interface to what might become the spec
30    - POSIX_FLAGS -> BIT_FLAGS according to spec
31    - some other minor discrepancies wrt. spec eliminated
32    
33    ----------------------------------------------------------------------
34    Name: Matthias Blume (blume (at) tti - c (dot) org)
35    Date: 2003/11/06 12:00:00 CST
36    Tag: Release_110_44
37    Description:
38    
39    New working version (110.44). New bootfiles.
40    
41    ----------------------------------------------------------------------
42    Name: Matthias Blume (blume (at) tti - c (dot) org)
43    Date: 2003/11/04 11:50:00 CST
44    Tag: blume-20031104-move-libraries
45    Description:
46    
47    Eliminated the "dont_move_libraries" directive in config/targets.
48    (The mechanism was broken and could not be fixed easily.  Moreover,
49    there does not seem to be any reason not to move all libraries into
50    lib during installation.  I originally implemented this directive as a
51    backward-compatibility feature when I first introduced the new CM.
52    Now that things have been stable for a long time and going back to the
53    old CM is not an option, there is no reason to keep it around.)
54    
55    ----------------------------------------------------------------------
56    Name: Matthias Blume (blume (at) tti - c (dot) org)
57    Date: 2003/11/03 16:00:00 CST
58    Tag: blume-20031103-installdir
59    Description:
60    
61    Made installer honor INSTALLDIR variable again.  (Thanks to Chris
62    Richards for pointing out the problem and providing the solution.)
63    
64    ----------------------------------------------------------------------
65    Name: Matthias Blume (blume (at) tti - c (dot) org)
66    Date: 2003/10/01 17:05:00 CDT
67    Tag: blume-20031001-lal-mlrisc
68    Description:
69    
70    MLRISC bug fix from Lal.
71    
72    ----------------------------------------------------------------------
73    Name: Matthias Blume (blume (at) tti - c (dot) org)
74    Date: 2003/09/30 16:10:00 CDT
75    Tag: blume-20030930-primio-bat
76    Description:
77    
78    1. Added openVector, nullRd, and nullWr to PRIM_IO.
79    2. Improved .bat files (for Win32 port) to make things work under Win95.
80       (thanks to Aaron S. Hawley for this one)
81    
82    ----------------------------------------------------------------------
83    Name: Matthias Blume (blume (at) tti - c (dot) org)
84    Date: 2003/09/26 16:05:00 CDT
85    Tag: blume-20030926-wrappriv
86    Description:
87    
88    Added missing wrapper for privilege "primitive" in $smlnj/viscomp/core.cm.
89    
90    ----------------------------------------------------------------------
91    Name: Matthias Blume (blume (at) tti - c (dot) org)
92    Date: 2003/09/26 15:00:00 CDT
93    Tag: blume-20030926-110_43_3
94    Description:
95    
96    - additional cleanup
97    - version number bump, NEW BOOTFILES
98    
99    ----------------------------------------------------------------------
100    Name: Matthias Blume (blume (at) tti - c (dot) org)
101    Date: 2003/09/26 12:00:00 CDT
102    Tag: blume-20030926-ppautoload
103    Description:
104    
105    I modified the read-eval-print loop so that the autoloader gets
106    invoked whenever the prettyprinter tries to look up a symbol that
107    is not currently defined in the toplevel environment but which
108    appears in CM's autoload registry.  As a result, we see far fewer of
109    those ?.Foo.Bar.xxx names in the prettyprinter's output.
110    
111    In addition to this I tried to clean up some pieces of the Basis
112    implementation (e.g., Socket, Word8Array) in order to prevent other
113    instances of these ?.Foo.Bar.xxx names from being printed.
114    
115    The mechanism that picks names for types still needs some work, though.
116    (Right now it seems that if there is a type A.t which is defined to
117    be B.u, but B is unavailable at toplevel, then A.t gets printed as
118    "?.B.u" although the perhaps more sensible solution would be to use
119    "A.t" in this case.  In other words, the prettyprinter should follow
120    a chain of DEFtycs not farther than there are corresponding toplevel
121    names in the current environment.)
122    
123    ----------------------------------------------------------------------
124    Name: Matthias Blume (blume (at) tti - c (dot) org)
125    Date: 2003/09/24 16:31:00 CDT
126    Tag: blume-20030924-installer
127    Description:
128    
129    Another installer tweak:  All the ML code for the installer is now
130    compiled during CMB.make and put into a little library called
131    $smlnj/installer.cm.  The installation then simply invokes
132    
133       sml -m $smlnj/installer.cm
134    
135    and everything happens automagically.
136    
137    Win32:  ML code senses value of environment variable SMLNJ_HOME.
138    Unix:   ML code senses values of environment variables ROOT, CONFIGDIR,
139            and BINDIR.
140    
141    The new scheme guarantees that the ML code responsible for the installation
142    is in sync with the APIs of the main system.  Also, the installer is
143    somewhat faster because the installer script is precompiled.
144    
145    ----------------------------------------------------------------------
146    Name: Matthias Blume (blume (at) tti - c (dot) org)
147    Date: 2003/09/24 15:35:00 CDT
148    Tag: blume-20030924-synsock
149    Description:
150    
151    Added a signature SYNCHRONOUS_SOCKET to basis.cm.  This is like SOCKET
152    but excludes all non-blocking operations.  Defined SOCKET (in Basis)
153    and CML_SOCKET in terms of SYNCHRONOUS_SOCKET.  Removed superfluous
154    implementations of non-blocking operations from CML's Socket
155    structure.
156    
157    ----------------------------------------------------------------------
158    Name: Matthias Blume (blume (at) tti - c (dot) org)
159    Date: 2003/09/24 15:10:05 CDT
160    Tag: blume-20030924-sockets
161    Description:
162    
163    1. Fixed SOCKET API and implementation to match Basis spec.
164       This required changing the internal representation of sockets to one
165       that remembers (for each socket file descriptor) whether it is currently
166       blocking or non-blocking.  This state is maintained lazily (i.e., a system
167       call is made only if the state actually needs to change).
168    
169    2. OS-specific details of sockets were moved into separate files, thus
170       making it possible to unify the bulk of the socket implementations
171       between Unix and Win32.
172    
173    3. CML's socket API changed accordingly.
174       (Note that we need to remove non-blocking functions from this API
175       since they are redundant in the case of CML!)
176    
177    4. CML's socket implementation now makes use of non-blocking functions
178       provided by Basis, thus removing all OS-dependent code from this part
179       of CML.
180    
181    5. Changed Real64.precision from 52 to 53.  Minor cleanup in Real64 code.
182    
183    ----------------------------------------------------------------------
184    Name: Matthias Blume (blume (at) tti - c (dot) org)
185    Date: 2003/09/22 12:10:00 CDT
186    Tag: blume-20030922-110_43_2
187    Description:
188    
189    Made a new interim version and bootfiles for developer's bootstrapping
190    convenience.
191    
192       110.43.2 -- NEW BOOTFILES
193    
194    ----------------------------------------------------------------------
195    Name: Matthias Blume (blume (at) tti - c (dot) org)
196    Date: 2003/09/19 15:55:00 CDT
197    Tag: blume-20030919-cmdir
198    Description:
199    
200    1. new-install.sh -> install.sh
201    2. changed default CM "metadata" directory name to ".cm" (instead of "CM")
202    3. tweaked installer so that another name instead of .cm can be chosen
203       at install time (by setting the CM_DIR_ARC environment variable
204       during installation); once installation is complete, the name is
205       fixed
206    
207    ----------------------------------------------------------------------
208    Name: Matthias Blume (blume (at) tti - c (dot) org)
209    Date: 2003/09/18 16:00:00 CDT
210    Tag: blume-20030918-110_43_1
211    Description:
212    
213    Made a new interim version and bootfiles for developer's bootstrapping
214    convenience.
215    
216       110.43.1 -- NEW BOOTFILES
217    
218    ----------------------------------------------------------------------
219    Name: Matthias Blume (blume (at) tti - c (dot) org)
220    Date: 2003/09/18 15:20:00 CDT
221    Tag: blume-20030918-misc
222    Description:
223    
224    1. Exported fractionsPerSecond etc. from TimeImp (but not from Time as
225       this seems to be controversial at the moment) and used those in
226       Posix.ProcEnv.times.
227    
228    2. Added Time.{from,to}Nanoseconds to Time.
229    
230    3. Improved Real.{from,to}LargeInt by avoiding needless calculations.
231       For example, fromLargeInt never needs to look at more than 3 "big
232       digits" to get its 53 bits of precision.
233    
234    ----------------------------------------------------------------------
235    Name: Matthias Blume (blume (at) tti - c (dot) org)
236    Date: 2003/09/17 16:30:00 CDT
237    Tag: blume-20030917-real32-slices
238    Description:
239    
240    Added an entry to the primitive environment
241    (compiler/Semant/statenv/prim.sml) for int32->real64 conversion and
242    added code to compiler/CodeGen/main/mlriscGen.sml to implement it.
243    
244    Removed some of the "magic" constants in real64.sml and replaced them
245    with code that generates these values from their corresponding
246    integer counterparts.
247    
248    Made all(?) the slice-related changes to the Basis and made everything
249    compile again...
250    
251    ----------------------------------------------------------------------
252    Name: Matthias Blume (blume (at) tti - c (dot) org)
253    Date: 2003/09/15 17:45:00 CDT
254    Tag: blume-20030915-rbase
255    Description:
256    
257    Fixed bug in Real.fromLargeInt.
258    
259    ----------------------------------------------------------------------
260    Name: Matthias Blume (blume (at) tti - c (dot) org)
261    Date: 2003/09/13 18:11:00 CDT
262    Tag: blume-20030913-libinstall
263    Description:
264    
265    Minor bugfix in config/libinstall (set anchor with path to
266    standalone tool after installing it, otherwise libraries that
267    need ml-lex or ml-yacc won't compile the first time the installer
268    runs).
269    
270    ----------------------------------------------------------------------
271    Name: Matthias Blume (blume (at) tti - c (dot) org)
272    Date: 2003/09/12 11:45:00 CDT
273    Tag: blume-20030912-various
274    Description:
275    
276     - fixed bug in Real.toLargeInt
277     - fixed bug in Posix.ProcEnv.times
278     - changed inputLine functions to return an option
279     - minor installer improvements / bugfixes
280     - changed default @SMLalloc parameter for x86/celeron to 64k
281    
282    ----------------------------------------------------------------------
283    Name: Matthias Blume (blume (at) tti - c (dot) org)
284    Date: 2003/09/09 22:00:00 CDT
285    Tag: Release_110_43
286    Description:
287    
288        New working release 110.43.  New bootfiles.
289    
290    ----------------------------------------------------------------------
291    Name: Matthias Blume (blume (at) tti - c (dot) org)
292    Date: 2003/09/09 19:20:00 CDT
293    Tag: blume-20030909-installer
294    Description:
295    
296    Rewrote large parts of config/install.sh in SML (config/libinstall.sml).
297    Modified config/install.bat to take advantage of it.  Also modified
298    config/install.sh (and called it config/new-install.sh) to take advantage
299    of it on Unix systems.  (The SML code is (supposed to be) platform-
300    independent.)
301    
302    The installer can now install everything under Win32
303    as well as under *nix as long as it compiles.
304    
305    Other changes:
306    
307      - made CML compile again under Win32
308      - made eXene compile under Win32 (by providing a fake structure UnixSock
309        and by using OS.Process.getEnv instead of Posix.ProcEnv.getenv)
310      - fixed a bug in nowhere: it assumed that type OS.Process.status is the
311        same as type int;  under Win32 it isn't
312      - fixed some slice-related problems in the win32-specific parts of CML
313      - added a functor argument "sameVol" to os-path-fn.sml in the Basis
314        (under Win32, the volume name is case-insensitive, and the
315        OS.Path code compares volume names for equality)
316    
317    ----------------------------------------------------------------------
318    Name: Matthias Blume (blume (at) tti - c (dot) org)
319    Date: 2003/09/08 11:55:00 CDT
320    Tag: blume-20030908-fullpath
321    Description:
322    
323    Made Win32 version of OS.FileSys.fullPath return current directory
324    when given an empty string.  This is what the spec says, and incidentally,
325    CM depends on it.  (CM otherwise goes into an infinite loop in certain
326    cases when presented with the name of a non-existing .cm file.)
327    
328    ----------------------------------------------------------------------
329    Name: Matthias Blume (blume (at) tti - c (dot) org)
330    Date: 2003/09/04 16:30:00 CDT
331    Tag: blume-20030905-slices-etc
332    Description:
333    
334      1. Changed interface to vectors and arrays in Basis to match
335         (draft) Basis spec.
336      2. Added signatures and implementations of slices according to
337         Basis spec.
338      3. Edited source code throughout the system to make it compile again
339         under 1. and 2.  (In some cases code had to be added to have it
340         match the new signatures.)
341      4. MLRISC should be backward-compatible: the copies of the originals
342         of files that needed to change under 3. were retained, the .cm files
343         check the compiler version number and use old versions when
344         appropriate.
345      5. Changed type of OS.FileSys.readDir and Posix.FileSys.readdir to
346         dirstream -> string option (in accordance with Basis spec).
347      6. When generating code that counts lines, ml-lex used function
348         CharVector.foldli, taking advantage of its old interface.
349         This has been replaced with the corresponding code from
350         CharVectorSlice.  (html-lex must be re-lexed!)
351      7. BitArray in smlnj-lib/Util has been extended/modified to match the
352         new MONO_ARRAY signature.  (Do we need BitArraySlice?)
353      8. Removed temporary additions (fromInternal, toInternal) from the
354         (now obsolete) IntInf in smlnj-lib/Util.
355      9. Cleaned up structure Byte.
356     10. Added localOffset, scan, and fromString to Date (according to spec).
357         Cleaned/corrected implementation of Date.
358         (Still need to check for correctness; implement better canonicalizeDate.)
359     11. Added "scan" to signature IEEE_REAL.
360     12. Some improvements to IntInf [in particular: efficiency-hack for
361         mod and rem when second operand is 2 (for parity checks).]
362     13. Changed representation of type Time.time, using a single IntInf.int
363         value counting microseconds.  This considerably simplified the
364         implementation of structure Time.  We now support negative time
365         values; scan and fromString handle signs.
366     14. Functor PrimIO now takes two additional arguments (VectorSlice and
367         ArraySlice).
368    
369    ----------------------------------------------------------------------
370    Name: Matthias Blume (blume (at) tti - c (dot) org)
371  Date: 2003/08/28 17:00:00 CDT  Date: 2003/08/28 17:00:00 CDT
372  Tag: blume-20030828-intinf  Tag: blume-20030828-intinf
373  Description:  Description:
# Line 100  Line 454 
454  has been added.  has been added.
455    
456  ----------------------------------------------------------------------  ----------------------------------------------------------------------
457  Name: Matthias Blume (blume@tti-c.org)  Name: Matthias Blume (blume (at) tti - c (dot) org)
458  Date: 2003/08/11 15:45:00 CDT  Date: 2003/08/11 15:45:00 CDT
459  Tag: blume-20030811-windows  Tag: blume-20030811-windows
460  Description:  Description:
# Line 195  Line 549 
549  use by MacQueen, (Lucasz) Zairek, and (George) Cao at uchicago.  use by MacQueen, (Lucasz) Zairek, and (George) Cao at uchicago.
550    
551  ----------------------------------------------------------------------  ----------------------------------------------------------------------
552  Name: Matthias Blume (blume@tti-c.org)  Name: Matthias Blume (blume (at) tti - c (dot) org)
553  Date: 2003/05/27 16:55:00 CDT  Date: 2003/05/27 16:55:00 CDT
554  Tag: blume-20030527-polyeq  Tag: blume-20030527-polyeq
555  Description:  Description:
# Line 203  Line 557 
557  Tried to eliminated most cases of polymorphic equality.  Tried to eliminated most cases of polymorphic equality.
558    
559  ----------------------------------------------------------------------  ----------------------------------------------------------------------
560  Name: Matthias Blume (blume@tti-c.org)  Name: Matthias Blume (blume (at) tti - c (dot) org)
561  Date: 2003/05/21 17:45:00 CDT  Date: 2003/05/21 17:45:00 CDT
562  Tag: blume-20030517-complete  Tag: blume-20030517-complete
563  Description:  Description:
# Line 216  Line 570 
570       without a single non-exhaustive match- or bind warning.       without a single non-exhaustive match- or bind warning.
571    
572  ----------------------------------------------------------------------  ----------------------------------------------------------------------
573  Name: Matthias Blume (blume@tti-c.org)  Name: Matthias Blume (blume (at) tti - c (dot) org)
574  Date: 2003/05/17 10:20:00 CDT  Date: 2003/05/17 10:20:00 CDT
575  Tag: blume-20030517-absyn  Tag: blume-20030517-absyn
576  Description:  Description:

Legend:
Removed from v.1348  
changed lines
  Added in v.1446

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