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 1737, Thu Dec 16 19:38:22 2004 UTC revision 1866, Wed Nov 16 16:21:43 2005 UTC
# Line 13  Line 13 
13  Description:  Description:
14    
15  ----------------------------------------------------------------------  ----------------------------------------------------------------------
16    Name: Matthias Blume (http://www.tti-c.org/blume/)
17    Date: 2005/11/16 10:25:00 CST
18    Tag: blume-22051116-btrace
19    Description:
20    
21    Fixed problem with bogus exception message when using back-trace
22    facility.
23    
24    ----------------------------------------------------------------------
25    Name: Matthias Blume (http://www.tti-c.org/blume/)
26    Date: 2005/11/15 22:35:00 CST
27    Tag: blume-22051115-array2copy
28    Description:
29    
30    Added simple implementation of Array2.copy.  (Warning: mostly untested.)
31    
32    ----------------------------------------------------------------------
33    Name: Matthias Blume (http://www.tti-c.org/blume/)
34    Date: 2005/11/15 21:35:00 CST
35    Tag: blume-22051115-versiontool
36    Description:
37    
38    Reversed change to src/system/smlnj/internals/versiontool.cm.  This
39    file gets loaded as a tool -- by the equivalent of CM.make during the
40    run of CMB.make.  Thus, CMB's path configuration is meaningless for
41    it.  Instead, it has the status of "user code", so it should use
42    $/basis.cm to refer to the Basis library.  (At least that's true for
43    the purpose of bootstrapping the previous change.  In the future it
44    might make sense to have versiontool.cm refer to
45    $smlnj/basis/basis.cm, i.e., the version of the Basis that the
46    compiler itself uses.)
47    
48    Also patched src/system/testml to have it activate those extra anchor
49    bindings in config/extrapathconfig.
50    
51    ----------------------------------------------------------------------
52    Name: Matthias Blume (http://www.tti-c.org/blume/)
53    Date: 2005/11/15 16:35:00 CST
54    Tag: blume-22051115-libraries
55    Description:
56    
57    This change affects the way the following libraries are tied into
58    the system:
59    
60       $/basis.cm
61       $/smlnj-lib.cm
62       $/pp-lib.cm
63       $/controls-lib.cm
64       $/html-lib.cm
65       $/ml-yacc-lib.cm
66    
67    These libraries are now internally (as seen from the source code
68    of the implementation itself) known by the following names:
69    
70       $smlnj/basis/basis.cm
71       $smlnj/smlnj-lib/smlnj-lib.cm
72       $smlnj/smlnj-lib/pp-lib.cm
73       $smlnj/smlnj-lib/controls-lib.cm
74       $smlnj/smlnj-lib/html-lib.cm
75       $smlnj/ml-yacc/ml-yacc-lib.cm
76    
77    This makes it possible to work with code that requires different
78    versions of these libraries, and which refers to these libraries using
79    their "default" names (i.e., the first set of names above).  In other
80    words, one can un-define or re-define those default names without
81    compromising the proper functioning of the compiler itself.
82    
83    A similar procedure had already been performed for several of the
84    MLRISC libraries that are linked into the compiler.  I did some
85    cleanup on this code.
86    
87    A new file in the config directory (named extrapathconfig) is
88    responsible for setting up path anchors that the compiler itself does
89    not need, but that are typically required by user code.
90    
91    ----------------------------------------------------------------------
92    Name: Matthias Blume
93    Date: 2005/11/07 17:05:00 CST
94    Tag: blume-20051107-slice
95    Description:
96    
97    Fixed erroneous out-of-bounds test in the "update" function of
98    various *ArraySlice modules.  (Thanks to Vesa A. Norrman for pointing
99    out the problem.)
100    
101    Pushed some Basis changes through ML-Lex, CML, and eXene.
102    
103    ----------------------------------------------------------------------
104    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
105    Date: 2005/11/07
106    Description:
107    Fixed a Basis incompatibility: The depreciated function Substring.all
108    was removed (use Substring.full instead).
109    
110    ----------------------------------------------------------------------
111    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
112    Date: 2005/11/05
113    Description:
114    Tweaked interval set API in SML/NJ library; see the CHANGES file for details.
115    
116    ----------------------------------------------------------------------
117    Name: Matthias Blume (http://www.tti-c.org/blume/)
118    Date: 2005/11/02 16:25:00 CST
119    Tag: blume-20051102-hex
120    Description:
121    
122    * Runtime system bootstrap code now accepts hex digits in BOOTLIST
123      in either upper case or lower case format.
124    * Pushed changes to names of Pack<N>{Big,Little} structures through
125      CML and eXene.
126    
127    ----------------------------------------------------------------------
128    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
129    Date: 2005/11/02
130    Description:
131    Fixed a Basis incompatibility: Pack<N>{Big,Little} structures should
132    be called PackWord<N>{Big,Little}.
133    
134    ----------------------------------------------------------------------
135    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
136    Date: 2005/10/28
137    Description:
138    Fixed a minor Basis incompatibility: hex digits should be upper case.
139    
140    ----------------------------------------------------------------------
141    Name: Matthias Blume (blume (at) tti - c (dot) org)
142    Date: 2005/10/25 16:00:00 CDT
143    Tag: Release_110_56
144    Description:
145    
146    New working version (110.56).  NEW BOOTFILES!
147    
148    ----------------------------------------------------------------------
149    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
150    Date: 2005/10/25
151    Description:
152    Added interval sets to utility library (signatures INTERVAL_DOMAIN
153    and INTERVAL_SET, and functor IntervalSetFn).
154    
155    ----------------------------------------------------------------------
156    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
157    Date: 2005/10/14
158    Description:
159    Add Zhong Shao's fix for datatype equality functions.
160    
161    ----------------------------------------------------------------------
162    Name: Allen Leung (leunga (at) reservoir (dot) com)
163    Date: 2005/10/14 12:30:00 EST
164    Tag: leunga-20051014-x86-spill
165    Description:
166    
167    Bug fix a bug found by Carl Hauser.
168    There was a typo in the reload code for FCMP in x86SpillInstr.sml.
169    
170    ----------------------------------------------------------------------
171    Name: Allen Leung (leunga (at) reservoir (dot) com)
172    Date: 2005/10/14 11:15:00 EST
173    Tag: leunga-20051014-x86-asm
174    Description:
175    
176    Removed some debugging code in file x86Asm.sml.
177    The function emit_operand was printing out debugging output.
178    
179    ----------------------------------------------------------------------
180    Name: John Reppy
181    Date: 2005/07/27
182    Tag:
183    Description:
184    
185    Fixed ml-lex to recognize "\r" as representing carriage return.
186    
187    ----------------------------------------------------------------------
188    Name: John Reppy
189    Date: 2005/07/27
190    Tag:
191    Description:
192    
193    Fixed ml-yacc to work on files with non-native end-of-line
194    encodings (e.g., Windows text file on a Unix system).
195    
196    ----------------------------------------------------------------------
197    Name: John Reppy
198    Date: 2005/07/20
199    Tag:
200    Description:
201    
202    Added changes from Dominic Evans (oldmanuk (at) gmail (dot) com)
203    to support HPUX 11.
204    
205    ----------------------------------------------------------------------
206    Name: John Reppy
207    Date: 2005/07/06
208    Tag:
209    Description:
210    
211    Changes to the SML/NJ library.  See smlnj-lib/CHANGES for details.
212    
213    ----------------------------------------------------------------------
214    Name: Matthias Blume (blume (at) tti - c (dot) org)
215    Date: 2005/07/06 00:45:00 CDT
216    Tag: blume-20050706-slice-copy
217    Description:
218    
219    Fixed reversed logic for deciding whether to "copy up" or "copy down"
220    in *-array-slice.sml.
221    
222    ----------------------------------------------------------------------
223    Name: Allen Leung (leunga (at) reservoir (dot) com)
224    Date: 2005/05/31 17:00:00 EST
225    Tag: leunga-20050531-cygwin-fault-2
226    Description:
227    
228    A typo in the cygwin code fixed.
229    
230    ----------------------------------------------------------------------
231    Name: Allen Leung (leunga (at) reservoir (dot) com)
232    Date: 2005/05/31 16:47:00 EST
233    Tag: leunga-20050531-cygwin-fault
234    Description:
235    
236    Updated Cygwin's fault/signal handling to match the Windows version.
237    Updated the export list.
238    
239    ----------------------------------------------------------------------
240    Name: Matthias Blume (blume (at) tti - c (dot) org)
241    Date: 2005/05/18 13:35:00 CDT
242    Tag: Release_110_54
243    Description:
244    
245    New working version (110.54).  NEW BOOTFILES!
246    
247    ----------------------------------------------------------------------
248    Name: Matthias Blume (blume (at) tti - c (dot) org)
249    Date: 2005/05/18 11:58:00 CDT
250    Tag: blume-20050518-installer
251    Description:
252    
253    Added support scripts for Mac OS X PackageMaker and modified
254    config/install.sh so that it supports re-dumping a heap image
255    after customization.
256    
257    ----------------------------------------------------------------------
258    Name: Matthias Blume (blume (at) tti - c (dot) org)
259    Date: 2005/05/18 10:55:00 CDT
260    Tag: blume-20050518-realdiv-noovld
261    Description:
262    
263    Un-overloaded / to work around bug in overloading resolution code.
264    
265    ----------------------------------------------------------------------
266    Name: Matthias Blume (blume (at) tti - c (dot) org)
267    Date: 2005/05/16 23:50:00 CDT
268    Tag: blume-20050516-redump-heap
269    Description:
270    
271    Added mechanism for re-creating a heap file for the interactive system
272    after configuration variables have been changed.
273    
274       CM.redump_heap : string -> unit
275    
276    This is much like SMLofNJ.exportML, but starting from the resulting
277    heap does not return to the caller of CM.redump_heap but
278    restarts the interactive system from scratch.  The original call of
279    CM.redump_heap does not return but ends the interactive session.
280    Thus, CM.redump_heap is a lot like SMLofNJ.exportFn.
281    
282    Internally, redump_heap winds the dynamic execution context back to
283    the point where the original heap image was created and re-executes
284    the heap image generation code in the boot code.
285    
286    ----------------------------------------------------------------------
287    Name: Matthias Blume (blume (at) tti - c (dot) org)
288    Date: 2005/05/09 21:55:00 CDT
289    Tag: blume-20050509-word64
290    Description:
291    
292    Added a hack to the existing hack known as Word64 to make fromString
293    behave correctly.  I am still not sure whether Word64.scan will work
294    as specified with respect to the interaction of radix and prefix.
295    
296    ----------------------------------------------------------------------
297    Name: Allen Leung (leunga (at) reservoir (dot) com)
298    Date: 2005/05/04 11:50:00 EST
299    Tag: leunga-20050504-checkgc
300    Description:
301    
302    Added a gc protocol checking phase.  This phase is enabled with
303    the flag "check-gc".  "debug-check-gc" turns on the verbose mode.
304    
305    ----------------------------------------------------------------------
306    Name: Matthias Blume (blume (at) tti - c (dot) org)
307    Date: 2005/05/04 10:45:00 CDT
308    Tag: blume-20050504-intinf
309    Description:
310    
311    Fixed a bug in the implementation of div and mod for IntInf.
312    Thanks to Neophytos Michael for reporting the problem.
313    
314    ----------------------------------------------------------------------
315    Name: Matthias Blume (blume (at) tti - c (dot) org)
316    Date: 2005/05/04 10:35:00 CDT
317    Tag: blume-20050504-join
318    Description:
319    
320    Added a "join" combinator to the ParserComb module in smlnj-lib.cm.
321    
322    ----------------------------------------------------------------------
323    Name: Matthias Blume (blume (at) tti - c (dot) org)
324    Date: 2005/02/28 23:40:00 CST
325    Tag: blume-20050228-mVar
326    Description:
327    
328    Fixed serious bug (brown paper bag variety) in new implementation of
329    structure Atom in CML.  (I had accidentally used a mailbox instead of
330    an mvar, leaving the door open for races.)
331    
332    ----------------------------------------------------------------------
333    Name: Matthias Blume (blume (at) tti - c (dot) org)
334    Date: 2005/02/25 15:00:00 CST
335    Tag: Release_110_53
336    Description:
337    
338    New working version (110.53).  NEW BOOTFILES!
339    
340    ----------------------------------------------------------------------
341    Name: Matthias Blume (blume (at) tti - c (dot) org)
342    Date: 2005/02/25 14:50:00 CST
343    Tag: blume-20050225-susp
344    Description:
345    
346    Brought back SMLofNJ.Susp.  The underlying suspension type is the one
347    implemented in Core -- which means that it is the same as the one used
348    by the lazy extension.
349    
350    ----------------------------------------------------------------------
351    Name: Matthias Blume (blume (at) tti - c (dot) org)
352    Date: 2005/02/24 16:50:00 CST
353    Tag: blume-20050224-cml-atom
354    Description:
355    
356    Simpler and at the same time more general implementation of structure
357    Atom in CML.
358    
359    ----------------------------------------------------------------------
360    Name: Matthias Blume (blume (at) tti - c (dot) org)
361    Date: 2005/02/15 17:35:00 CST
362    Tag: blume-20050215-tools
363    Description:
364    
365    Created new "tools" directory under "src" and moved "TraceDebugProf"
366    there.
367    
368    ----------------------------------------------------------------------
369    Name: Matthias Blume (blume (at) tti - c (dot) org)
370    Date: 2005/02/10 17:55:00 CST
371    Tag: blume-20050210-longlong
372    Description:
373    
374    Implemented "long long" arguments and results for NLFFI.  (Only the
375    PPC/MacOS implementation is complete, the other backends still need to
376    be updated.)
377    
378    ----------------------------------------------------------------------
379    Name: Matthias Blume (blume (at) tti - c (dot) org)
380    Date: 2005/01/24 17:40:00 CST
381    Tag: blume-20050124-mlyacc
382    Description:
383    
384    Minor cleanup in ML-Yacc rule printing mechanism.  This should fix a
385    problem with certain "as" patterns which previously got rendered
386    using incorrect syntax.
387    
388    ----------------------------------------------------------------------
389    Name: Matthias Blume (blume (at) tti - c (dot) org)
390    Date: 2005/01/18 12:00:00 CST
391    Tag: blume-20050118-profile
392    Description:
393    
394    Made time profiling code (interrupt handler) in runtime system aware
395    of new array representation.
396    
397    ----------------------------------------------------------------------
398    Name: Matthias Blume (blume (at) tti - c (dot) org)
399    Date: 2005/01/14 18:00:00 CST
400    Tag: blume-20050114-heap2exec
401    Description:
402    
403    Implemented new (but still experimental) heap2exec facility.  This is
404    tested under Mac OS X and should work under Linux (will test shortly).
405    It will probably also work on the Sparc (will test some time later).
406    
407      - removed old "HACKED_STANDALONE" hack from runtime
408    
409    To be able to test this, uncomment the request for "heap2asm" in
410    config/targets prior to installation.  (Notice that this is different
411    from "heap2exec" mentioned below.  Not a typo.)
412    
413    To perform an actual test, run the command
414    
415       $ bin/heap2exec heapfile execfile
416    
417    (You can put heap2exec on your shell's path.)
418    
419    For example, run
420    
421      $ bin/heap2exec bin/.heap/ml-yacc.ppc-darwin mly
422    
423    This will create a standalone executable called "mly" which you can
424    then invoke directly as a command.
425    
426    ----------------------------------------------------------------------
427    Name: Matthias Blume (blume (at) tti - c (dot) org)
428    Date: 2005/01/07 11:44:00 CST
429    Tag: blume-20050107-mlstring
430    Description:
431    
432    fixed off-by-one error in ML_STRING macro (globals.c)
433    
434    ----------------------------------------------------------------------
435    Name: Matthias Blume (blume (at) tti - c (dot) org)
436    Date: 2004/12/23 18:00:00 CST
437    Tag: blume-20041223-santa
438    Description:
439    
440    Made ml-build script "smarter" (but only very little).
441    
442    ----------------------------------------------------------------------
443    Name: Matthias Blume (blume (at) tti - c (dot) org)
444    Date: 2004/12/21 15:05:00 CST
445    Tag: blume-20041221-longlong
446    Description:
447    
448    * Implemented access to signed and unsigned long long data in NLFFI.
449    (The parameter-passing part of the picture has not complete. But
450    data structure access seems to work.)
451    
452    * Fixed CM's incorrect assumption that the PPC is little-endian.
453      (On the Mac, it is big-endian.  And that's currently our only
454      PPC platform.)
455    
456    ----------------------------------------------------------------------
457    Name: Matthias Blume (blume (at) tti - c (dot) org)
458    Date: 2004/12/21 12:50:00 CST
459    Tag: blume-20041221-memory
460    Description:
461    
462    Some cleanup in the $c/memory.cm library: separated some concerns by
463    moving allocation code and memory access code each into their own
464    files.
465    
466    ----------------------------------------------------------------------
467    Name: Allen Leung (leunga (at) reservoir (dot) com)
468    Date: 2004/12/17 16:12:00 EST
469    Tag: leunga-20041217-cygwin-smlnj-home
470    Description:
471    
472        The Unix I/O library of SML/NJ on cygwin does not understand
473    Windows style pathname, so problems arise when SMLNJ_HOME is set
474    to a Windows style pathname.  _run-sml now converts SMLNJ_HOME
475    to a POSIX pathname on cygwin.
476    
477    ----------------------------------------------------------------------
478  Name: Matthias Blume (blume (at) tti - c (dot) org)  Name: Matthias Blume (blume (at) tti - c (dot) org)
479  Date: 2004/12/16 13:35:00 CST  Date: 2004/12/16 13:35:00 CST
480  Tag: Release_110_52  Tag: Release_110_52

Legend:
Removed from v.1737  
changed lines
  Added in v.1866

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