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

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

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