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

Legend:
Removed from v.1656  
changed lines
  Added in v.1837

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