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

Legend:
Removed from v.1686  
changed lines
  Added in v.1862

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