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

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

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