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 1638, Wed Sep 29 19:07:58 2004 UTC revision 1885, Mon Feb 13 22:17:29 2006 UTC
# Line 13  Line 13 
13  Description:  Description:
14    
15  ----------------------------------------------------------------------  ----------------------------------------------------------------------
16    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
17    Date: 2006/02/13
18    Tag: jhr-20060213-intel-mac
19    Description:
20    Changed MLRISC x86 CCalls for partial support of MacOS X ABI.
21    
22    ----------------------------------------------------------------------
23    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
24    Date: 2006/02/06
25    Tag: jhr-20060206-intel-mac
26    Description:
27    Changes to support MacOS X on Intel hardware.  The C-calls support in
28    MLRISC must also be updated to support the MacOS X ABI.
29    
30    ----------------------------------------------------------------------
31    Name: Matthias Blume (http://www.tti-c.org/blume/)
32    Date: 2005/12/16 00:15:00 CST
33    Tag: blume-20051216-cm
34    Description:
35    
36    Improved error reporting and handling in CM.
37    
38    ----------------------------------------------------------------------
39    Name: Matthias Blume (http://www.tti-c.org/blume/)
40    Date: 2005/11/21 14:00:00 CST
41    Tag: blume-20051121-html-lib
42    Description:
43    
44    Enabling $/html-lib.cm in config/preloads did not work.  This is fixed
45    now.  (Since the anchor mapping for html-lib.cm is not yet in effect
46    at the time when config/preloads is processed, the library has to
47    be referred to by another name.  In 110.57 this would be
48    $SMLNJ-LIB/HTML/html-lib.cm.  I arranged for $smlnj/smlnj-lib/html-lib.cm
49    to be valid as well.)
50    
51    Thanks to Todd Wilson (Fresno) for alerting me to this issue.
52    
53    ----------------------------------------------------------------------
54    Name: Matthias Blume (http://www.tti-c.org/blume/)
55    Date: 2005/11/19 13:45:00 CST
56    Tag: Release_110_57
57    Description:
58    
59    Moved release tag for 110.57.
60    
61    ----------------------------------------------------------------------
62    Name: Matthias Blume (http://www.tti-c.org/blume/)
63    Date: 2005/11/19 23:35:00 CST
64    Tag: blume-20051119-fish
65    Description:
66    
67    Fixed a problem in config/install.sh where it tries to "fish" the
68    name of the CM metadata directory from the wrong place (because
69    the physical location of basis.cm has changed).  Also, corrected the
70    path anchor for $/html-lib.cm.  (Thanks to M. Fluet for pointing out
71    these problems.)
72    
73    ----------------------------------------------------------------------
74    Name: Matthias Blume (http://www.tti-c.org/blume/)
75    Date: 2005/11/16 14:30:00 CST
76    Tag: blume-orig-110_57
77    Description:
78    
79    New working version (110.57).  NEW BOOTFILES!
80    
81    UPDATE: The release tag has been moved to include a fix for a brown-paper-
82            bag glitch (see above).
83    
84    ----------------------------------------------------------------------
85    Name: Matthias Blume (http://www.tti-c.org/blume/)
86    Date: 2005/11/16 10:25:00 CST
87    Tag: blume-22051116-btrace
88    Description:
89    
90    Fixed problem with bogus exception message when using back-trace
91    facility.
92    
93    ----------------------------------------------------------------------
94    Name: Matthias Blume (http://www.tti-c.org/blume/)
95    Date: 2005/11/15 22:35:00 CST
96    Tag: blume-22051115-array2copy
97    Description:
98    
99    Added simple implementation of Array2.copy.  (Warning: mostly untested.)
100    
101    ----------------------------------------------------------------------
102    Name: Matthias Blume (http://www.tti-c.org/blume/)
103    Date: 2005/11/15 21:35:00 CST
104    Tag: blume-22051115-versiontool
105    Description:
106    
107    Reversed change to src/system/smlnj/internals/versiontool.cm.  This
108    file gets loaded as a tool -- by the equivalent of CM.make during the
109    run of CMB.make.  Thus, CMB's path configuration is meaningless for
110    it.  Instead, it has the status of "user code", so it should use
111    $/basis.cm to refer to the Basis library.  (At least that's true for
112    the purpose of bootstrapping the previous change.  In the future it
113    might make sense to have versiontool.cm refer to
114    $smlnj/basis/basis.cm, i.e., the version of the Basis that the
115    compiler itself uses.)
116    
117    Also patched src/system/testml to have it activate those extra anchor
118    bindings in config/extrapathconfig.
119    
120    ----------------------------------------------------------------------
121    Name: Matthias Blume (http://www.tti-c.org/blume/)
122    Date: 2005/11/15 16:35:00 CST
123    Tag: blume-22051115-libraries
124    Description:
125    
126    This change affects the way the following libraries are tied into
127    the system:
128    
129       $/basis.cm
130       $/smlnj-lib.cm
131       $/pp-lib.cm
132       $/controls-lib.cm
133       $/html-lib.cm
134       $/ml-yacc-lib.cm
135    
136    These libraries are now internally (as seen from the source code
137    of the implementation itself) known by the following names:
138    
139       $smlnj/basis/basis.cm
140       $smlnj/smlnj-lib/smlnj-lib.cm
141       $smlnj/smlnj-lib/pp-lib.cm
142       $smlnj/smlnj-lib/controls-lib.cm
143       $smlnj/smlnj-lib/html-lib.cm
144       $smlnj/ml-yacc/ml-yacc-lib.cm
145    
146    This makes it possible to work with code that requires different
147    versions of these libraries, and which refers to these libraries using
148    their "default" names (i.e., the first set of names above).  In other
149    words, one can un-define or re-define those default names without
150    compromising the proper functioning of the compiler itself.
151    
152    A similar procedure had already been performed for several of the
153    MLRISC libraries that are linked into the compiler.  I did some
154    cleanup on this code.
155    
156    A new file in the config directory (named extrapathconfig) is
157    responsible for setting up path anchors that the compiler itself does
158    not need, but that are typically required by user code.
159    
160    ----------------------------------------------------------------------
161    Name: Matthias Blume
162    Date: 2005/11/07 17:05:00 CST
163    Tag: blume-20051107-slice
164    Description:
165    
166    Fixed erroneous out-of-bounds test in the "update" function of
167    various *ArraySlice modules.  (Thanks to Vesa A. Norrman for pointing
168    out the problem.)
169    
170    Pushed some Basis changes through ML-Lex, CML, and eXene.
171    
172    ----------------------------------------------------------------------
173    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
174    Date: 2005/11/07
175    Description:
176    Fixed a Basis incompatibility: The depreciated function Substring.all
177    was removed (use Substring.full instead).
178    
179    ----------------------------------------------------------------------
180    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
181    Date: 2005/11/05
182    Description:
183    Tweaked interval set API in SML/NJ library; see the CHANGES file for details.
184    
185    ----------------------------------------------------------------------
186    Name: Matthias Blume (http://www.tti-c.org/blume/)
187    Date: 2005/11/02 16:25:00 CST
188    Tag: blume-20051102-hex
189    Description:
190    
191    * Runtime system bootstrap code now accepts hex digits in BOOTLIST
192      in either upper case or lower case format.
193    * Pushed changes to names of Pack<N>{Big,Little} structures through
194      CML and eXene.
195    
196    ----------------------------------------------------------------------
197    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
198    Date: 2005/11/02
199    Description:
200    Fixed a Basis incompatibility: Pack<N>{Big,Little} structures should
201    be called PackWord<N>{Big,Little}.
202    
203    ----------------------------------------------------------------------
204    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
205    Date: 2005/10/28
206    Description:
207    Fixed a minor Basis incompatibility: hex digits should be upper case.
208    
209    ----------------------------------------------------------------------
210    Name: Matthias Blume (blume (at) tti - c (dot) org)
211    Date: 2005/10/25 16:00:00 CDT
212    Tag: Release_110_56
213    Description:
214    
215    New working version (110.56).  NEW BOOTFILES!
216    
217    ----------------------------------------------------------------------
218    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
219    Date: 2005/10/25
220    Description:
221    Added interval sets to utility library (signatures INTERVAL_DOMAIN
222    and INTERVAL_SET, and functor IntervalSetFn).
223    
224    ----------------------------------------------------------------------
225    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
226    Date: 2005/10/14
227    Description:
228    Add Zhong Shao's fix for datatype equality functions.
229    
230    ----------------------------------------------------------------------
231    Name: Allen Leung (leunga (at) reservoir (dot) com)
232    Date: 2005/10/14 12:30:00 EST
233    Tag: leunga-20051014-x86-spill
234    Description:
235    
236    Bug fix a bug found by Carl Hauser.
237    There was a typo in the reload code for FCMP in x86SpillInstr.sml.
238    
239    ----------------------------------------------------------------------
240    Name: Allen Leung (leunga (at) reservoir (dot) com)
241    Date: 2005/10/14 11:15:00 EST
242    Tag: leunga-20051014-x86-asm
243    Description:
244    
245    Removed some debugging code in file x86Asm.sml.
246    The function emit_operand was printing out debugging output.
247    
248    ----------------------------------------------------------------------
249    Name: John Reppy
250    Date: 2005/07/27
251    Tag:
252    Description:
253    
254    Fixed ml-lex to recognize "\r" as representing carriage return.
255    
256    ----------------------------------------------------------------------
257    Name: John Reppy
258    Date: 2005/07/27
259    Tag:
260    Description:
261    
262    Fixed ml-yacc to work on files with non-native end-of-line
263    encodings (e.g., Windows text file on a Unix system).
264    
265    ----------------------------------------------------------------------
266    Name: John Reppy
267    Date: 2005/07/20
268    Tag:
269    Description:
270    
271    Added changes from Dominic Evans (oldmanuk (at) gmail (dot) com)
272    to support HPUX 11.
273    
274    ----------------------------------------------------------------------
275    Name: John Reppy
276    Date: 2005/07/06
277    Tag:
278    Description:
279    
280    Changes to the SML/NJ library.  See smlnj-lib/CHANGES for details.
281    
282    ----------------------------------------------------------------------
283    Name: Matthias Blume (blume (at) tti - c (dot) org)
284    Date: 2005/07/06 00:45:00 CDT
285    Tag: blume-20050706-slice-copy
286    Description:
287    
288    Fixed reversed logic for deciding whether to "copy up" or "copy down"
289    in *-array-slice.sml.
290    
291    ----------------------------------------------------------------------
292    Name: Allen Leung (leunga (at) reservoir (dot) com)
293    Date: 2005/05/31 17:00:00 EST
294    Tag: leunga-20050531-cygwin-fault-2
295    Description:
296    
297    A typo in the cygwin code fixed.
298    
299    ----------------------------------------------------------------------
300    Name: Allen Leung (leunga (at) reservoir (dot) com)
301    Date: 2005/05/31 16:47:00 EST
302    Tag: leunga-20050531-cygwin-fault
303    Description:
304    
305    Updated Cygwin's fault/signal handling to match the Windows version.
306    Updated the export list.
307    
308    ----------------------------------------------------------------------
309    Name: Matthias Blume (blume (at) tti - c (dot) org)
310    Date: 2005/05/18 13:35:00 CDT
311    Tag: Release_110_54
312    Description:
313    
314    New working version (110.54).  NEW BOOTFILES!
315    
316    ----------------------------------------------------------------------
317    Name: Matthias Blume (blume (at) tti - c (dot) org)
318    Date: 2005/05/18 11:58:00 CDT
319    Tag: blume-20050518-installer
320    Description:
321    
322    Added support scripts for Mac OS X PackageMaker and modified
323    config/install.sh so that it supports re-dumping a heap image
324    after customization.
325    
326    ----------------------------------------------------------------------
327    Name: Matthias Blume (blume (at) tti - c (dot) org)
328    Date: 2005/05/18 10:55:00 CDT
329    Tag: blume-20050518-realdiv-noovld
330    Description:
331    
332    Un-overloaded / to work around bug in overloading resolution code.
333    
334    ----------------------------------------------------------------------
335    Name: Matthias Blume (blume (at) tti - c (dot) org)
336    Date: 2005/05/16 23:50:00 CDT
337    Tag: blume-20050516-redump-heap
338    Description:
339    
340    Added mechanism for re-creating a heap file for the interactive system
341    after configuration variables have been changed.
342    
343       CM.redump_heap : string -> unit
344    
345    This is much like SMLofNJ.exportML, but starting from the resulting
346    heap does not return to the caller of CM.redump_heap but
347    restarts the interactive system from scratch.  The original call of
348    CM.redump_heap does not return but ends the interactive session.
349    Thus, CM.redump_heap is a lot like SMLofNJ.exportFn.
350    
351    Internally, redump_heap winds the dynamic execution context back to
352    the point where the original heap image was created and re-executes
353    the heap image generation code in the boot code.
354    
355    ----------------------------------------------------------------------
356    Name: Matthias Blume (blume (at) tti - c (dot) org)
357    Date: 2005/05/09 21:55:00 CDT
358    Tag: blume-20050509-word64
359    Description:
360    
361    Added a hack to the existing hack known as Word64 to make fromString
362    behave correctly.  I am still not sure whether Word64.scan will work
363    as specified with respect to the interaction of radix and prefix.
364    
365    ----------------------------------------------------------------------
366    Name: Allen Leung (leunga (at) reservoir (dot) com)
367    Date: 2005/05/04 11:50:00 EST
368    Tag: leunga-20050504-checkgc
369    Description:
370    
371    Added a gc protocol checking phase.  This phase is enabled with
372    the flag "check-gc".  "debug-check-gc" turns on the verbose mode.
373    
374    ----------------------------------------------------------------------
375    Name: Matthias Blume (blume (at) tti - c (dot) org)
376    Date: 2005/05/04 10:45:00 CDT
377    Tag: blume-20050504-intinf
378    Description:
379    
380    Fixed a bug in the implementation of div and mod for IntInf.
381    Thanks to Neophytos Michael for reporting the problem.
382    
383    ----------------------------------------------------------------------
384    Name: Matthias Blume (blume (at) tti - c (dot) org)
385    Date: 2005/05/04 10:35:00 CDT
386    Tag: blume-20050504-join
387    Description:
388    
389    Added a "join" combinator to the ParserComb module in smlnj-lib.cm.
390    
391    ----------------------------------------------------------------------
392    Name: Matthias Blume (blume (at) tti - c (dot) org)
393    Date: 2005/02/28 23:40:00 CST
394    Tag: blume-20050228-mVar
395    Description:
396    
397    Fixed serious bug (brown paper bag variety) in new implementation of
398    structure Atom in CML.  (I had accidentally used a mailbox instead of
399    an mvar, leaving the door open for races.)
400    
401    ----------------------------------------------------------------------
402    Name: Matthias Blume (blume (at) tti - c (dot) org)
403    Date: 2005/02/25 15:00:00 CST
404    Tag: Release_110_53
405    Description:
406    
407    New working version (110.53).  NEW BOOTFILES!
408    
409    ----------------------------------------------------------------------
410    Name: Matthias Blume (blume (at) tti - c (dot) org)
411    Date: 2005/02/25 14:50:00 CST
412    Tag: blume-20050225-susp
413    Description:
414    
415    Brought back SMLofNJ.Susp.  The underlying suspension type is the one
416    implemented in Core -- which means that it is the same as the one used
417    by the lazy extension.
418    
419    ----------------------------------------------------------------------
420    Name: Matthias Blume (blume (at) tti - c (dot) org)
421    Date: 2005/02/24 16:50:00 CST
422    Tag: blume-20050224-cml-atom
423    Description:
424    
425    Simpler and at the same time more general implementation of structure
426    Atom in CML.
427    
428    ----------------------------------------------------------------------
429    Name: Matthias Blume (blume (at) tti - c (dot) org)
430    Date: 2005/02/15 17:35:00 CST
431    Tag: blume-20050215-tools
432    Description:
433    
434    Created new "tools" directory under "src" and moved "TraceDebugProf"
435    there.
436    
437    ----------------------------------------------------------------------
438    Name: Matthias Blume (blume (at) tti - c (dot) org)
439    Date: 2005/02/10 17:55:00 CST
440    Tag: blume-20050210-longlong
441    Description:
442    
443    Implemented "long long" arguments and results for NLFFI.  (Only the
444    PPC/MacOS implementation is complete, the other backends still need to
445    be updated.)
446    
447    ----------------------------------------------------------------------
448    Name: Matthias Blume (blume (at) tti - c (dot) org)
449    Date: 2005/01/24 17:40:00 CST
450    Tag: blume-20050124-mlyacc
451    Description:
452    
453    Minor cleanup in ML-Yacc rule printing mechanism.  This should fix a
454    problem with certain "as" patterns which previously got rendered
455    using incorrect syntax.
456    
457    ----------------------------------------------------------------------
458    Name: Matthias Blume (blume (at) tti - c (dot) org)
459    Date: 2005/01/18 12:00:00 CST
460    Tag: blume-20050118-profile
461    Description:
462    
463    Made time profiling code (interrupt handler) in runtime system aware
464    of new array representation.
465    
466    ----------------------------------------------------------------------
467    Name: Matthias Blume (blume (at) tti - c (dot) org)
468    Date: 2005/01/14 18:00:00 CST
469    Tag: blume-20050114-heap2exec
470    Description:
471    
472    Implemented new (but still experimental) heap2exec facility.  This is
473    tested under Mac OS X and should work under Linux (will test shortly).
474    It will probably also work on the Sparc (will test some time later).
475    
476      - removed old "HACKED_STANDALONE" hack from runtime
477    
478    To be able to test this, uncomment the request for "heap2asm" in
479    config/targets prior to installation.  (Notice that this is different
480    from "heap2exec" mentioned below.  Not a typo.)
481    
482    To perform an actual test, run the command
483    
484       $ bin/heap2exec heapfile execfile
485    
486    (You can put heap2exec on your shell's path.)
487    
488    For example, run
489    
490      $ bin/heap2exec bin/.heap/ml-yacc.ppc-darwin mly
491    
492    This will create a standalone executable called "mly" which you can
493    then invoke directly as a command.
494    
495    ----------------------------------------------------------------------
496    Name: Matthias Blume (blume (at) tti - c (dot) org)
497    Date: 2005/01/07 11:44:00 CST
498    Tag: blume-20050107-mlstring
499    Description:
500    
501    fixed off-by-one error in ML_STRING macro (globals.c)
502    
503    ----------------------------------------------------------------------
504    Name: Matthias Blume (blume (at) tti - c (dot) org)
505    Date: 2004/12/23 18:00:00 CST
506    Tag: blume-20041223-santa
507    Description:
508    
509    Made ml-build script "smarter" (but only very little).
510    
511    ----------------------------------------------------------------------
512    Name: Matthias Blume (blume (at) tti - c (dot) org)
513    Date: 2004/12/21 15:05:00 CST
514    Tag: blume-20041221-longlong
515    Description:
516    
517    * Implemented access to signed and unsigned long long data in NLFFI.
518    (The parameter-passing part of the picture has not complete. But
519    data structure access seems to work.)
520    
521    * Fixed CM's incorrect assumption that the PPC is little-endian.
522      (On the Mac, it is big-endian.  And that's currently our only
523      PPC platform.)
524    
525    ----------------------------------------------------------------------
526    Name: Matthias Blume (blume (at) tti - c (dot) org)
527    Date: 2004/12/21 12:50:00 CST
528    Tag: blume-20041221-memory
529    Description:
530    
531    Some cleanup in the $c/memory.cm library: separated some concerns by
532    moving allocation code and memory access code each into their own
533    files.
534    
535    ----------------------------------------------------------------------
536    Name: Allen Leung (leunga (at) reservoir (dot) com)
537    Date: 2004/12/17 16:12:00 EST
538    Tag: leunga-20041217-cygwin-smlnj-home
539    Description:
540    
541        The Unix I/O library of SML/NJ on cygwin does not understand
542    Windows style pathname, so problems arise when SMLNJ_HOME is set
543    to a Windows style pathname.  _run-sml now converts SMLNJ_HOME
544    to a POSIX pathname on cygwin.
545    
546    ----------------------------------------------------------------------
547    Name: Matthias Blume (blume (at) tti - c (dot) org)
548    Date: 2004/12/16 13:35:00 CST
549    Tag: Release_110_52
550    Description:
551    
552    Last-minute changes incorporated into 110.52.  Release tag moved.
553    
554    The changes:
555       - HashString.hashString' -> HashString.hashSubstring
556       - bug fix in UnivariateStats
557    
558    ----------------------------------------------------------------------
559    Name: Matthias Blume (blume (at) tti - c (dot) org)
560    Date: 2004/12/15 23:40:00 CST
561    Tag: blume-20041215-hashSubstring
562    Description:
563    
564    - HashString.hashString' -> HashString.hashSubstring
565    - corresponding changes in atom.sml
566    - "de-compressed" (aka. un-obfuscated) code for UnivariateStats and
567      added some comments
568    
569    ----------------------------------------------------------------------
570    Name: Matthias Blume (blume (at) tti - c (dot) org)
571    Date: 2004/12/15 15:30:00 CST
572    Tag: (Release_110_52)
573    Description:
574    
575    New working version (110.52).  NEW BOOTFILES!
576    
577    ----------------------------------------------------------------------
578    Name: Matthias Blume (blume (at) tti - c (dot) org)
579    Date: 2004/12/15 12:45:00 CST
580    Tag: blume-20041215-spaces
581    Description:
582    
583    More on the space problem (this time for Win32).
584    
585    ----------------------------------------------------------------------
586    Name: Matthias Blume (blume (at) tti - c (dot) org)
587    Date: 2004/12/14 17:30:00 CST
588    Tag: blume-20041214-spaces
589    Description:
590    
591    Hacked some of the scripts (in particular: the installer) to cope with
592    spaces in filenames a bit better.  But beware: the current "solution"
593    is likely still full of bugs and inherently incomplete.  (We need to
594    do away with those shell scripts for a comprehensive solution.)
595    
596    ----------------------------------------------------------------------
597    Name: Matthias Blume (blume (at) tti - c (dot) org)
598    Date: 2004/12/13 14:45:00 CST
599    Tag: blume-20041213-ml-makedepend
600    Description:
601    
602    Fixed bug in code for ml-makedepend.
603    
604    ----------------------------------------------------------------------
605    Name: Matthias Blume (blume (at) tti - c (dot) org)
606    Date: 2004/12/09 16:30:00 CST
607    Tag: blume-20041209-statistics
608    Description:
609    
610    Added two simple but potentially useful statistics modules to SML/NJ Library.
611    (See CHANGES file there.)
612    
613    ----------------------------------------------------------------------
614    Name: Matthias Blume (blume (at) tti - c (dot) org)
615    Date: 2004/12/01 16:50:00 CST
616    Tag: blume-20041201-atom
617    Description:
618    
619    smlnj-lib:
620    
621      Added function HashString.hashString' for substrings.
622      Hand-inlined CharVector.foldl into HashString (for speed).
623      Modified implementation of structure Atom to avoid extracting
624      strings from substrings unless necessary.
625      (Also see CHANGES file for smlnj-lib.)
626    
627    ----------------------------------------------------------------------
628    Name: Matthias Blume (blume (at) tti - c (dot) org)
629    Date: 2004/11/24 22:15:00 CST
630    Tag: blume-20041124-cml
631    Description:
632    
633    Made sure CML compiles when Position = Int64.
634    
635    ----------------------------------------------------------------------
636    Name: Matthias Blume (blume (at) tti - c (dot) org)
637    Date: 2004/11/24 14:30:00 CST
638    Tag: blume-20041124-position
639    Description:
640    
641    The compiler can now be compiled in a mode that makes structure Position
642    equal to Int64.  The default, however, is unchanged (Position = Int31)
643    for the time being.
644    
645    To enable 64-bit positions, use the following procedure:
646    
647    1. Start sml
648    2. Autoload $smlnj/cmb.cm (if not already autoloaded)
649    3. Type
650          #set (CMB.symval "USE_64_BIT_POSITIONS") (SOME 1);
651    4. Run CMB.make() as usual.
652    
653    This is barely tested.  The only test so far was a little SML program
654    counting the number of characters in an 8-gigabyte file by
655    reading it character-by-character.  That test was successful.
656    
657    In support of 64-bit positions, a number of new functions have been
658    added to the runtime system.
659    
660    ----------------------------------------------------------------------
661    Name: Matthias Blume (blume (at) tti - c (dot) org)
662    Date: 2004/11/23 14:45:00 CST
663    Tag: blume-20041123-useFile
664    Description:
665    
666    Fixed a problem with unhelpful error messages related to problems with
667    .cm- or .sml files that appear as part of the sml command line.
668    
669    ----------------------------------------------------------------------
670    Name: Matthias Blume (blume (at) tti - c (dot) org)
671    Date: 2004/11/18 15:40:00 CST
672    Tag: Release_110_51
673    Description:
674    
675    New working version (110.51).  NEW BOOTFILES!
676    
677    ----------------------------------------------------------------------
678    Name: Matthias Blume (blume (at) tti - c (dot) org)
679    Date: 2004/11/18 15:35:00 CST
680    Tag: <none>
681    Description:
682    
683    Enabled dlopen and friends for FreeBSD (as recommended by Johannes 5
684    Joemann).
685    
686    ----------------------------------------------------------------------
687    Name: Allen Leung (leunga (at) reservoir (dot) com)
688    Date: 2004/11/17 16:05:21 EST 2004
689    Tag: leunga-20041117-mlrisc-live-kill
690    Description:
691    
692       Added support for MLTree constructs LIVE and KILL
693    to all the architectures.
694    
695    ----------------------------------------------------------------------
696    Name: Matthias Blume (blume (at) tti - c (dot) org)
697    Date: 2004/11/13 00:20:00 CST
698    Tag: blume-20041113-versiontool
699    Description:
700    
701    - Stripped down the versiontool: It now only handles the version number.
702      The date string is generated at bootstrap time (during makeml).
703    
704    - In a previous commit, fixed a minor issue with how polyequal is being
705      translated.  In particular, the code now "looks through" abstractions.
706      This results in slightly fewer polyEqual warnings and hopefully slightly
707      more efficient code.  Important examples for where this matters are
708      the new int64 and word64 types.
709    
710    ----------------------------------------------------------------------
711    Name: Matthias Blume (blume (at) tti - c (dot) org)
712    Date: 2004/11/12 00:30:00 CST
713    Tag: blume-20041112-int64
714    Description:
715    
716    Structure Int64 fully hooked in.  (The implementation is not very
717    efficient, though.)
718    
719    ----------------------------------------------------------------------
720    Name: Matthias Blume (blume (at) tti - c (dot) org)
721    Date: 2004/11/11 17:30:00 CST
722    Tag: blume-20041111-more64
723    Description:
724    
725    All the pieces of Word64 are now there, with the exception of the
726    conversions from and to LargeWord. (Eventually these need to be identities,
727    but for the time being they don't even make sense because LargeWord is
728    32-bit wide.)
729    
730    Also started to add similar support for Int64, but major pieces of that
731    are still missing.
732    
733    ----------------------------------------------------------------------
734    Name: Matthias Blume (blume (at) tti - c (dot) org)
735    Date: 2004/11/11 00:15:00 CST
736    Tag: blume-20041111-word64
737    Description:
738    
739    Structure Word64 is now (almost) complete, word literals and patterns
740    seem to work.  There are a few odd pieces missing.  In particular,
741    I didn't do the {from,to}LargeWord parts because LargeWord is still Word32
742    at the moment.
743    
744    Making Word64 official would mean that LargeWord becomes Word64.  But
745    this requires extreme care because most word-word conversions have to
746    go through LargeWord, so making a mistake means loss of efficiency or
747    worse.  Eventually there will be a solution similar to (but actually
748    simpler than) what I did with IntInf.
749    
750    ----------------------------------------------------------------------
751    Name: Matthias Blume (blume (at) tti - c (dot) org)
752    Date: 2004/11/10 18:12:00 CST
753    Tag: blume-20041110-64bit
754    Description:
755    
756    More 64-bit hacking (but still not even half-way there yet).
757    Also, some assorted improvements to the handling of 8-bit words.
758    
759    ----------------------------------------------------------------------
760    Name: Matthias Blume (blume (at) tti - c (dot) org)
761    Date: 2004/11/09 17:50:00 CST
762    Tag: <none>
763    Description:
764    
765    Started adding some infrastructure for supporting 64-bit int- and
766    word-types.  (Still in its very early stages.)
767    
768    ----------------------------------------------------------------------
769    Name: Matthias Blume (blume (at) tti - c (dot) org)
770    Date: 2004/10/28 10:45:00 CDT
771    Tag: Release_110_50
772    Description:
773    
774    New working version (110.50).  NEW BOOTFILES!
775    
776                 =====================
777    
778    Also:
779    
780      - Changend config/srcarchiveurl from a file just
781        containing the URL string into a file containing
782        shell script code.  The code has access to the $VERSION variable.
783      - Made corresponding changes to config/install.sh and config/unpack.
784      - Default contents of config/srcarchiveurl uses $VERSION and
785        normally does not have to be edited to reflect a version change.
786    
787      (As a result, a version change can be done by just editing
788       config/version, the rest is now automatic.)
789    
790    ----------------------------------------------------------------------
791    Name: Matthias Blume (blume (at) tti - c (dot) org)
792    Date: 2004/10/27 17:50:00 CDT
793    Tag: blume-20041027-btrace-msg
794    Description:
795    
796    BackTrace.monitor now also reports the source of the exception that
797    triggered the trace.
798    
799    ----------------------------------------------------------------------
800    Name: Matthias Blume (blume (at) tti - c (dot) org)
801    Date: 2004/10/27 17:20:00 CDT
802    Tag: blume-20041027-x86-c-calls
803    Description:
804    
805    This is the HISTORY entry for two earlier commits, both concerning
806    the x86 c-calls code in MLRISC:
807    
808      - added a missing LOAD in the code that deals with struct arguments
809      - made sure the caller does not add the wrong number of bytes to the
810        stack pointer after a call of a function returning a struct
811        (the callee already pops the implicit argument which points to
812         the space reserved for the result)
813    
814    ----------------------------------------------------------------------
815    Name: Allen Leung (leunga (at) reservoir (dot) com)
816    Date: 2004/10/24 14:00:00 EST
817    Tag: leunga-20041024-x86-gas-fucomip
818    Description:
819    
820       John discovered a bug in the syntax of fucomip.
821       The opcodes FU?COMIP? have been changed to
822    
823           fu?comip? %st(i), %st
824    
825    ----------------------------------------------------------------------
826    Name: Matthias Blume (blume (at) tti - c (dot) org)
827    Date: 2004/10/20 15:06:00 CDT
828    Tag: blume-20041020-standalone-backtrace
829    Description:
830    
831    Added a mechanism for getting back-trace information from standalone
832    programs.  Here is how it works:
833    
834       1. The part of the program from which you want to get backtrace
835          information (usually the whole program) should be wrapped with
836          BackTrace.monitor.  This is a (unit->'a)->'a function, and your
837          main program could be modified from something like
838    
839             fun main (pgm, args) = ...
840    
841         to
842    
843            fun main (pgm, args) = BackTrace.monitor (fn () => ...)
844    
845       2. To be able to access BackTrace.monitor, you have to add
846          library $smlnj-tdp/plugins.cm to the .cm file that contains your
847          main function.
848    
849       3. Remove all compiled code (i.e., all the .cm/ subdirectories that
850          CM might have created in the past for your project).
851    
852       4. Build the system using this command line:
853    
854             ml-build -Ctdp.instrument=true \$smlnj-tdp/back-trace.cm \
855                      myprog.cm MyProg.main myprog
856    
857          instead of the usual
858    
859             ml-build myprog.cm MyProg.main myprog
860    
861    I changed a library name:
862    
863       $/trace-debug-profile.cm --> $smlnj-tdp/plugins.cm
864    
865    New libraries:
866    
867       $smlnj-tdp/back-trace.cm
868          -- when loaded causes the back-trace plugin to be installed
869       $smlnj-tdp/coverage.cm
870          -- when loaded causes the coverage plugin to be installed
871    
872    ----------------------------------------------------------------------
873    Name: Matthias Blume (blume (at) tti - c (dot) org)
874    Date: 2004/10/18 16:45:00 CDT
875    Tag: blume-20041018-groupowner
876    Description:
877    
878    Added an "obsolete" warning for the "group owner" syntax to CM's parser.
879    
880    Eliminated group owner specs from .cm files throughout the source tree.
881    
882    ----------------------------------------------------------------------
883    Name: Matthias Blume (blume (at) tti - c (dot) org)
884    Date: 2004/10/15 15:45:00 CDT
885    Tag: blume-20041015-coverage
886    Description:
887    
888    * Test coverage tool added!
889    * Further reorganization of tracing-, debugging-, and profiling support:
890    
891        - moved original BTImp -- now called BackTrace -- into a separate
892          library called $/trace-debug-profile.cm
893        - eliminated all mentions of BTrace from SMLofNJ.Internals
894        - only the instrumentation mechanism is now left in the compiler proper
895        - BackTrace module is a plugin which is NOT plugged in by default
896        - Coverage module is another such plugin
897    
898    To get the benefits of any of these plugin modules, the code in
899    question must be compiled with tdp instrumentation turned on.  This
900    can be done by setting SMLofNJ.Internals.TDP.mode to true.
901    (The ref cell is also controlled via the -Ctdp.instrument=... switch.)
902    
903    Plugins are selected at link time.  (Pre-compiled instrumented code
904    can be re-loaded with different plugins in effect.)  When an
905    instrumented module is linked, whatever plugins are at that time
906    enabled will come into effect for that module.
907    
908    To enable the back-trace plugin, load library $/trace-debug-profile.cm
909    and invoke BackTrace.install() (e.g., from the interactive prompt).
910    To enable the coverage plugin, load the same library and invoke
911    Coverage.install().
912    
913    Back-traces are generated automatically on uncaught exceptions and
914    when the code in question explicitly invokes BackTrace.trigger().
915    
916    Coverage (and execution frequency-) information must be queried
917    explicitly by calling Coverage.not_covered and Coverage.hot_spots.
918    
919    ----------------------------------------------------------------------
920    Name: Matthias Blume (blume (at) tti - c (dot) org)
921    Date: 2004/10/14 17:40:00 CDT
922    Tag: blume-20041014-tdp-core
923    Description:
924    
925    Snapshot of a significant overhaul of how the trace/debug/profile support
926    is hooked into the system (specifically: Core and SMLofNJ.Internals).
927    
928    ----------------------------------------------------------------------
929    Name: Matthias Blume (blume (at) tti - c (dot) org)
930    Date: 2004/10/13 16:34:00 CDT
931    Tag: blume-20041013-tdp
932    Description:
933    
934    Some rationalization of names:
935    
936       structure BTrace -> structure TDPInstrument
937       etc.
938    
939    This is is preparation of using the original back-trace
940    instrumentation for other purposes.  "TDP" stands for
941    Trace/Debug/Profile.
942    
943    The control flag controlling whether instrumentation is on or off is now
944    registered under a different name, so instead of running sml as
945    
946     sml -Cinstrument.btrace-mode=true
947    
948    one has to say
949    
950     sml -Ctdp.instrument=true
951    
952    ----------------------------------------------------------------------
953    Name: Matthias Blume (blume (at) tti - c (dot) org)
954    Date: 2004/10/11 16:37:00 CDT
955    Tag: blume-20041011-regions
956    Description:
957    
958    Made some minor modifications to elabcore.sml to have source regions
959    be propagated more tightly -- resulting in better (i.e., smaller)
960    regions being reported in error- and debug messages.
961    
962    ----------------------------------------------------------------------
963    Name: Matthias Blume (blume (at) tti - c (dot) org)
964    Date: 2004/10/08 22:50:00 CDT
965    Tag: blume-20041008-cmkw
966    Description:
967    
968    Fixed handling of keywords in .cm files: After seeing "is" the lexer
969    treats subsequent occurrences of "group", "library", "source", "is",
970    "*", and "-" as ordinary identifiers rather than keywords.
971    
972    Most seriously, this fixes a problem with CM's "shell" tool.  The tool
973    is supposed to accept a tool argument called "source", but this did
974    not work because of the clash with the keyword.
975    
976    ----------------------------------------------------------------------
977    Name: Matthias Blume (blume (at) tti - c (dot) org)
978    Date: 2004/10/07 16:00:00 CDT
979    Tag: blume-20041007-cleanup
980    Description:
981    
982    Assorted cleanup work:
983    
984      - got rid of intstrmap in favor of using the library's
985        hash table implementation
986      - threw out most of the pathnames stuff, as it was not used anyway
987      - simplified tokentable implementation
988      - fixed some minor spelling errors
989    
990    ----------------------------------------------------------------------
991    Name: Matthias Blume (blume (at) tti - c (dot) org)
992    Date: 2004/10/06 15:15:15 CDT
993    Tag: blume-20041006-handler
994    Description:
995    
996    Cleaned up the absyn to reflect the invariant that HANDLE always
997    carries a FNexp as part of the type definition.  This eliminates some
998    superfluous sanity checks at runtime down the road.
999    
1000    Some minor cleanup of the btrace code.
1001    
1002    ----------------------------------------------------------------------
1003    Name: Matthias Blume (blume (at) tti - c (dot) org)
1004    Date: 2004/10/01 10:20:30 CDT
1005    Tag: blume-20041001-slave
1006    Description:
1007    
1008    Added hack to make slave mode work in the presence of the version
1009    tool.  (Still, since the master does two passes over the code for
1010    CMB.make, the release number gets bumped twice when slaves are
1011    attached.  I don't know if this is worth fixing...)
1012    
1013    ----------------------------------------------------------------------
1014    Name: Matthias Blume (blume (at) tti - c (dot) org)
1015    Date: 2004/09/30 10:55:00 CDT
1016    Tag: blume-20040930-version
1017    Description:
1018    
1019    * Moved the "version" magic into its own little library under
1020      src/system/smlnj/internal.  This avoids expensive reconstruction of
1021      a stable src/compiler/core.cm.
1022    
1023    * At the same time, structure CompilerVersion is now known as
1024      structure SMLNJVersion.
1025    
1026    * Arranged for the version tool to NOT kick in when rebuilding the system
1027      (makeml -rebuild, fixpt).  Otherwise one would never reach a fixpoint.
1028      Also, loading the versiontool does not work when rebuilding the system
1029      because CM is not properly initialized at that time.
1030    
1031    ----------------------------------------------------------------------
1032  Name: Matthias Blume (blume (at) tti - c (dot) org)  Name: Matthias Blume (blume (at) tti - c (dot) org)
1033  Date: 2004/09/29 14:00:00 CDT  Date: 2004/09/29 14:00:00 CDT
1034  Tag: blume-20040929-autoversion  Tag: blume-20040929-autoversion

Legend:
Removed from v.1638  
changed lines
  Added in v.1885

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