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 1846, Tue Oct 25 20:48:54 2005 UTC
# Line 13  Line 13 
13  Description:  Description:
14    
15  ----------------------------------------------------------------------  ----------------------------------------------------------------------
16    Name: Matthias Blume (blume (at) tti - c (dot) org)
17    Date: 2005/10/25 16:00:00 CDT
18    Tag: Release_110_56
19    Description:
20    
21    New working version (110.56).  NEW BOOTFILES!
22    
23    ----------------------------------------------------------------------
24    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
25    Date: 2005/10/25
26    Description:
27    Added interval sets to utility library (signatures INTERVAL_DOMAIN
28    and INTERVAL_SET, and functor IntervalSetFn).
29    
30    ----------------------------------------------------------------------
31    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
32    Date: 2005/10/14
33    Description:
34    Add Zhong Shao's fix for datatype equality functions.
35    
36    ----------------------------------------------------------------------
37    Name: Allen Leung (leunga (at) reservoir (dot) com)
38    Date: 2005/10/14 12:30:00 EST
39    Tag: leunga-20051014-x86-spill
40    Description:
41    
42    Bug fix a bug found by Carl Hauser.
43    There was a typo in the reload code for FCMP in x86SpillInstr.sml.
44    
45    ----------------------------------------------------------------------
46    Name: Allen Leung (leunga (at) reservoir (dot) com)
47    Date: 2005/10/14 11:15:00 EST
48    Tag: leunga-20051014-x86-asm
49    Description:
50    
51    Removed some debugging code in file x86Asm.sml.
52    The function emit_operand was printing out debugging output.
53    
54    ----------------------------------------------------------------------
55    Name: John Reppy
56    Date: 2005/07/27
57    Tag:
58    Description:
59    
60    Fixed ml-lex to recognize "\r" as representing carriage return.
61    
62    ----------------------------------------------------------------------
63    Name: John Reppy
64    Date: 2005/07/27
65    Tag:
66    Description:
67    
68    Fixed ml-yacc to work on files with non-native end-of-line
69    encodings (e.g., Windows text file on a Unix system).
70    
71    ----------------------------------------------------------------------
72    Name: John Reppy
73    Date: 2005/07/20
74    Tag:
75    Description:
76    
77    Added changes from Dominic Evans (oldmanuk (at) gmail (dot) com)
78    to support HPUX 11.
79    
80    ----------------------------------------------------------------------
81    Name: John Reppy
82    Date: 2005/07/06
83    Tag:
84    Description:
85    
86    Changes to the SML/NJ library.  See smlnj-lib/CHANGES for details.
87    
88    ----------------------------------------------------------------------
89    Name: Matthias Blume (blume (at) tti - c (dot) org)
90    Date: 2005/07/06 00:45:00 CDT
91    Tag: blume-20050706-slice-copy
92    Description:
93    
94    Fixed reversed logic for deciding whether to "copy up" or "copy down"
95    in *-array-slice.sml.
96    
97    ----------------------------------------------------------------------
98    Name: Allen Leung (leunga (at) reservoir (dot) com)
99    Date: 2005/05/31 17:00:00 EST
100    Tag: leunga-20050531-cygwin-fault-2
101    Description:
102    
103    A typo in the cygwin code fixed.
104    
105    ----------------------------------------------------------------------
106    Name: Allen Leung (leunga (at) reservoir (dot) com)
107    Date: 2005/05/31 16:47:00 EST
108    Tag: leunga-20050531-cygwin-fault
109    Description:
110    
111    Updated Cygwin's fault/signal handling to match the Windows version.
112    Updated the export list.
113    
114    ----------------------------------------------------------------------
115    Name: Matthias Blume (blume (at) tti - c (dot) org)
116    Date: 2005/05/18 13:35:00 CDT
117    Tag: Release_110_54
118    Description:
119    
120    New working version (110.54).  NEW BOOTFILES!
121    
122    ----------------------------------------------------------------------
123    Name: Matthias Blume (blume (at) tti - c (dot) org)
124    Date: 2005/05/18 11:58:00 CDT
125    Tag: blume-20050518-installer
126    Description:
127    
128    Added support scripts for Mac OS X PackageMaker and modified
129    config/install.sh so that it supports re-dumping a heap image
130    after customization.
131    
132    ----------------------------------------------------------------------
133    Name: Matthias Blume (blume (at) tti - c (dot) org)
134    Date: 2005/05/18 10:55:00 CDT
135    Tag: blume-20050518-realdiv-noovld
136    Description:
137    
138    Un-overloaded / to work around bug in overloading resolution code.
139    
140    ----------------------------------------------------------------------
141    Name: Matthias Blume (blume (at) tti - c (dot) org)
142    Date: 2005/05/16 23:50:00 CDT
143    Tag: blume-20050516-redump-heap
144    Description:
145    
146    Added mechanism for re-creating a heap file for the interactive system
147    after configuration variables have been changed.
148    
149       CM.redump_heap : string -> unit
150    
151    This is much like SMLofNJ.exportML, but starting from the resulting
152    heap does not return to the caller of CM.redump_heap but
153    restarts the interactive system from scratch.  The original call of
154    CM.redump_heap does not return but ends the interactive session.
155    Thus, CM.redump_heap is a lot like SMLofNJ.exportFn.
156    
157    Internally, redump_heap winds the dynamic execution context back to
158    the point where the original heap image was created and re-executes
159    the heap image generation code in the boot code.
160    
161    ----------------------------------------------------------------------
162    Name: Matthias Blume (blume (at) tti - c (dot) org)
163    Date: 2005/05/09 21:55:00 CDT
164    Tag: blume-20050509-word64
165    Description:
166    
167    Added a hack to the existing hack known as Word64 to make fromString
168    behave correctly.  I am still not sure whether Word64.scan will work
169    as specified with respect to the interaction of radix and prefix.
170    
171    ----------------------------------------------------------------------
172    Name: Allen Leung (leunga (at) reservoir (dot) com)
173    Date: 2005/05/04 11:50:00 EST
174    Tag: leunga-20050504-checkgc
175    Description:
176    
177    Added a gc protocol checking phase.  This phase is enabled with
178    the flag "check-gc".  "debug-check-gc" turns on the verbose mode.
179    
180    ----------------------------------------------------------------------
181    Name: Matthias Blume (blume (at) tti - c (dot) org)
182    Date: 2005/05/04 10:45:00 CDT
183    Tag: blume-20050504-intinf
184    Description:
185    
186    Fixed a bug in the implementation of div and mod for IntInf.
187    Thanks to Neophytos Michael for reporting the problem.
188    
189    ----------------------------------------------------------------------
190    Name: Matthias Blume (blume (at) tti - c (dot) org)
191    Date: 2005/05/04 10:35:00 CDT
192    Tag: blume-20050504-join
193    Description:
194    
195    Added a "join" combinator to the ParserComb module in smlnj-lib.cm.
196    
197    ----------------------------------------------------------------------
198    Name: Matthias Blume (blume (at) tti - c (dot) org)
199    Date: 2005/02/28 23:40:00 CST
200    Tag: blume-20050228-mVar
201    Description:
202    
203    Fixed serious bug (brown paper bag variety) in new implementation of
204    structure Atom in CML.  (I had accidentally used a mailbox instead of
205    an mvar, leaving the door open for races.)
206    
207    ----------------------------------------------------------------------
208    Name: Matthias Blume (blume (at) tti - c (dot) org)
209    Date: 2005/02/25 15:00:00 CST
210    Tag: Release_110_53
211    Description:
212    
213    New working version (110.53).  NEW BOOTFILES!
214    
215    ----------------------------------------------------------------------
216    Name: Matthias Blume (blume (at) tti - c (dot) org)
217    Date: 2005/02/25 14:50:00 CST
218    Tag: blume-20050225-susp
219    Description:
220    
221    Brought back SMLofNJ.Susp.  The underlying suspension type is the one
222    implemented in Core -- which means that it is the same as the one used
223    by the lazy extension.
224    
225    ----------------------------------------------------------------------
226    Name: Matthias Blume (blume (at) tti - c (dot) org)
227    Date: 2005/02/24 16:50:00 CST
228    Tag: blume-20050224-cml-atom
229    Description:
230    
231    Simpler and at the same time more general implementation of structure
232    Atom in CML.
233    
234    ----------------------------------------------------------------------
235    Name: Matthias Blume (blume (at) tti - c (dot) org)
236    Date: 2005/02/15 17:35:00 CST
237    Tag: blume-20050215-tools
238    Description:
239    
240    Created new "tools" directory under "src" and moved "TraceDebugProf"
241    there.
242    
243    ----------------------------------------------------------------------
244    Name: Matthias Blume (blume (at) tti - c (dot) org)
245    Date: 2005/02/10 17:55:00 CST
246    Tag: blume-20050210-longlong
247    Description:
248    
249    Implemented "long long" arguments and results for NLFFI.  (Only the
250    PPC/MacOS implementation is complete, the other backends still need to
251    be updated.)
252    
253    ----------------------------------------------------------------------
254    Name: Matthias Blume (blume (at) tti - c (dot) org)
255    Date: 2005/01/24 17:40:00 CST
256    Tag: blume-20050124-mlyacc
257    Description:
258    
259    Minor cleanup in ML-Yacc rule printing mechanism.  This should fix a
260    problem with certain "as" patterns which previously got rendered
261    using incorrect syntax.
262    
263    ----------------------------------------------------------------------
264    Name: Matthias Blume (blume (at) tti - c (dot) org)
265    Date: 2005/01/18 12:00:00 CST
266    Tag: blume-20050118-profile
267    Description:
268    
269    Made time profiling code (interrupt handler) in runtime system aware
270    of new array representation.
271    
272    ----------------------------------------------------------------------
273    Name: Matthias Blume (blume (at) tti - c (dot) org)
274    Date: 2005/01/14 18:00:00 CST
275    Tag: blume-20050114-heap2exec
276    Description:
277    
278    Implemented new (but still experimental) heap2exec facility.  This is
279    tested under Mac OS X and should work under Linux (will test shortly).
280    It will probably also work on the Sparc (will test some time later).
281    
282      - removed old "HACKED_STANDALONE" hack from runtime
283    
284    To be able to test this, uncomment the request for "heap2asm" in
285    config/targets prior to installation.  (Notice that this is different
286    from "heap2exec" mentioned below.  Not a typo.)
287    
288    To perform an actual test, run the command
289    
290       $ bin/heap2exec heapfile execfile
291    
292    (You can put heap2exec on your shell's path.)
293    
294    For example, run
295    
296      $ bin/heap2exec bin/.heap/ml-yacc.ppc-darwin mly
297    
298    This will create a standalone executable called "mly" which you can
299    then invoke directly as a command.
300    
301    ----------------------------------------------------------------------
302    Name: Matthias Blume (blume (at) tti - c (dot) org)
303    Date: 2005/01/07 11:44:00 CST
304    Tag: blume-20050107-mlstring
305    Description:
306    
307    fixed off-by-one error in ML_STRING macro (globals.c)
308    
309    ----------------------------------------------------------------------
310    Name: Matthias Blume (blume (at) tti - c (dot) org)
311    Date: 2004/12/23 18:00:00 CST
312    Tag: blume-20041223-santa
313    Description:
314    
315    Made ml-build script "smarter" (but only very little).
316    
317    ----------------------------------------------------------------------
318    Name: Matthias Blume (blume (at) tti - c (dot) org)
319    Date: 2004/12/21 15:05:00 CST
320    Tag: blume-20041221-longlong
321    Description:
322    
323    * Implemented access to signed and unsigned long long data in NLFFI.
324    (The parameter-passing part of the picture has not complete. But
325    data structure access seems to work.)
326    
327    * Fixed CM's incorrect assumption that the PPC is little-endian.
328      (On the Mac, it is big-endian.  And that's currently our only
329      PPC platform.)
330    
331    ----------------------------------------------------------------------
332    Name: Matthias Blume (blume (at) tti - c (dot) org)
333    Date: 2004/12/21 12:50:00 CST
334    Tag: blume-20041221-memory
335    Description:
336    
337    Some cleanup in the $c/memory.cm library: separated some concerns by
338    moving allocation code and memory access code each into their own
339    files.
340    
341    ----------------------------------------------------------------------
342    Name: Allen Leung (leunga (at) reservoir (dot) com)
343    Date: 2004/12/17 16:12:00 EST
344    Tag: leunga-20041217-cygwin-smlnj-home
345    Description:
346    
347        The Unix I/O library of SML/NJ on cygwin does not understand
348    Windows style pathname, so problems arise when SMLNJ_HOME is set
349    to a Windows style pathname.  _run-sml now converts SMLNJ_HOME
350    to a POSIX pathname on cygwin.
351    
352    ----------------------------------------------------------------------
353    Name: Matthias Blume (blume (at) tti - c (dot) org)
354    Date: 2004/12/16 13:35:00 CST
355    Tag: Release_110_52
356    Description:
357    
358    Last-minute changes incorporated into 110.52.  Release tag moved.
359    
360    The changes:
361       - HashString.hashString' -> HashString.hashSubstring
362       - bug fix in UnivariateStats
363    
364    ----------------------------------------------------------------------
365    Name: Matthias Blume (blume (at) tti - c (dot) org)
366    Date: 2004/12/15 23:40:00 CST
367    Tag: blume-20041215-hashSubstring
368    Description:
369    
370    - HashString.hashString' -> HashString.hashSubstring
371    - corresponding changes in atom.sml
372    - "de-compressed" (aka. un-obfuscated) code for UnivariateStats and
373      added some comments
374    
375    ----------------------------------------------------------------------
376    Name: Matthias Blume (blume (at) tti - c (dot) org)
377    Date: 2004/12/15 15:30:00 CST
378    Tag: (Release_110_52)
379    Description:
380    
381    New working version (110.52).  NEW BOOTFILES!
382    
383    ----------------------------------------------------------------------
384    Name: Matthias Blume (blume (at) tti - c (dot) org)
385    Date: 2004/12/15 12:45:00 CST
386    Tag: blume-20041215-spaces
387    Description:
388    
389    More on the space problem (this time for Win32).
390    
391    ----------------------------------------------------------------------
392    Name: Matthias Blume (blume (at) tti - c (dot) org)
393    Date: 2004/12/14 17:30:00 CST
394    Tag: blume-20041214-spaces
395    Description:
396    
397    Hacked some of the scripts (in particular: the installer) to cope with
398    spaces in filenames a bit better.  But beware: the current "solution"
399    is likely still full of bugs and inherently incomplete.  (We need to
400    do away with those shell scripts for a comprehensive solution.)
401    
402    ----------------------------------------------------------------------
403    Name: Matthias Blume (blume (at) tti - c (dot) org)
404    Date: 2004/12/13 14:45:00 CST
405    Tag: blume-20041213-ml-makedepend
406    Description:
407    
408    Fixed bug in code for ml-makedepend.
409    
410    ----------------------------------------------------------------------
411    Name: Matthias Blume (blume (at) tti - c (dot) org)
412    Date: 2004/12/09 16:30:00 CST
413    Tag: blume-20041209-statistics
414    Description:
415    
416    Added two simple but potentially useful statistics modules to SML/NJ Library.
417    (See CHANGES file there.)
418    
419    ----------------------------------------------------------------------
420    Name: Matthias Blume (blume (at) tti - c (dot) org)
421    Date: 2004/12/01 16:50:00 CST
422    Tag: blume-20041201-atom
423    Description:
424    
425    smlnj-lib:
426    
427      Added function HashString.hashString' for substrings.
428      Hand-inlined CharVector.foldl into HashString (for speed).
429      Modified implementation of structure Atom to avoid extracting
430      strings from substrings unless necessary.
431      (Also see CHANGES file for smlnj-lib.)
432    
433    ----------------------------------------------------------------------
434    Name: Matthias Blume (blume (at) tti - c (dot) org)
435    Date: 2004/11/24 22:15:00 CST
436    Tag: blume-20041124-cml
437    Description:
438    
439    Made sure CML compiles when Position = Int64.
440    
441    ----------------------------------------------------------------------
442    Name: Matthias Blume (blume (at) tti - c (dot) org)
443    Date: 2004/11/24 14:30:00 CST
444    Tag: blume-20041124-position
445    Description:
446    
447    The compiler can now be compiled in a mode that makes structure Position
448    equal to Int64.  The default, however, is unchanged (Position = Int31)
449    for the time being.
450    
451    To enable 64-bit positions, use the following procedure:
452    
453    1. Start sml
454    2. Autoload $smlnj/cmb.cm (if not already autoloaded)
455    3. Type
456          #set (CMB.symval "USE_64_BIT_POSITIONS") (SOME 1);
457    4. Run CMB.make() as usual.
458    
459    This is barely tested.  The only test so far was a little SML program
460    counting the number of characters in an 8-gigabyte file by
461    reading it character-by-character.  That test was successful.
462    
463    In support of 64-bit positions, a number of new functions have been
464    added to the runtime system.
465    
466    ----------------------------------------------------------------------
467    Name: Matthias Blume (blume (at) tti - c (dot) org)
468    Date: 2004/11/23 14:45:00 CST
469    Tag: blume-20041123-useFile
470    Description:
471    
472    Fixed a problem with unhelpful error messages related to problems with
473    .cm- or .sml files that appear as part of the sml command line.
474    
475    ----------------------------------------------------------------------
476    Name: Matthias Blume (blume (at) tti - c (dot) org)
477    Date: 2004/11/18 15:40:00 CST
478    Tag: Release_110_51
479    Description:
480    
481    New working version (110.51).  NEW BOOTFILES!
482    
483    ----------------------------------------------------------------------
484    Name: Matthias Blume (blume (at) tti - c (dot) org)
485    Date: 2004/11/18 15:35:00 CST
486    Tag: <none>
487    Description:
488    
489    Enabled dlopen and friends for FreeBSD (as recommended by Johannes 5
490    Joemann).
491    
492    ----------------------------------------------------------------------
493    Name: Allen Leung (leunga (at) reservoir (dot) com)
494    Date: 2004/11/17 16:05:21 EST 2004
495    Tag: leunga-20041117-mlrisc-live-kill
496    Description:
497    
498       Added support for MLTree constructs LIVE and KILL
499    to all the architectures.
500    
501    ----------------------------------------------------------------------
502    Name: Matthias Blume (blume (at) tti - c (dot) org)
503    Date: 2004/11/13 00:20:00 CST
504    Tag: blume-20041113-versiontool
505    Description:
506    
507    - Stripped down the versiontool: It now only handles the version number.
508      The date string is generated at bootstrap time (during makeml).
509    
510    - In a previous commit, fixed a minor issue with how polyequal is being
511      translated.  In particular, the code now "looks through" abstractions.
512      This results in slightly fewer polyEqual warnings and hopefully slightly
513      more efficient code.  Important examples for where this matters are
514      the new int64 and word64 types.
515    
516    ----------------------------------------------------------------------
517    Name: Matthias Blume (blume (at) tti - c (dot) org)
518    Date: 2004/11/12 00:30:00 CST
519    Tag: blume-20041112-int64
520    Description:
521    
522    Structure Int64 fully hooked in.  (The implementation is not very
523    efficient, though.)
524    
525    ----------------------------------------------------------------------
526    Name: Matthias Blume (blume (at) tti - c (dot) org)
527    Date: 2004/11/11 17:30:00 CST
528    Tag: blume-20041111-more64
529    Description:
530    
531    All the pieces of Word64 are now there, with the exception of the
532    conversions from and to LargeWord. (Eventually these need to be identities,
533    but for the time being they don't even make sense because LargeWord is
534    32-bit wide.)
535    
536    Also started to add similar support for Int64, but major pieces of that
537    are still missing.
538    
539    ----------------------------------------------------------------------
540    Name: Matthias Blume (blume (at) tti - c (dot) org)
541    Date: 2004/11/11 00:15:00 CST
542    Tag: blume-20041111-word64
543    Description:
544    
545    Structure Word64 is now (almost) complete, word literals and patterns
546    seem to work.  There are a few odd pieces missing.  In particular,
547    I didn't do the {from,to}LargeWord parts because LargeWord is still Word32
548    at the moment.
549    
550    Making Word64 official would mean that LargeWord becomes Word64.  But
551    this requires extreme care because most word-word conversions have to
552    go through LargeWord, so making a mistake means loss of efficiency or
553    worse.  Eventually there will be a solution similar to (but actually
554    simpler than) what I did with IntInf.
555    
556    ----------------------------------------------------------------------
557    Name: Matthias Blume (blume (at) tti - c (dot) org)
558    Date: 2004/11/10 18:12:00 CST
559    Tag: blume-20041110-64bit
560    Description:
561    
562    More 64-bit hacking (but still not even half-way there yet).
563    Also, some assorted improvements to the handling of 8-bit words.
564    
565    ----------------------------------------------------------------------
566    Name: Matthias Blume (blume (at) tti - c (dot) org)
567    Date: 2004/11/09 17:50:00 CST
568    Tag: <none>
569    Description:
570    
571    Started adding some infrastructure for supporting 64-bit int- and
572    word-types.  (Still in its very early stages.)
573    
574    ----------------------------------------------------------------------
575    Name: Matthias Blume (blume (at) tti - c (dot) org)
576    Date: 2004/10/28 10:45:00 CDT
577    Tag: Release_110_50
578    Description:
579    
580    New working version (110.50).  NEW BOOTFILES!
581    
582                 =====================
583    
584    Also:
585    
586      - Changend config/srcarchiveurl from a file just
587        containing the URL string into a file containing
588        shell script code.  The code has access to the $VERSION variable.
589      - Made corresponding changes to config/install.sh and config/unpack.
590      - Default contents of config/srcarchiveurl uses $VERSION and
591        normally does not have to be edited to reflect a version change.
592    
593      (As a result, a version change can be done by just editing
594       config/version, the rest is now automatic.)
595    
596    ----------------------------------------------------------------------
597    Name: Matthias Blume (blume (at) tti - c (dot) org)
598    Date: 2004/10/27 17:50:00 CDT
599    Tag: blume-20041027-btrace-msg
600    Description:
601    
602    BackTrace.monitor now also reports the source of the exception that
603    triggered the trace.
604    
605    ----------------------------------------------------------------------
606    Name: Matthias Blume (blume (at) tti - c (dot) org)
607    Date: 2004/10/27 17:20:00 CDT
608    Tag: blume-20041027-x86-c-calls
609    Description:
610    
611    This is the HISTORY entry for two earlier commits, both concerning
612    the x86 c-calls code in MLRISC:
613    
614      - added a missing LOAD in the code that deals with struct arguments
615      - made sure the caller does not add the wrong number of bytes to the
616        stack pointer after a call of a function returning a struct
617        (the callee already pops the implicit argument which points to
618         the space reserved for the result)
619    
620    ----------------------------------------------------------------------
621  Name: Allen Leung (leunga (at) reservoir (dot) com)  Name: Allen Leung (leunga (at) reservoir (dot) com)
622  Date: 2004/10/24 14:00:00 EST  Date: 2004/10/24 14:00:00 EST
623  Tag: leunga-20041024-x86-gas-fucomip  Tag: leunga-20041024-x86-gas-fucomip
# Line 218  Line 823 
823  Description:  Description:
824    
825  * Moved the "version" magic into its own little library under  * Moved the "version" magic into its own little library under
826  src/system/smlnj/internal.  This avoids expensive reconstruction    src/system/smlnj/internal.  This avoids expensive reconstruction of
827  of a stable src/compiler/core.cm.    a stable src/compiler/core.cm.
828    
829  * At the same time, structure CompilerVersion is now known as structure  * At the same time, structure CompilerVersion is now known as
830  SMLNJVersion.    structure SMLNJVersion.
831    
832  * 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
833    (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.1846

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