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

sml/trunk/HISTORY revision 1737, Thu Dec 16 19:38:22 2004 UTC sml/trunk/NOTES/HISTORY revision 2360, Mon Mar 19 19:55:24 2007 UTC
# Line 1  Line 1 
1  This is the HISTORY file for the Yale SML/NJ CVS repository.  This is the HISTORY file for the SML/NJ repository.
2    
3  An entry should be made for _every_ commit to the repository.  An entry should be made for _every_ commit to the repository.
4  The entries in this file will be used when creating the README  The entries in this file will be used when creating the README
# Line 7  Line 7 
7    
8  The form of an entry should be:  The form of an entry should be:
9    
10  Name:  
11    Name: Your Name (web page or e-mail)
12    Date: yyyy/mm/dd hh:mm:ss
13    Tag: cvs-tag-for-this-change
14    Description:
15    
16    ----------------------------------------------------------------------
17    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
18    Date: 2007/03/19
19    Description:
20    
21    Fixed bogus operand sizes in AMD64 instruction spilling.
22    
23    ----------------------------------------------------------------------
24    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
25    Date: 2007/03/19
26    Description:
27    
28    Fixed a number of inconsistencies between the Posix.TTY structure
29    and the Basis specification.  Thanks to Adam Chilpala.
30    
31    ----------------------------------------------------------------------
32    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
33    Date: 2007/02/26
34    Description:
35    
36    Added preliminary support in MLRISC for Staged Allocation, a technique
37    for specifying calling conventions (see
38    http://www.eecs.harvard.edu/~nr/pubs/staged-abstract.html).
39    Initially, we plan to use this code to generate C calls for the AMD64.
40    
41    The staged allocation code base resides in MLRISC/staged-allocation,
42    and specialized calling conventions go in MLRISC/ARCH/staged-allocation.
43    
44    ----------------------------------------------------------------------
45    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
46    Date: 2007/02/20
47    Description:
48    
49      Bug fix: when SaveCState was called with two values to save, a subsequent
50      GC could cause the RestoreCState to fail because the saved state had been
51      promoted to tagless pair.
52    
53    ----------------------------------------------------------------------
54    Name: Allen Leung (leunga (at) reservoir (dot) com)
55    Date: 2007/02/20 19:08:00 EST
56    Description:
57    
58        Bug triggered by:
59    
60        val a1 = Word8Array.array(a1, 0w0);
61        val _  = Word8Array.update(a1, 0, 0w128);
62    
63        x86MCEmitter crashed when the immediate operand to MOVB was outside
64    of the range -128 ... 127.  I've changed the code so that the range
65    check is disabled.   Only the low order 8 bits of the immediate operand
66    are now significant.
67    
68    
69    ----------------------------------------------------------------------
70    Name: Matthias Blume (http://www.tti-c.org/blume/)
71    Date: 2007/02/15 09:20:00 CST
72    Description:
73    
74    Eliminated any mention of lexgen.  (Lexgen was an early precursor
75    to ml-ulex.)
76    
77    You should update your admin directory, so the shell scripts for
78    maintaining your local copy of the repository reflect this change.
79    
80    ----------------------------------------------------------------------
81    Name: Matthias Blume (http://www.tti-c.org/blume/)
82    Date: 2007/02/14 15:45:00 CST
83    Description:
84    
85    Fixed bug in CM's parallel make facility that failed to have
86    the master re-link modules after letting slaves compile them.
87    
88    ----------------------------------------------------------------------
89    Name: Matthias Blume (http://www.tti-c.org/blume/)
90    Date: 2007/02/12 15:10:00 CST
91    Description:
92    
93    Fixed typo in ml-build script that prevented library anchors
94    from being registered.
95    
96    ----------------------------------------------------------------------
97    Name: Matthias Blume (http://www.tti-c.org/blume/)
98    Date: 2007/02/02 15:20:00 CST
99    Tag: release-110.62
100    Description:
101    
102    New working release (110.62).  NEW BOOTFILES!
103    
104    ----------------------------------------------------------------------
105    Name: Aaron Turon (http://www.cs.uchicago.edu/~adrassi)
106    Date: 2007/01/31
107    Description:
108    
109    Brought ml-lpt manual up-to-date with the code.  Many minor
110    improvements to the tools, and a few minor bugfixes.  Prepared
111    ml-lpt-lib for integration with new UTF8 structure.  Changed
112    the interface for creating streams in ml-ulex (we now support
113    stream creation from several kinds of sources).  Overall, the
114    tools are now quite stable, and their interfaces are unlikely to
115    change in a way that would break compatibility.  More work,
116    however, is needed in the documentation.
117    
118    ----------------------------------------------------------------------
119    Name: Matthias Blume (http://www.tti-c.org/blume/)
120    Date: 2007/02/01 10:05:00 CST
121    Description:
122    
123    Implemented library installer.  Moved CM plugin code for
124    ml-burg, ml-lex, and ml-yacc out of CM source tree and into
125    their respective trees.  Implemented CM plugin for ml-ulex
126    and ml-antlr.  Used library installer for ml-burg, ml-ulex,
127    and ml-antlr.
128    
129    For ml-yacc and ml-lex we continue to have permanently "plugged-in"
130    CM tools.  (It turns out to be too messy to do otherwise because
131    there is too much code that during installation relies on the presence
132    of these tools -- resulting in a tricky ordering problem.)
133    
134    ----------------------------------------------------------------------
135    Name: Matthias Blume (http://www.tti-c.org/blume/)
136    Date: 2007/01/30 11:05:00 CST
137    Description:
138    
139    Added SMLofNJ.shiftArgs which is like a shell's "shift" command.
140    Modified CM's startup code to use shiftArgs as it processes
141    command line arguments.  This way, the init code in each .sml-file
142    or library that is mentioned at the top level will see only
143    those arguments that have not yet been processed at this point.
144    In other words, the init code can "seize control" and process the
145    remaining command line.
146    
147    ----------------------------------------------------------------------
148    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
149    Date: 2007/01/30
150    Description:
151    
152    Added fromList function to the ORD_SET interface and lookup to the
153    ORD_MAP interface.  See the SML/NJ Library CHANGES file for details.
154    
155    ----------------------------------------------------------------------
156    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
157    Date: 2007/01/28
158    Description:
159    
160    Added the UTF8 structure and signature from the Moby compiler to
161    the SML/NJ library (and the CML library).  These modules will replace
162    the version in the ml-lpt-lib.
163    
164    ----------------------------------------------------------------------
165    Name: Matthias Blume (http://www.tti-c.org/blume/)
166    Date: 2007/01/26 15:10:00 CST
167    Description:
168    
169    Added entries to handle ml-lpt-lib.cm in installer.
170    
171    ----------------------------------------------------------------------
172    Name: Matthias Blume (http://www.tti-c.org/blume/)
173    Date: 2006/12/15 11:10:00 CST
174    Tag: release-110.61
175    Description:
176    
177    New working release (110.61).  NEW BOOTFILES!
178    
179    This supersedes the pre-brown-paper-bug release (see below).
180    
181    ----------------------------------------------------------------------
182    Name: Matthias Blume (http://www.tti-c.org/blume/)
183    Date: 2006/12/15 11:00:00 CST
184    Description:
185    
186    Fixed brown-paper-bag bug with CM's pathname handling, which made
187    installation fail under Win32.
188    
189    ----------------------------------------------------------------------
190    Name: Matthias Blume (http://www.tti-c.org/blume/)
191    Date: 2006/12/14 12:00:00 CST
192    Description:
193    
194    Obsolete!
195    
196    [New working release (110.61).  NEW BOOTFILES!]
197    
198    ----------------------------------------------------------------------
199    Name: John Reppy (http://cs.uchicago.edu/~jhr)
200    Date: 2006/14/06 09:50:00 CST
201    Description:
202    
203    Fixed the code in runtime/c-libs/posix-tty/{tcgetattr,tcsetattr}.c to
204    get the c_cc termios data copied correctly.  Also moved the allocation
205    of the string to avoid problems if it caused a GC.
206    
207    Thanks to Timothy Bourke for the bug report and fix.
208    
209    ----------------------------------------------------------------------
210    Name: Matthias Blume (http://www.tti-c.org/blume)
211    Date: 2006/12/08 09:50:00 CST
212    Description:
213    
214    Added code to CM's "standard shell tool" implementation which
215    causes it to tolerate (with a warning) the situation where the shell
216    command fails (e.g., due to the shell command's non-existence)
217    as long as all target files exist.
218    
219    This makes it possible to, e.g., build ml-yacc from sources even if
220    svn checkout messed up the time stamps on files in such a way that
221    yacc.grm is younger than yacc.grm.sml or yacc.grm.sig.  (Ml-yacc would
222    be needed to re-process yacc.grm, but obviously it might not yet be
223    available at that time.)
224    
225    ----------------------------------------------------------------------
226    Name: John Reppy (http://cs.uchicago.edu/~jhr)
227    Date: 2006/12/06 12:06:00 CST
228    Description:
229    
230    Fixed the types of recvVecFrom, recvVecFrom', recvVecFromNB, and
231    recvVecFromNB' in the SOCKET signature.  This error is actually
232    in the SML Basis specification too.
233    
234    ----------------------------------------------------------------------
235    Name: Matthias Blume (http://www.tti-c.org/blume/)
236    Date: 2006/12/05 22:40:00 CST
237    Description:
238    
239    CM now reports undefined anchors as errors and aborts execution
240    rather than silently pressing on using bogus values.
241    
242    ----------------------------------------------------------------------
243    Name: Matthias Blume (http://www.tti-c.org/blume/)
244    Date: 2006/11/29 10:00:00 CST
245    Description:
246    
247    Use Say.vsay for printing the "[autoloading]" message, so
248    #set CM.Control.verbose false (or -Ccm.verbose=false) can be used
249    to suppress them.
250    
251    ----------------------------------------------------------------------
252    Name: Matthias Blume (http://www.tti-c.org/blume/)
253    Date: 2006/11/10 11:00:00 CST
254    Description:
255    
256    Fixed bug in CM where "with:" specifications that affect compilation
257    (as opposed to parsing) were ignored.
258    
259    ----------------------------------------------------------------------
260    Name: Matthias Blume (http://www.tti-c.org/blume/)
261    Date: 2006/11/09 14:30:00 CST
262    Tag: release-110.60
263    Description:
264    
265    New working release (110.60).  NEW BOOTFILES!
266    
267    This is the first subversion-hosted release.  There are also changes
268    to the directory layout.  Here is a table:
269    
270    (All pathnames are relative to the SML/NJ "root" directory.)
271    
272      config -> config
273    
274      src/cm -> base/cm
275      src/compiler -> base/compiler
276      src/runtime -> base/runtime
277      src/system -> base/system
278    
279      src/cm/pgraph -> pgraph
280    
281      src/READMES -> base/READMES
282      src/$notefile -> base/NOTES/$notefile
283         for <notefile> in BOOT CVSNOTES CYGWININSTALL HISTORY INSTALL
284                           MACOSXINSTALL WININSTALL
285    
286      src/smlnj-lib -> smlnj-lib
287      src/MLRISC -> MLRISC
288      ckit -> ckit
289      src/cml -> cml
290      src/eXene -> eXene
291      src/heap2asm -> heap2asm
292      src/lexgen -> lexgen
293      src/ml-burg -> ml-burg
294      src/ml-lex -> ml-lex
295      src/ml-yacc -> ml-yacc
296      src/ml-nlffi-lib -> nlffi/lib
297      src/ml-nlffigen -> nlffi/gen
298      src/smlnj-c -> smlnj-c
299      src/tools/TraceDebugProf -> trace-debug-profile
300    
301    In addition, there is also a new
302    
303      ml-lpt
304    
305    directory containing two new program generator tools: ml-ulex and
306    ml-antlr (a lexer generator that handles unicode and an ANTRL-inspired
307    LL(k) parser generator). These tools are currently "beta-quality"
308    
309    The latest versios of the sources can now be obtained anonymously
310    via subversion.  For this, it is useful to first check out
311    
312       svn://smlnj-gforge.cs.uchicago.edu/smlnj/admin
313    
314    and put the resulting directory on your shell's PATH.  This provides
315    access to three shell scripts: checkout-all.sh, stat-all.sh,
316    and refresh-all.sh.
317    
318    To create a freshly checked-out copy of the sources, do
319    
320       checkout-all.sh [dir]
321    
322    where dir is the optional SML/NJ root directory (default is ".").
323    
324    This creates the above directory layout.  Each subdirectory of
325    the root is under individual subversion control.  The stat-all.sh
326    and refresh-al.sh scripts apply "svn stat" or "svn update" to
327    each of these subtrees.
328    
329    ----------------------------------------------------------------------
330    Name: Matthias Blume (http://www.tti-c.org/blume/)
331    Date: 2006/11/02 12:20:00 CST
332    Description:
333    
334    Reorganized directory layout.
335    
336    This is a temporary solution, more reorganization is to come.
337    
338    The basic idea is to have a number of toplevel trees, each corresponding
339    to a well-defined part of the overall system.  Each part can be
340    maintained individually, even in separate source repositories,
341    although currently we still serve everything out of the main
342    smlnj-gforge tree.
343    
344    Installer and and scripts have been updated to reflect the new
345    layout.  The installer (base/src/system/smlnj/installer) is now
346    "scriptable" to avoid burning too much knowledge about the
347    layout into SML source code.  The main script used by the installer
348    is in config/actions.
349    
350    The main change is that many of the subdirectories of what used to
351    be known as "src" have moved to the toplevel.  The "src" directory
352    itself has moved down into a subtree called "base".  (We may eventually
353    get rid of the extra level of indirection represented by "src".)
354    
355    The layout is now as follows:
356    
357      toplevel tree name | default repository
358                         | (using gf=svn://smlnj-gforge.cs.uchicago.edu/smlnj)
359      -------------------+----------------------------------------------------
360      config             | $gf/config/trunk
361                         |
362      base               | $gf/sml/trunk
363                         |
364      smlnj-lib          | $gf/smlnj-lib/trunk
365      MLRISC             | $gf/MLRISC/trunk
366                         |
367      ml-yacc            | $gf/ml-yacc/trunk
368      ml-lex             | $gf/ml-lex/trunk
369      ml-burg            | $gf/ml-burg/trunk
370      lexgen             | $gf/lexgen/trunk
371      heap2asm           | $gf/heap2asm/trunk
372                         |
373      cml                | $gf/cml/trunk
374      eXene              | $gf/eXene/trunk
375      ckit               | $gf/ckit/trunk
376      nlffi              | $gf/nlffi/trunk
377                         |
378      smlnj-c            | $gf/smlnj-c/trunk
379    
380    In $gf/admin there are a few useful shell scripts for checking out
381    and maintaining the entire collection of trees:
382    
383       admin/checkout-all.sh [dir]
384          -- optionally creates dir and checks out all trees from their
385             default repositories; if dir is missing, checkout into .
386       admin/refresh-all.sh [dir]
387          -- looks at all trees (from the above list) in dir (default: .)
388             and runs "svn update" if the tree exists and is under
389             subversion control;
390             non-existing or non-subversion trees are skipped
391       admin/stat-all.sh [dir]
392          -- like refresh-all.sh, but runs "svn stat" instead
393    
394    ----------------------------------------------------------------------
395    Name: Matthias Blume (http://www.tti-c.org/blume/)
396    Date: 2006/10/05 11:30:00 CDT
397    Tag: blume-20061005-merge-amd64
398    Description:
399    
400    Merged code for AMD64 backend (Mike Rainey's work).
401    Everything is hooked up but untested.
402    
403    ----------------------------------------------------------------------
404    Name: Matthias Blume (http://www.tti-c.org/blume/)
405    Date: 2006/05/17 14:00:00 CST
406    Tag: Release_110_59
407    Description:
408    
409    New working version (110.59).  NEW BOOTFILES!
410    
411    I am freezing 110.59.  Changes other than the version-number increase:
412    
413      eXene:
414    
415         * committed changes to eXene from Alley Stoughton:
416             "fixed bugs in X authorization and resource handling, as well
417              as in the pile and viewport widgets"
418    
419      Runtime:
420        * fixed linking problem with NetBSD 3.x.
421    
422      Lexgen:
423        * lexgen tool handles non-ascii characters in 7-bit mode the same
424          way that ml-lex does
425    
426        * lexgen propagates exceptions the same way that ml-lex does
427    
428      CML:
429        * Fixed a bug in the SyncVar polling functions (iGetPoll,
430          mTakePoll, and mGetPoll) that could lead to livelock.
431    
432    ----------------------------------------------------------------------
433    Name: Matthias Blume (http://www.tti-c.org/blume/)
434    Date: 2006/05/12 15:20:00 CST
435    Tag: blume-20060515-makedepend
436    Description:
437    
438    Implemented ml-makedepend (i.e., CM.sources) in a better (more robust)
439    way.  This should hopefully fix the ml-makedepend problem permanently.
440    
441    ----------------------------------------------------------------------
442    Name: Matthias Blume (http://www.tti-c.org/blume/)
443    Date: 2006/05/12 15:15:00 CST
444    Tag: blume-20060512-makedepend
445    Description:
446    
447    Fixed long-standing bug with ml-makedepend where it would output a
448    spurious dependency to a non-existing file.  (This is a simple fix.
449    It might need further looking into.)
450    
451    ----------------------------------------------------------------------
452    Name: Matthias Blume (http://www.tti-c.org/blume/)
453    Date: 2006/04/20 10:30:00 CDT
454    Tag: blume-20060420-heap2exec
455    Description:
456    
457    Committed patches received from Johannes 5 Joemann (joemann@befree.free.de)
458    that enable heap2exec under Linux and FreeBSD.
459    
460    ----------------------------------------------------------------------
461    Name: John Reppy
462    Date: 2006/04/14
463    Tag:
464    Description:
465    
466    MLRISC changes:
467      1) renamed GAS_PSEUDO_OPS to AS_PSEUDO_OPS and put it in its own file.
468      2) added support for NOTB and XORB operators in pseudo-op expressions
469      3) added DarwinPseudoOp functor that supports Darwin's assembler syntax.
470      4) added support for 64-bit integer literals
471    
472    ----------------------------------------------------------------------
473    Name: Matthias Blume (http://www.tti-c.org/blume/)
474  Date: yyyy/mm/dd  Date: yyyy/mm/dd
475  Tag: <post-commit CVS tag>  Tag: Release_110_58
476    Description:
477    
478    New working version (110.58).  NEW BOOTFILES!
479    
480    ----------------------------------------------------------------------
481    Name: Matthias Blume (http://www.tti-c.org/blume/)
482    Date: 2006/03/01 22:15:00 CST
483    Tag: blume-20060301-lexgen
484    Description:
485    
486    Incorporated several bugfixes to lexgen.  Compiler now compiles to
487    fixpoint when using lexgen instead of ml-lex.
488    
489    ----------------------------------------------------------------------
490    Name: Matthias Blume (http://www.tti-c.org/blume/)
491    Date: 2006/02/28 22:45:00 CST
492    Tag: blume-20060228-lexgen
493    Description:
494    
495    Removed ml-flex and added lexgen instead, using Aaron Turon's newly
496    provided tarball.  The generated lexers still have problems.
497    
498    ----------------------------------------------------------------------
499    Name: Matthias Blume (http://www.tti-c.org/blume/)
500    Date: 2006/02/26 23:30:00 CST
501    Tag: blume-20060226-ml-flex
502    Description:
503    
504    Removed ml-flex' dependency on regexp-lib.cm.  Turned installation
505    of ml-flex on by default.
506    
507    ----------------------------------------------------------------------
508    Name: Matthias Blume (http://www.tti-c.org/blume/)
509    Date: 2006/02/24 16:30:00 CST
510    Tag: blume-20060224-ml-flex
511    Description:
512    
513    Added ml-flex sources.  Partially integrated, but should not be
514    turned on yet!  (Read: leave it commented-out in config/targets!)
515    
516    ----------------------------------------------------------------------
517    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
518    Date: 2006/02/23
519    Tag: jhr-20060223-x86-64
520    Description:
521    Changes to support building on x86-64 systems (using the 32-bit mode).
522    Also cleaned up signal handling on Linux.  Support for pre-2.2 Linux
523    kernels dropped.
524    
525    ----------------------------------------------------------------------
526    Name: Allen Leung (leunga (at) reservoir (dot) com)
527    Date: 2006/02/22 15:07:00 EST
528    Tag: leunga-20060222-mdl-gen
529    Description:
530    
531      CM has changed.  Updated the script for rebuilding the MLRISC generated
532    files.
533    
534    ----------------------------------------------------------------------
535    Name: Matthias Blume (http://www.tti-c.org/blume/)
536    Date: 2006/02/14 17:30:00 CST
537    Tag: blume-20060214-intel-mac
538    Description:
539    
540    Hooked code for Darwin-specific Intel ABI into main compiler.
541    (This is a temporary solution which relies on the fact that the
542    compiler itself does not use NLFFI.  Eventually we need to divorce
543    intel mac from generic x86 unix code and make separate sets of binaries.)
544    
545    ----------------------------------------------------------------------
546    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
547    Date: 2006/02/13
548    Tag: jhr-20060213-intel-mac
549    Description:
550    Changed MLRISC x86 CCalls for partial support of MacOS X ABI.
551    
552    ----------------------------------------------------------------------
553    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
554    Date: 2006/02/06
555    Tag: jhr-20060206-intel-mac
556    Description:
557    Changes to support MacOS X on Intel hardware.  The C-calls support in
558    MLRISC must also be updated to support the MacOS X ABI.
559    
560    ----------------------------------------------------------------------
561    Name: Matthias Blume (http://www.tti-c.org/blume/)
562    Date: 2005/12/16 00:15:00 CST
563    Tag: blume-20051216-cm
564    Description:
565    
566    Improved error reporting and handling in CM.
567    
568    ----------------------------------------------------------------------
569    Name: Matthias Blume (http://www.tti-c.org/blume/)
570    Date: 2005/11/21 14:00:00 CST
571    Tag: blume-20051121-html-lib
572    Description:
573    
574    Enabling $/html-lib.cm in config/preloads did not work.  This is fixed
575    now.  (Since the anchor mapping for html-lib.cm is not yet in effect
576    at the time when config/preloads is processed, the library has to
577    be referred to by another name.  In 110.57 this would be
578    $SMLNJ-LIB/HTML/html-lib.cm.  I arranged for $smlnj/smlnj-lib/html-lib.cm
579    to be valid as well.)
580    
581    Thanks to Todd Wilson (Fresno) for alerting me to this issue.
582    
583    ----------------------------------------------------------------------
584    Name: Matthias Blume (http://www.tti-c.org/blume/)
585    Date: 2005/11/19 13:45:00 CST
586    Tag: Release_110_57
587    Description:
588    
589    Moved release tag for 110.57.
590    
591    ----------------------------------------------------------------------
592    Name: Matthias Blume (http://www.tti-c.org/blume/)
593    Date: 2005/11/19 23:35:00 CST
594    Tag: blume-20051119-fish
595    Description:
596    
597    Fixed a problem in config/install.sh where it tries to "fish" the
598    name of the CM metadata directory from the wrong place (because
599    the physical location of basis.cm has changed).  Also, corrected the
600    path anchor for $/html-lib.cm.  (Thanks to M. Fluet for pointing out
601    these problems.)
602    
603    ----------------------------------------------------------------------
604    Name: Matthias Blume (http://www.tti-c.org/blume/)
605    Date: 2005/11/16 14:30:00 CST
606    Tag: blume-orig-110_57
607    Description:
608    
609    New working version (110.57).  NEW BOOTFILES!
610    
611    UPDATE: The release tag has been moved to include a fix for a brown-paper-
612            bag glitch (see above).
613    
614    ----------------------------------------------------------------------
615    Name: Matthias Blume (http://www.tti-c.org/blume/)
616    Date: 2005/11/16 10:25:00 CST
617    Tag: blume-22051116-btrace
618    Description:
619    
620    Fixed problem with bogus exception message when using back-trace
621    facility.
622    
623    ----------------------------------------------------------------------
624    Name: Matthias Blume (http://www.tti-c.org/blume/)
625    Date: 2005/11/15 22:35:00 CST
626    Tag: blume-22051115-array2copy
627    Description:
628    
629    Added simple implementation of Array2.copy.  (Warning: mostly untested.)
630    
631    ----------------------------------------------------------------------
632    Name: Matthias Blume (http://www.tti-c.org/blume/)
633    Date: 2005/11/15 21:35:00 CST
634    Tag: blume-22051115-versiontool
635    Description:
636    
637    Reversed change to src/system/smlnj/internals/versiontool.cm.  This
638    file gets loaded as a tool -- by the equivalent of CM.make during the
639    run of CMB.make.  Thus, CMB's path configuration is meaningless for
640    it.  Instead, it has the status of "user code", so it should use
641    $/basis.cm to refer to the Basis library.  (At least that's true for
642    the purpose of bootstrapping the previous change.  In the future it
643    might make sense to have versiontool.cm refer to
644    $smlnj/basis/basis.cm, i.e., the version of the Basis that the
645    compiler itself uses.)
646    
647    Also patched src/system/testml to have it activate those extra anchor
648    bindings in config/extrapathconfig.
649    
650    ----------------------------------------------------------------------
651    Name: Matthias Blume (http://www.tti-c.org/blume/)
652    Date: 2005/11/15 16:35:00 CST
653    Tag: blume-22051115-libraries
654    Description:
655    
656    This change affects the way the following libraries are tied into
657    the system:
658    
659       $/basis.cm
660       $/smlnj-lib.cm
661       $/pp-lib.cm
662       $/controls-lib.cm
663       $/html-lib.cm
664       $/ml-yacc-lib.cm
665    
666    These libraries are now internally (as seen from the source code
667    of the implementation itself) known by the following names:
668    
669       $smlnj/basis/basis.cm
670       $smlnj/smlnj-lib/smlnj-lib.cm
671       $smlnj/smlnj-lib/pp-lib.cm
672       $smlnj/smlnj-lib/controls-lib.cm
673       $smlnj/smlnj-lib/html-lib.cm
674       $smlnj/ml-yacc/ml-yacc-lib.cm
675    
676    This makes it possible to work with code that requires different
677    versions of these libraries, and which refers to these libraries using
678    their "default" names (i.e., the first set of names above).  In other
679    words, one can un-define or re-define those default names without
680    compromising the proper functioning of the compiler itself.
681    
682    A similar procedure had already been performed for several of the
683    MLRISC libraries that are linked into the compiler.  I did some
684    cleanup on this code.
685    
686    A new file in the config directory (named extrapathconfig) is
687    responsible for setting up path anchors that the compiler itself does
688    not need, but that are typically required by user code.
689    
690    ----------------------------------------------------------------------
691    Name: Matthias Blume
692    Date: 2005/11/07 17:05:00 CST
693    Tag: blume-20051107-slice
694    Description:
695    
696    Fixed erroneous out-of-bounds test in the "update" function of
697    various *ArraySlice modules.  (Thanks to Vesa A. Norrman for pointing
698    out the problem.)
699    
700    Pushed some Basis changes through ML-Lex, CML, and eXene.
701    
702    ----------------------------------------------------------------------
703    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
704    Date: 2005/11/07
705    Description:
706    Fixed a Basis incompatibility: The depreciated function Substring.all
707    was removed (use Substring.full instead).
708    
709    ----------------------------------------------------------------------
710    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
711    Date: 2005/11/05
712    Description:
713    Tweaked interval set API in SML/NJ library; see the CHANGES file for details.
714    
715    ----------------------------------------------------------------------
716    Name: Matthias Blume (http://www.tti-c.org/blume/)
717    Date: 2005/11/02 16:25:00 CST
718    Tag: blume-20051102-hex
719    Description:
720    
721    * Runtime system bootstrap code now accepts hex digits in BOOTLIST
722      in either upper case or lower case format.
723    * Pushed changes to names of Pack<N>{Big,Little} structures through
724      CML and eXene.
725    
726    ----------------------------------------------------------------------
727    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
728    Date: 2005/11/02
729    Description:
730    Fixed a Basis incompatibility: Pack<N>{Big,Little} structures should
731    be called PackWord<N>{Big,Little}.
732    
733    ----------------------------------------------------------------------
734    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
735    Date: 2005/10/28
736    Description:
737    Fixed a minor Basis incompatibility: hex digits should be upper case.
738    
739    ----------------------------------------------------------------------
740    Name: Matthias Blume (blume (at) tti - c (dot) org)
741    Date: 2005/10/25 16:00:00 CDT
742    Tag: Release_110_56
743    Description:
744    
745    New working version (110.56).  NEW BOOTFILES!
746    
747    ----------------------------------------------------------------------
748    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
749    Date: 2005/10/25
750    Description:
751    Added interval sets to utility library (signatures INTERVAL_DOMAIN
752    and INTERVAL_SET, and functor IntervalSetFn).
753    
754    ----------------------------------------------------------------------
755    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
756    Date: 2005/10/14
757    Description:
758    Add Zhong Shao's fix for datatype equality functions.
759    
760    ----------------------------------------------------------------------
761    Name: Allen Leung (leunga (at) reservoir (dot) com)
762    Date: 2005/10/14 12:30:00 EST
763    Tag: leunga-20051014-x86-spill
764    Description:
765    
766    Bug fix a bug found by Carl Hauser.
767    There was a typo in the reload code for FCMP in x86SpillInstr.sml.
768    
769    ----------------------------------------------------------------------
770    Name: Allen Leung (leunga (at) reservoir (dot) com)
771    Date: 2005/10/14 11:15:00 EST
772    Tag: leunga-20051014-x86-asm
773    Description:
774    
775    Removed some debugging code in file x86Asm.sml.
776    The function emit_operand was printing out debugging output.
777    
778    ----------------------------------------------------------------------
779    Name: John Reppy
780    Date: 2005/07/27
781    Tag:
782    Description:
783    
784    Fixed ml-lex to recognize "\r" as representing carriage return.
785    
786    ----------------------------------------------------------------------
787    Name: John Reppy
788    Date: 2005/07/27
789    Tag:
790    Description:
791    
792    Fixed ml-yacc to work on files with non-native end-of-line
793    encodings (e.g., Windows text file on a Unix system).
794    
795    ----------------------------------------------------------------------
796    Name: John Reppy
797    Date: 2005/07/20
798    Tag:
799  Description:  Description:
800    
801    Added changes from Dominic Evans (oldmanuk (at) gmail (dot) com)
802    to support HPUX 11.
803    
804    ----------------------------------------------------------------------
805    Name: John Reppy
806    Date: 2005/07/06
807    Tag:
808    Description:
809    
810    Changes to the SML/NJ library.  See smlnj-lib/CHANGES for details.
811    
812    ----------------------------------------------------------------------
813    Name: Matthias Blume (blume (at) tti - c (dot) org)
814    Date: 2005/07/06 00:45:00 CDT
815    Tag: blume-20050706-slice-copy
816    Description:
817    
818    Fixed reversed logic for deciding whether to "copy up" or "copy down"
819    in *-array-slice.sml.
820    
821    ----------------------------------------------------------------------
822    Name: Allen Leung (leunga (at) reservoir (dot) com)
823    Date: 2005/05/31 17:00:00 EST
824    Tag: leunga-20050531-cygwin-fault-2
825    Description:
826    
827    A typo in the cygwin code fixed.
828    
829    ----------------------------------------------------------------------
830    Name: Allen Leung (leunga (at) reservoir (dot) com)
831    Date: 2005/05/31 16:47:00 EST
832    Tag: leunga-20050531-cygwin-fault
833    Description:
834    
835    Updated Cygwin's fault/signal handling to match the Windows version.
836    Updated the export list.
837    
838    ----------------------------------------------------------------------
839    Name: Matthias Blume (blume (at) tti - c (dot) org)
840    Date: 2005/05/18 13:35:00 CDT
841    Tag: Release_110_54
842    Description:
843    
844    New working version (110.54).  NEW BOOTFILES!
845    
846    ----------------------------------------------------------------------
847    Name: Matthias Blume (blume (at) tti - c (dot) org)
848    Date: 2005/05/18 11:58:00 CDT
849    Tag: blume-20050518-installer
850    Description:
851    
852    Added support scripts for Mac OS X PackageMaker and modified
853    config/install.sh so that it supports re-dumping a heap image
854    after customization.
855    
856    ----------------------------------------------------------------------
857    Name: Matthias Blume (blume (at) tti - c (dot) org)
858    Date: 2005/05/18 10:55:00 CDT
859    Tag: blume-20050518-realdiv-noovld
860    Description:
861    
862    Un-overloaded / to work around bug in overloading resolution code.
863    
864    ----------------------------------------------------------------------
865    Name: Matthias Blume (blume (at) tti - c (dot) org)
866    Date: 2005/05/16 23:50:00 CDT
867    Tag: blume-20050516-redump-heap
868    Description:
869    
870    Added mechanism for re-creating a heap file for the interactive system
871    after configuration variables have been changed.
872    
873       CM.redump_heap : string -> unit
874    
875    This is much like SMLofNJ.exportML, but starting from the resulting
876    heap does not return to the caller of CM.redump_heap but
877    restarts the interactive system from scratch.  The original call of
878    CM.redump_heap does not return but ends the interactive session.
879    Thus, CM.redump_heap is a lot like SMLofNJ.exportFn.
880    
881    Internally, redump_heap winds the dynamic execution context back to
882    the point where the original heap image was created and re-executes
883    the heap image generation code in the boot code.
884    
885    ----------------------------------------------------------------------
886    Name: Matthias Blume (blume (at) tti - c (dot) org)
887    Date: 2005/05/09 21:55:00 CDT
888    Tag: blume-20050509-word64
889    Description:
890    
891    Added a hack to the existing hack known as Word64 to make fromString
892    behave correctly.  I am still not sure whether Word64.scan will work
893    as specified with respect to the interaction of radix and prefix.
894    
895    ----------------------------------------------------------------------
896    Name: Allen Leung (leunga (at) reservoir (dot) com)
897    Date: 2005/05/04 11:50:00 EST
898    Tag: leunga-20050504-checkgc
899    Description:
900    
901    Added a gc protocol checking phase.  This phase is enabled with
902    the flag "check-gc".  "debug-check-gc" turns on the verbose mode.
903    
904    ----------------------------------------------------------------------
905    Name: Matthias Blume (blume (at) tti - c (dot) org)
906    Date: 2005/05/04 10:45:00 CDT
907    Tag: blume-20050504-intinf
908    Description:
909    
910    Fixed a bug in the implementation of div and mod for IntInf.
911    Thanks to Neophytos Michael for reporting the problem.
912    
913    ----------------------------------------------------------------------
914    Name: Matthias Blume (blume (at) tti - c (dot) org)
915    Date: 2005/05/04 10:35:00 CDT
916    Tag: blume-20050504-join
917    Description:
918    
919    Added a "join" combinator to the ParserComb module in smlnj-lib.cm.
920    
921    ----------------------------------------------------------------------
922    Name: Matthias Blume (blume (at) tti - c (dot) org)
923    Date: 2005/02/28 23:40:00 CST
924    Tag: blume-20050228-mVar
925    Description:
926    
927    Fixed serious bug (brown paper bag variety) in new implementation of
928    structure Atom in CML.  (I had accidentally used a mailbox instead of
929    an mvar, leaving the door open for races.)
930    
931    ----------------------------------------------------------------------
932    Name: Matthias Blume (blume (at) tti - c (dot) org)
933    Date: 2005/02/25 15:00:00 CST
934    Tag: Release_110_53
935    Description:
936    
937    New working version (110.53).  NEW BOOTFILES!
938    
939    ----------------------------------------------------------------------
940    Name: Matthias Blume (blume (at) tti - c (dot) org)
941    Date: 2005/02/25 14:50:00 CST
942    Tag: blume-20050225-susp
943    Description:
944    
945    Brought back SMLofNJ.Susp.  The underlying suspension type is the one
946    implemented in Core -- which means that it is the same as the one used
947    by the lazy extension.
948    
949    ----------------------------------------------------------------------
950    Name: Matthias Blume (blume (at) tti - c (dot) org)
951    Date: 2005/02/24 16:50:00 CST
952    Tag: blume-20050224-cml-atom
953    Description:
954    
955    Simpler and at the same time more general implementation of structure
956    Atom in CML.
957    
958    ----------------------------------------------------------------------
959    Name: Matthias Blume (blume (at) tti - c (dot) org)
960    Date: 2005/02/15 17:35:00 CST
961    Tag: blume-20050215-tools
962    Description:
963    
964    Created new "tools" directory under "src" and moved "TraceDebugProf"
965    there.
966    
967    ----------------------------------------------------------------------
968    Name: Matthias Blume (blume (at) tti - c (dot) org)
969    Date: 2005/02/10 17:55:00 CST
970    Tag: blume-20050210-longlong
971    Description:
972    
973    Implemented "long long" arguments and results for NLFFI.  (Only the
974    PPC/MacOS implementation is complete, the other backends still need to
975    be updated.)
976    
977    ----------------------------------------------------------------------
978    Name: Matthias Blume (blume (at) tti - c (dot) org)
979    Date: 2005/01/24 17:40:00 CST
980    Tag: blume-20050124-mlyacc
981    Description:
982    
983    Minor cleanup in ML-Yacc rule printing mechanism.  This should fix a
984    problem with certain "as" patterns which previously got rendered
985    using incorrect syntax.
986    
987    ----------------------------------------------------------------------
988    Name: Matthias Blume (blume (at) tti - c (dot) org)
989    Date: 2005/01/18 12:00:00 CST
990    Tag: blume-20050118-profile
991    Description:
992    
993    Made time profiling code (interrupt handler) in runtime system aware
994    of new array representation.
995    
996    ----------------------------------------------------------------------
997    Name: Matthias Blume (blume (at) tti - c (dot) org)
998    Date: 2005/01/14 18:00:00 CST
999    Tag: blume-20050114-heap2exec
1000    Description:
1001    
1002    Implemented new (but still experimental) heap2exec facility.  This is
1003    tested under Mac OS X and should work under Linux (will test shortly).
1004    It will probably also work on the Sparc (will test some time later).
1005    
1006      - removed old "HACKED_STANDALONE" hack from runtime
1007    
1008    To be able to test this, uncomment the request for "heap2asm" in
1009    config/targets prior to installation.  (Notice that this is different
1010    from "heap2exec" mentioned below.  Not a typo.)
1011    
1012    To perform an actual test, run the command
1013    
1014       $ bin/heap2exec heapfile execfile
1015    
1016    (You can put heap2exec on your shell's path.)
1017    
1018    For example, run
1019    
1020      $ bin/heap2exec bin/.heap/ml-yacc.ppc-darwin mly
1021    
1022    This will create a standalone executable called "mly" which you can
1023    then invoke directly as a command.
1024    
1025    ----------------------------------------------------------------------
1026    Name: Matthias Blume (blume (at) tti - c (dot) org)
1027    Date: 2005/01/07 11:44:00 CST
1028    Tag: blume-20050107-mlstring
1029    Description:
1030    
1031    fixed off-by-one error in ML_STRING macro (globals.c)
1032    
1033    ----------------------------------------------------------------------
1034    Name: Matthias Blume (blume (at) tti - c (dot) org)
1035    Date: 2004/12/23 18:00:00 CST
1036    Tag: blume-20041223-santa
1037    Description:
1038    
1039    Made ml-build script "smarter" (but only very little).
1040    
1041    ----------------------------------------------------------------------
1042    Name: Matthias Blume (blume (at) tti - c (dot) org)
1043    Date: 2004/12/21 15:05:00 CST
1044    Tag: blume-20041221-longlong
1045    Description:
1046    
1047    * Implemented access to signed and unsigned long long data in NLFFI.
1048    (The parameter-passing part of the picture has not complete. But
1049    data structure access seems to work.)
1050    
1051    * Fixed CM's incorrect assumption that the PPC is little-endian.
1052      (On the Mac, it is big-endian.  And that's currently our only
1053      PPC platform.)
1054    
1055    ----------------------------------------------------------------------
1056    Name: Matthias Blume (blume (at) tti - c (dot) org)
1057    Date: 2004/12/21 12:50:00 CST
1058    Tag: blume-20041221-memory
1059    Description:
1060    
1061    Some cleanup in the $c/memory.cm library: separated some concerns by
1062    moving allocation code and memory access code each into their own
1063    files.
1064    
1065    ----------------------------------------------------------------------
1066    Name: Allen Leung (leunga (at) reservoir (dot) com)
1067    Date: 2004/12/17 16:12:00 EST
1068    Tag: leunga-20041217-cygwin-smlnj-home
1069    Description:
1070    
1071        The Unix I/O library of SML/NJ on cygwin does not understand
1072    Windows style pathname, so problems arise when SMLNJ_HOME is set
1073    to a Windows style pathname.  _run-sml now converts SMLNJ_HOME
1074    to a POSIX pathname on cygwin.
1075    
1076  ----------------------------------------------------------------------  ----------------------------------------------------------------------
1077  Name: Matthias Blume (blume (at) tti - c (dot) org)  Name: Matthias Blume (blume (at) tti - c (dot) org)
1078  Date: 2004/12/16 13:35:00 CST  Date: 2004/12/16 13:35:00 CST

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

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