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

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