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 1662, Sun Oct 24 17:56:50 2004 UTC sml/trunk/NOTES/HISTORY revision 2578, Tue May 22 16:48:57 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: Matthias Blume (http://www.tti-c.org/blume/)
18    Date: 2007/05/22 11:50:00 CDT
19    Description:
20    
21    Added a boolean control named cm.tolerate-tool-failures (env. variable
22    name: CM_TOLERATE_TOOL_FAILURES).  The default is false and makes
23    CM fail if a shell tool reports a non-success exit status.  If
24    the control is set to true, then CM will press on after tool failures
25    in the event that the target files exist (even though they are
26    considered outdated).  Turning the control to true can be useful for
27    bootstrapping.
28    
29    ----------------------------------------------------------------------
30    Name: Aaron Turon (http://www.cs.uchicago.edu/~adrassi)
31    Date: 2007/05/19
32    Description:
33    
34    Merge of ml-lpt revisions for 110.64.
35    
36    The name of several ml-lpt-lib modules has changed:
37      Repair        => AntlrRepair
38      StreamPos     => AntlrStreamPos
39      ErrHandlerFn  => AntlrErrHandler
40      EBNF          => AntlrEBNF
41    
42    The ml-antlr specification format has changed: declarations such as
43    %tokens and nonterminal definitions can occur *multiple* times in the
44    same specification.  The semantics are such that each new declaration
45    extends the previous ones.  This does not apply to %start or %name,
46    of course.
47    
48    Importing a grammar via %import now includes *all* declarations in from
49    the imported grammar, except for %name, %entry, and %start.  Tokens
50    and nonterminals can be dropped using the new %dropping clause of the
51    %import directive; the separate %drop and %extend have been removed.
52    
53    We now allow optional type annotations on nonterminals, using the %nonterms
54    directive as in ml-yacc.
55    
56    The refcell construct is now implemented using SML's regular reference
57    cells, so the :== and !! notation has been deprecated.
58    
59    The ml-antlr tool now does much more checking of specifications, and
60    its error messages have been greatly improved.  Error repair for
61    generated parsers has been completely rewritten, and is now both
62    much faster and more accurate.
63    
64    ml-ulex is now more lenient with escape codes (non-SML-standard
65    escape codes are now interpreted literally, so e.g. \| denotes "|").
66    Also, character classes may now include a "-" character at the beginning
67    as is standard in most other regexp tools.
68    
69    All of these changes are documented in the user guide, which has
70    been updated and improved with this merge.
71    
72    ----------------------------------------------------------------------
73    Name: David MacQueen (http://www.cs.uchicago.edu/~jhr)
74    Date: 2007/05/03
75    Revision: r2492
76    Description:
77    
78    Merge of the primop3 branch (base) into the trunk to create 110.63.1.
79    Significant changes in FLINT and the front end, mostly having to do
80    with a reorganized system for handling primops.  Various bug fixes
81    and improvements in printing signatures.
82    
83    ----------------------------------------------------------------------
84    Name: Aaron Turon (http://www.cs.uchicago.edu/~adrassi)
85    Date: 2007/05/02
86    Description:
87    
88    Preliminary commit of large ml-lpt revisions (more to come for 110.64).
89    The ml-antlr specification format has changed: declarations such as
90    %tokens and nonterminal definitions can occur *multiple* times in the
91    same specification.  The semantics are such that each new declaration
92    extends the previous ones.  Grammar extension constructs have also
93    changed.  We now allow type annotations on nonterminals.  Finally,
94    the refcell construct is now implemented using SML's regular reference
95    cells, so the :== and !! notation has been deprecated.  All of these
96    changes will appear in the 110.64 user guide for ml-lpt.
97    
98    The ml-antlr tool now does much more checking of specifications, and
99    its error messages have been greatly improved.  There has also been
100    some work on the error repair process for generated parsers, but this
101    will be further improved in 110.64.
102    
103    ----------------------------------------------------------------------
104    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
105    Date: 2007/04/24
106    Description:
107    
108    More Basis fixes: The Char.fromString (etc.) functions did not handle
109    the "\uxxxx" escape sequence.  There is still an outstanding bug with
110    String.fromString the tail is a format escape.  I added a comment to
111    this effect in Basis/Implementation/string.sml.
112    Thanks to Andreas Rossberg.
113    
114    ----------------------------------------------------------------------
115    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
116    Date: 2007/04/24
117    Description:
118    
119    Added next function to Fifo and Queue modules in the SML/NJ Library.
120    
121    ----------------------------------------------------------------------
122    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
123    Date: 2007/04/23
124    Description:
125    
126    More Basis fixes: Time.fmt dropped the leading "~" for negative time
127    values that had no whole part.
128    
129    ----------------------------------------------------------------------
130    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
131    Date: 2007/04/23
132    Description:
133    
134    More Basis fixes: the OS.Path module did not include the InvalidArc
135    exception and did not do sufficient argument checking.
136    Thanks to Stephen Weeks and Adam Chilpala.
137    
138    ----------------------------------------------------------------------
139    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
140    Date: 2007/04/16
141    Description:
142    
143    Fixed an unbound functor bug in the AMD64 CM file.
144    
145    ----------------------------------------------------------------------
146    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
147    Date: 2007/04/12
148    Description:
149    
150    Substantially changed the signature and implementation of AMD64
151    SVID.  It now looks similar to the ia32 SVID, yet uses staged
152    allocation.
153    
154    ----------------------------------------------------------------------
155    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
156    Date: 2007/04/07
157    Description:
158    
159    More Basis fixes: the WORD signature was missing {to,from}Large.
160    Thanks to Andreas Rossberg.
161    
162    ----------------------------------------------------------------------
163    Name: Matthias Blume (http://www.tti-c.org/blume/)
164    Date: 2007/03/22 16:07:00 CDT
165    Tag: release-110.63
166    Description:
167    
168    Bumped version number to 110.63.
169    
170       !!!NEW BOOTFILES!!!
171    
172    ----------------------------------------------------------------------
173    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
174    Date: 2007/03/19
175    Description:
176    
177    Fixed bogus operand sizes in AMD64 instruction spilling.
178    
179    ----------------------------------------------------------------------
180    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
181    Date: 2007/03/19
182    Description:
183    
184    Fixed a number of inconsistencies between the Posix.TTY structure
185    and the Basis specification.  Thanks to Adam Chilpala.
186    
187    ----------------------------------------------------------------------
188    Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)
189    Date: 2007/02/26
190    Description:
191    
192    Added preliminary support in MLRISC for Staged Allocation, a technique
193    for specifying calling conventions (see
194    http://www.eecs.harvard.edu/~nr/pubs/staged-abstract.html).
195    Initially, we plan to use this code to generate C calls for the AMD64.
196    
197    The staged allocation code base resides in MLRISC/staged-allocation,
198    and specialized calling conventions go in MLRISC/ARCH/staged-allocation.
199    
200    ----------------------------------------------------------------------
201    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
202    Date: 2007/02/20
203    Description:
204    
205      Bug fix: when SaveCState was called with two values to save, a subsequent
206      GC could cause the RestoreCState to fail because the saved state had been
207      promoted to tagless pair.
208    
209    ----------------------------------------------------------------------
210    Name: Allen Leung (leunga (at) reservoir (dot) com)
211    Date: 2007/02/20 19:08:00 EST
212    Description:
213    
214        Bug triggered by:
215    
216        val a1 = Word8Array.array(a1, 0w0);
217        val _  = Word8Array.update(a1, 0, 0w128);
218    
219        x86MCEmitter crashed when the immediate operand to MOVB was outside
220    of the range -128 ... 127.  I've changed the code so that the range
221    check is disabled.   Only the low order 8 bits of the immediate operand
222    are now significant.
223    
224    
225    ----------------------------------------------------------------------
226    Name: Matthias Blume (http://www.tti-c.org/blume/)
227    Date: 2007/02/15 09:20:00 CST
228    Description:
229    
230    Eliminated any mention of lexgen.  (Lexgen was an early precursor
231    to ml-ulex.)
232    
233    You should update your admin directory, so the shell scripts for
234    maintaining your local copy of the repository reflect this change.
235    
236    ----------------------------------------------------------------------
237    Name: Matthias Blume (http://www.tti-c.org/blume/)
238    Date: 2007/02/14 15:45:00 CST
239    Description:
240    
241    Fixed bug in CM's parallel make facility that failed to have
242    the master re-link modules after letting slaves compile them.
243    
244    ----------------------------------------------------------------------
245    Name: Matthias Blume (http://www.tti-c.org/blume/)
246    Date: 2007/02/12 15:10:00 CST
247    Description:
248    
249    Fixed typo in ml-build script that prevented library anchors
250    from being registered.
251    
252    ----------------------------------------------------------------------
253    Name: Matthias Blume (http://www.tti-c.org/blume/)
254    Date: 2007/02/02 15:20:00 CST
255    Tag: release-110.62
256    Description:
257    
258    New working release (110.62).  NEW BOOTFILES!
259    
260    ----------------------------------------------------------------------
261    Name: Aaron Turon (http://www.cs.uchicago.edu/~adrassi)
262    Date: 2007/01/31
263    Description:
264    
265    Brought ml-lpt manual up-to-date with the code.  Many minor
266    improvements to the tools, and a few minor bugfixes.  Prepared
267    ml-lpt-lib for integration with new UTF8 structure.  Changed
268    the interface for creating streams in ml-ulex (we now support
269    stream creation from several kinds of sources).  Overall, the
270    tools are now quite stable, and their interfaces are unlikely to
271    change in a way that would break compatibility.  More work,
272    however, is needed in the documentation.
273    
274    ----------------------------------------------------------------------
275    Name: Matthias Blume (http://www.tti-c.org/blume/)
276    Date: 2007/02/01 10:05:00 CST
277    Description:
278    
279    Implemented library installer.  Moved CM plugin code for
280    ml-burg, ml-lex, and ml-yacc out of CM source tree and into
281    their respective trees.  Implemented CM plugin for ml-ulex
282    and ml-antlr.  Used library installer for ml-burg, ml-ulex,
283    and ml-antlr.
284    
285    For ml-yacc and ml-lex we continue to have permanently "plugged-in"
286    CM tools.  (It turns out to be too messy to do otherwise because
287    there is too much code that during installation relies on the presence
288    of these tools -- resulting in a tricky ordering problem.)
289    
290    ----------------------------------------------------------------------
291    Name: Matthias Blume (http://www.tti-c.org/blume/)
292    Date: 2007/01/30 11:05:00 CST
293    Description:
294    
295    Added SMLofNJ.shiftArgs which is like a shell's "shift" command.
296    Modified CM's startup code to use shiftArgs as it processes
297    command line arguments.  This way, the init code in each .sml-file
298    or library that is mentioned at the top level will see only
299    those arguments that have not yet been processed at this point.
300    In other words, the init code can "seize control" and process the
301    remaining command line.
302    
303    ----------------------------------------------------------------------
304    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
305    Date: 2007/01/30
306    Description:
307    
308    Added fromList function to the ORD_SET interface and lookup to the
309    ORD_MAP interface.  See the SML/NJ Library CHANGES file for details.
310    
311    ----------------------------------------------------------------------
312    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
313    Date: 2007/01/28
314    Description:
315    
316    Added the UTF8 structure and signature from the Moby compiler to
317    the SML/NJ library (and the CML library).  These modules will replace
318    the version in the ml-lpt-lib.
319    
320    ----------------------------------------------------------------------
321    Name: Matthias Blume (http://www.tti-c.org/blume/)
322    Date: 2007/01/26 15:10:00 CST
323    Description:
324    
325    Added entries to handle ml-lpt-lib.cm in installer.
326    
327    ----------------------------------------------------------------------
328    Name: Matthias Blume (http://www.tti-c.org/blume/)
329    Date: 2006/12/15 11:10:00 CST
330    Tag: release-110.61
331    Description:
332    
333    New working release (110.61).  NEW BOOTFILES!
334    
335    This supersedes the pre-brown-paper-bug release (see below).
336    
337    ----------------------------------------------------------------------
338    Name: Matthias Blume (http://www.tti-c.org/blume/)
339    Date: 2006/12/15 11:00:00 CST
340    Description:
341    
342    Fixed brown-paper-bag bug with CM's pathname handling, which made
343    installation fail under Win32.
344    
345    ----------------------------------------------------------------------
346    Name: Matthias Blume (http://www.tti-c.org/blume/)
347    Date: 2006/12/14 12:00:00 CST
348    Description:
349    
350    Obsolete!
351    
352    [New working release (110.61).  NEW BOOTFILES!]
353    
354    ----------------------------------------------------------------------
355    Name: John Reppy (http://cs.uchicago.edu/~jhr)
356    Date: 2006/14/06 09:50:00 CST
357    Description:
358    
359    Fixed the code in runtime/c-libs/posix-tty/{tcgetattr,tcsetattr}.c to
360    get the c_cc termios data copied correctly.  Also moved the allocation
361    of the string to avoid problems if it caused a GC.
362    
363    Thanks to Timothy Bourke for the bug report and fix.
364    
365    ----------------------------------------------------------------------
366    Name: Matthias Blume (http://www.tti-c.org/blume)
367    Date: 2006/12/08 09:50:00 CST
368    Description:
369    
370    Added code to CM's "standard shell tool" implementation which
371    causes it to tolerate (with a warning) the situation where the shell
372    command fails (e.g., due to the shell command's non-existence)
373    as long as all target files exist.
374    
375    This makes it possible to, e.g., build ml-yacc from sources even if
376    svn checkout messed up the time stamps on files in such a way that
377    yacc.grm is younger than yacc.grm.sml or yacc.grm.sig.  (Ml-yacc would
378    be needed to re-process yacc.grm, but obviously it might not yet be
379    available at that time.)
380    
381    ----------------------------------------------------------------------
382    Name: John Reppy (http://cs.uchicago.edu/~jhr)
383    Date: 2006/12/06 12:06:00 CST
384    Description:
385    
386    Fixed the types of recvVecFrom, recvVecFrom', recvVecFromNB, and
387    recvVecFromNB' in the SOCKET signature.  This error is actually
388    in the SML Basis specification too.
389    
390    ----------------------------------------------------------------------
391    Name: Matthias Blume (http://www.tti-c.org/blume/)
392    Date: 2006/12/05 22:40:00 CST
393    Description:
394    
395    CM now reports undefined anchors as errors and aborts execution
396    rather than silently pressing on using bogus values.
397    
398    ----------------------------------------------------------------------
399    Name: Matthias Blume (http://www.tti-c.org/blume/)
400    Date: 2006/11/29 10:00:00 CST
401    Description:
402    
403    Use Say.vsay for printing the "[autoloading]" message, so
404    #set CM.Control.verbose false (or -Ccm.verbose=false) can be used
405    to suppress them.
406    
407    ----------------------------------------------------------------------
408    Name: Matthias Blume (http://www.tti-c.org/blume/)
409    Date: 2006/11/10 11:00:00 CST
410    Description:
411    
412    Fixed bug in CM where "with:" specifications that affect compilation
413    (as opposed to parsing) were ignored.
414    
415    ----------------------------------------------------------------------
416    Name: Matthias Blume (http://www.tti-c.org/blume/)
417    Date: 2006/11/09 14:30:00 CST
418    Tag: release-110.60
419    Description:
420    
421    New working release (110.60).  NEW BOOTFILES!
422    
423    This is the first subversion-hosted release.  There are also changes
424    to the directory layout.  Here is a table:
425    
426    (All pathnames are relative to the SML/NJ "root" directory.)
427    
428      config -> config
429    
430      src/cm -> base/cm
431      src/compiler -> base/compiler
432      src/runtime -> base/runtime
433      src/system -> base/system
434    
435      src/cm/pgraph -> pgraph
436    
437      src/READMES -> base/READMES
438      src/$notefile -> base/NOTES/$notefile
439         for <notefile> in BOOT CVSNOTES CYGWININSTALL HISTORY INSTALL
440                           MACOSXINSTALL WININSTALL
441    
442      src/smlnj-lib -> smlnj-lib
443      src/MLRISC -> MLRISC
444      ckit -> ckit
445      src/cml -> cml
446      src/eXene -> eXene
447      src/heap2asm -> heap2asm
448      src/lexgen -> lexgen
449      src/ml-burg -> ml-burg
450      src/ml-lex -> ml-lex
451      src/ml-yacc -> ml-yacc
452      src/ml-nlffi-lib -> nlffi/lib
453      src/ml-nlffigen -> nlffi/gen
454      src/smlnj-c -> smlnj-c
455      src/tools/TraceDebugProf -> trace-debug-profile
456    
457    In addition, there is also a new
458    
459      ml-lpt
460    
461    directory containing two new program generator tools: ml-ulex and
462    ml-antlr (a lexer generator that handles unicode and an ANTRL-inspired
463    LL(k) parser generator). These tools are currently "beta-quality"
464    
465    The latest versios of the sources can now be obtained anonymously
466    via subversion.  For this, it is useful to first check out
467    
468       svn://smlnj-gforge.cs.uchicago.edu/smlnj/admin
469    
470    and put the resulting directory on your shell's PATH.  This provides
471    access to three shell scripts: checkout-all.sh, stat-all.sh,
472    and refresh-all.sh.
473    
474    To create a freshly checked-out copy of the sources, do
475    
476       checkout-all.sh [dir]
477    
478    where dir is the optional SML/NJ root directory (default is ".").
479    
480    This creates the above directory layout.  Each subdirectory of
481    the root is under individual subversion control.  The stat-all.sh
482    and refresh-al.sh scripts apply "svn stat" or "svn update" to
483    each of these subtrees.
484    
485    ----------------------------------------------------------------------
486    Name: Matthias Blume (http://www.tti-c.org/blume/)
487    Date: 2006/11/02 12:20:00 CST
488    Description:
489    
490    Reorganized directory layout.
491    
492    This is a temporary solution, more reorganization is to come.
493    
494    The basic idea is to have a number of toplevel trees, each corresponding
495    to a well-defined part of the overall system.  Each part can be
496    maintained individually, even in separate source repositories,
497    although currently we still serve everything out of the main
498    smlnj-gforge tree.
499    
500    Installer and and scripts have been updated to reflect the new
501    layout.  The installer (base/src/system/smlnj/installer) is now
502    "scriptable" to avoid burning too much knowledge about the
503    layout into SML source code.  The main script used by the installer
504    is in config/actions.
505    
506    The main change is that many of the subdirectories of what used to
507    be known as "src" have moved to the toplevel.  The "src" directory
508    itself has moved down into a subtree called "base".  (We may eventually
509    get rid of the extra level of indirection represented by "src".)
510    
511    The layout is now as follows:
512    
513      toplevel tree name | default repository
514                         | (using gf=svn://smlnj-gforge.cs.uchicago.edu/smlnj)
515      -------------------+----------------------------------------------------
516      config             | $gf/config/trunk
517                         |
518      base               | $gf/sml/trunk
519                         |
520      smlnj-lib          | $gf/smlnj-lib/trunk
521      MLRISC             | $gf/MLRISC/trunk
522                         |
523      ml-yacc            | $gf/ml-yacc/trunk
524      ml-lex             | $gf/ml-lex/trunk
525      ml-burg            | $gf/ml-burg/trunk
526      lexgen             | $gf/lexgen/trunk
527      heap2asm           | $gf/heap2asm/trunk
528                         |
529      cml                | $gf/cml/trunk
530      eXene              | $gf/eXene/trunk
531      ckit               | $gf/ckit/trunk
532      nlffi              | $gf/nlffi/trunk
533                         |
534      smlnj-c            | $gf/smlnj-c/trunk
535    
536    In $gf/admin there are a few useful shell scripts for checking out
537    and maintaining the entire collection of trees:
538    
539       admin/checkout-all.sh [dir]
540          -- optionally creates dir and checks out all trees from their
541             default repositories; if dir is missing, checkout into .
542       admin/refresh-all.sh [dir]
543          -- looks at all trees (from the above list) in dir (default: .)
544             and runs "svn update" if the tree exists and is under
545             subversion control;
546             non-existing or non-subversion trees are skipped
547       admin/stat-all.sh [dir]
548          -- like refresh-all.sh, but runs "svn stat" instead
549    
550    ----------------------------------------------------------------------
551    Name: Matthias Blume (http://www.tti-c.org/blume/)
552    Date: 2006/10/05 11:30:00 CDT
553    Tag: blume-20061005-merge-amd64
554    Description:
555    
556    Merged code for AMD64 backend (Mike Rainey's work).
557    Everything is hooked up but untested.
558    
559    ----------------------------------------------------------------------
560    Name: Matthias Blume (http://www.tti-c.org/blume/)
561    Date: 2006/05/17 14:00:00 CST
562    Tag: Release_110_59
563    Description:
564    
565    New working version (110.59).  NEW BOOTFILES!
566    
567    I am freezing 110.59.  Changes other than the version-number increase:
568    
569      eXene:
570    
571         * committed changes to eXene from Alley Stoughton:
572             "fixed bugs in X authorization and resource handling, as well
573              as in the pile and viewport widgets"
574    
575      Runtime:
576        * fixed linking problem with NetBSD 3.x.
577    
578      Lexgen:
579        * lexgen tool handles non-ascii characters in 7-bit mode the same
580          way that ml-lex does
581    
582        * lexgen propagates exceptions the same way that ml-lex does
583    
584      CML:
585        * Fixed a bug in the SyncVar polling functions (iGetPoll,
586          mTakePoll, and mGetPoll) that could lead to livelock.
587    
588    ----------------------------------------------------------------------
589    Name: Matthias Blume (http://www.tti-c.org/blume/)
590    Date: 2006/05/12 15:20:00 CST
591    Tag: blume-20060515-makedepend
592    Description:
593    
594    Implemented ml-makedepend (i.e., CM.sources) in a better (more robust)
595    way.  This should hopefully fix the ml-makedepend problem permanently.
596    
597    ----------------------------------------------------------------------
598    Name: Matthias Blume (http://www.tti-c.org/blume/)
599    Date: 2006/05/12 15:15:00 CST
600    Tag: blume-20060512-makedepend
601    Description:
602    
603    Fixed long-standing bug with ml-makedepend where it would output a
604    spurious dependency to a non-existing file.  (This is a simple fix.
605    It might need further looking into.)
606    
607    ----------------------------------------------------------------------
608    Name: Matthias Blume (http://www.tti-c.org/blume/)
609    Date: 2006/04/20 10:30:00 CDT
610    Tag: blume-20060420-heap2exec
611    Description:
612    
613    Committed patches received from Johannes 5 Joemann (joemann@befree.free.de)
614    that enable heap2exec under Linux and FreeBSD.
615    
616    ----------------------------------------------------------------------
617    Name: John Reppy
618    Date: 2006/04/14
619    Tag:
620    Description:
621    
622    MLRISC changes:
623      1) renamed GAS_PSEUDO_OPS to AS_PSEUDO_OPS and put it in its own file.
624      2) added support for NOTB and XORB operators in pseudo-op expressions
625      3) added DarwinPseudoOp functor that supports Darwin's assembler syntax.
626      4) added support for 64-bit integer literals
627    
628    ----------------------------------------------------------------------
629    Name: Matthias Blume (http://www.tti-c.org/blume/)
630  Date: yyyy/mm/dd  Date: yyyy/mm/dd
631  Tag: <post-commit CVS tag>  Tag: Release_110_58
632    Description:
633    
634    New working version (110.58).  NEW BOOTFILES!
635    
636    ----------------------------------------------------------------------
637    Name: Matthias Blume (http://www.tti-c.org/blume/)
638    Date: 2006/03/01 22:15:00 CST
639    Tag: blume-20060301-lexgen
640    Description:
641    
642    Incorporated several bugfixes to lexgen.  Compiler now compiles to
643    fixpoint when using lexgen instead of ml-lex.
644    
645    ----------------------------------------------------------------------
646    Name: Matthias Blume (http://www.tti-c.org/blume/)
647    Date: 2006/02/28 22:45:00 CST
648    Tag: blume-20060228-lexgen
649    Description:
650    
651    Removed ml-flex and added lexgen instead, using Aaron Turon's newly
652    provided tarball.  The generated lexers still have problems.
653    
654    ----------------------------------------------------------------------
655    Name: Matthias Blume (http://www.tti-c.org/blume/)
656    Date: 2006/02/26 23:30:00 CST
657    Tag: blume-20060226-ml-flex
658    Description:
659    
660    Removed ml-flex' dependency on regexp-lib.cm.  Turned installation
661    of ml-flex on by default.
662    
663    ----------------------------------------------------------------------
664    Name: Matthias Blume (http://www.tti-c.org/blume/)
665    Date: 2006/02/24 16:30:00 CST
666    Tag: blume-20060224-ml-flex
667    Description:
668    
669    Added ml-flex sources.  Partially integrated, but should not be
670    turned on yet!  (Read: leave it commented-out in config/targets!)
671    
672    ----------------------------------------------------------------------
673    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
674    Date: 2006/02/23
675    Tag: jhr-20060223-x86-64
676  Description:  Description:
677    Changes to support building on x86-64 systems (using the 32-bit mode).
678    Also cleaned up signal handling on Linux.  Support for pre-2.2 Linux
679    kernels dropped.
680    
681    ----------------------------------------------------------------------
682    Name: Allen Leung (leunga (at) reservoir (dot) com)
683    Date: 2006/02/22 15:07:00 EST
684    Tag: leunga-20060222-mdl-gen
685    Description:
686    
687      CM has changed.  Updated the script for rebuilding the MLRISC generated
688    files.
689    
690    ----------------------------------------------------------------------
691    Name: Matthias Blume (http://www.tti-c.org/blume/)
692    Date: 2006/02/14 17:30:00 CST
693    Tag: blume-20060214-intel-mac
694    Description:
695    
696    Hooked code for Darwin-specific Intel ABI into main compiler.
697    (This is a temporary solution which relies on the fact that the
698    compiler itself does not use NLFFI.  Eventually we need to divorce
699    intel mac from generic x86 unix code and make separate sets of binaries.)
700    
701    ----------------------------------------------------------------------
702    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
703    Date: 2006/02/13
704    Tag: jhr-20060213-intel-mac
705    Description:
706    Changed MLRISC x86 CCalls for partial support of MacOS X ABI.
707    
708    ----------------------------------------------------------------------
709    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
710    Date: 2006/02/06
711    Tag: jhr-20060206-intel-mac
712    Description:
713    Changes to support MacOS X on Intel hardware.  The C-calls support in
714    MLRISC must also be updated to support the MacOS X ABI.
715    
716    ----------------------------------------------------------------------
717    Name: Matthias Blume (http://www.tti-c.org/blume/)
718    Date: 2005/12/16 00:15:00 CST
719    Tag: blume-20051216-cm
720    Description:
721    
722    Improved error reporting and handling in CM.
723    
724    ----------------------------------------------------------------------
725    Name: Matthias Blume (http://www.tti-c.org/blume/)
726    Date: 2005/11/21 14:00:00 CST
727    Tag: blume-20051121-html-lib
728    Description:
729    
730    Enabling $/html-lib.cm in config/preloads did not work.  This is fixed
731    now.  (Since the anchor mapping for html-lib.cm is not yet in effect
732    at the time when config/preloads is processed, the library has to
733    be referred to by another name.  In 110.57 this would be
734    $SMLNJ-LIB/HTML/html-lib.cm.  I arranged for $smlnj/smlnj-lib/html-lib.cm
735    to be valid as well.)
736    
737    Thanks to Todd Wilson (Fresno) for alerting me to this issue.
738    
739    ----------------------------------------------------------------------
740    Name: Matthias Blume (http://www.tti-c.org/blume/)
741    Date: 2005/11/19 13:45:00 CST
742    Tag: Release_110_57
743    Description:
744    
745    Moved release tag for 110.57.
746    
747    ----------------------------------------------------------------------
748    Name: Matthias Blume (http://www.tti-c.org/blume/)
749    Date: 2005/11/19 23:35:00 CST
750    Tag: blume-20051119-fish
751    Description:
752    
753    Fixed a problem in config/install.sh where it tries to "fish" the
754    name of the CM metadata directory from the wrong place (because
755    the physical location of basis.cm has changed).  Also, corrected the
756    path anchor for $/html-lib.cm.  (Thanks to M. Fluet for pointing out
757    these problems.)
758    
759    ----------------------------------------------------------------------
760    Name: Matthias Blume (http://www.tti-c.org/blume/)
761    Date: 2005/11/16 14:30:00 CST
762    Tag: blume-orig-110_57
763    Description:
764    
765    New working version (110.57).  NEW BOOTFILES!
766    
767    UPDATE: The release tag has been moved to include a fix for a brown-paper-
768            bag glitch (see above).
769    
770    ----------------------------------------------------------------------
771    Name: Matthias Blume (http://www.tti-c.org/blume/)
772    Date: 2005/11/16 10:25:00 CST
773    Tag: blume-22051116-btrace
774    Description:
775    
776    Fixed problem with bogus exception message when using back-trace
777    facility.
778    
779    ----------------------------------------------------------------------
780    Name: Matthias Blume (http://www.tti-c.org/blume/)
781    Date: 2005/11/15 22:35:00 CST
782    Tag: blume-22051115-array2copy
783    Description:
784    
785    Added simple implementation of Array2.copy.  (Warning: mostly untested.)
786    
787    ----------------------------------------------------------------------
788    Name: Matthias Blume (http://www.tti-c.org/blume/)
789    Date: 2005/11/15 21:35:00 CST
790    Tag: blume-22051115-versiontool
791    Description:
792    
793    Reversed change to src/system/smlnj/internals/versiontool.cm.  This
794    file gets loaded as a tool -- by the equivalent of CM.make during the
795    run of CMB.make.  Thus, CMB's path configuration is meaningless for
796    it.  Instead, it has the status of "user code", so it should use
797    $/basis.cm to refer to the Basis library.  (At least that's true for
798    the purpose of bootstrapping the previous change.  In the future it
799    might make sense to have versiontool.cm refer to
800    $smlnj/basis/basis.cm, i.e., the version of the Basis that the
801    compiler itself uses.)
802    
803    Also patched src/system/testml to have it activate those extra anchor
804    bindings in config/extrapathconfig.
805    
806    ----------------------------------------------------------------------
807    Name: Matthias Blume (http://www.tti-c.org/blume/)
808    Date: 2005/11/15 16:35:00 CST
809    Tag: blume-22051115-libraries
810    Description:
811    
812    This change affects the way the following libraries are tied into
813    the system:
814    
815       $/basis.cm
816       $/smlnj-lib.cm
817       $/pp-lib.cm
818       $/controls-lib.cm
819       $/html-lib.cm
820       $/ml-yacc-lib.cm
821    
822    These libraries are now internally (as seen from the source code
823    of the implementation itself) known by the following names:
824    
825       $smlnj/basis/basis.cm
826       $smlnj/smlnj-lib/smlnj-lib.cm
827       $smlnj/smlnj-lib/pp-lib.cm
828       $smlnj/smlnj-lib/controls-lib.cm
829       $smlnj/smlnj-lib/html-lib.cm
830       $smlnj/ml-yacc/ml-yacc-lib.cm
831    
832    This makes it possible to work with code that requires different
833    versions of these libraries, and which refers to these libraries using
834    their "default" names (i.e., the first set of names above).  In other
835    words, one can un-define or re-define those default names without
836    compromising the proper functioning of the compiler itself.
837    
838    A similar procedure had already been performed for several of the
839    MLRISC libraries that are linked into the compiler.  I did some
840    cleanup on this code.
841    
842    A new file in the config directory (named extrapathconfig) is
843    responsible for setting up path anchors that the compiler itself does
844    not need, but that are typically required by user code.
845    
846    ----------------------------------------------------------------------
847    Name: Matthias Blume
848    Date: 2005/11/07 17:05:00 CST
849    Tag: blume-20051107-slice
850    Description:
851    
852    Fixed erroneous out-of-bounds test in the "update" function of
853    various *ArraySlice modules.  (Thanks to Vesa A. Norrman for pointing
854    out the problem.)
855    
856    Pushed some Basis changes through ML-Lex, CML, and eXene.
857    
858    ----------------------------------------------------------------------
859    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
860    Date: 2005/11/07
861    Description:
862    Fixed a Basis incompatibility: The depreciated function Substring.all
863    was removed (use Substring.full instead).
864    
865    ----------------------------------------------------------------------
866    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
867    Date: 2005/11/05
868    Description:
869    Tweaked interval set API in SML/NJ library; see the CHANGES file for details.
870    
871    ----------------------------------------------------------------------
872    Name: Matthias Blume (http://www.tti-c.org/blume/)
873    Date: 2005/11/02 16:25:00 CST
874    Tag: blume-20051102-hex
875    Description:
876    
877    * Runtime system bootstrap code now accepts hex digits in BOOTLIST
878      in either upper case or lower case format.
879    * Pushed changes to names of Pack<N>{Big,Little} structures through
880      CML and eXene.
881    
882    ----------------------------------------------------------------------
883    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
884    Date: 2005/11/02
885    Description:
886    Fixed a Basis incompatibility: Pack<N>{Big,Little} structures should
887    be called PackWord<N>{Big,Little}.
888    
889    ----------------------------------------------------------------------
890    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
891    Date: 2005/10/28
892    Description:
893    Fixed a minor Basis incompatibility: hex digits should be upper case.
894    
895    ----------------------------------------------------------------------
896    Name: Matthias Blume (blume (at) tti - c (dot) org)
897    Date: 2005/10/25 16:00:00 CDT
898    Tag: Release_110_56
899    Description:
900    
901    New working version (110.56).  NEW BOOTFILES!
902    
903    ----------------------------------------------------------------------
904    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
905    Date: 2005/10/25
906    Description:
907    Added interval sets to utility library (signatures INTERVAL_DOMAIN
908    and INTERVAL_SET, and functor IntervalSetFn).
909    
910    ----------------------------------------------------------------------
911    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
912    Date: 2005/10/14
913    Description:
914    Add Zhong Shao's fix for datatype equality functions.
915    
916    ----------------------------------------------------------------------
917    Name: Allen Leung (leunga (at) reservoir (dot) com)
918    Date: 2005/10/14 12:30:00 EST
919    Tag: leunga-20051014-x86-spill
920    Description:
921    
922    Bug fix a bug found by Carl Hauser.
923    There was a typo in the reload code for FCMP in x86SpillInstr.sml.
924    
925    ----------------------------------------------------------------------
926    Name: Allen Leung (leunga (at) reservoir (dot) com)
927    Date: 2005/10/14 11:15:00 EST
928    Tag: leunga-20051014-x86-asm
929    Description:
930    
931    Removed some debugging code in file x86Asm.sml.
932    The function emit_operand was printing out debugging output.
933    
934    ----------------------------------------------------------------------
935    Name: John Reppy
936    Date: 2005/07/27
937    Tag:
938    Description:
939    
940    Fixed ml-lex to recognize "\r" as representing carriage return.
941    
942    ----------------------------------------------------------------------
943    Name: John Reppy
944    Date: 2005/07/27
945    Tag:
946    Description:
947    
948    Fixed ml-yacc to work on files with non-native end-of-line
949    encodings (e.g., Windows text file on a Unix system).
950    
951    ----------------------------------------------------------------------
952    Name: John Reppy
953    Date: 2005/07/20
954    Tag:
955    Description:
956    
957    Added changes from Dominic Evans (oldmanuk (at) gmail (dot) com)
958    to support HPUX 11.
959    
960    ----------------------------------------------------------------------
961    Name: John Reppy
962    Date: 2005/07/06
963    Tag:
964    Description:
965    
966    Changes to the SML/NJ library.  See smlnj-lib/CHANGES for details.
967    
968    ----------------------------------------------------------------------
969    Name: Matthias Blume (blume (at) tti - c (dot) org)
970    Date: 2005/07/06 00:45:00 CDT
971    Tag: blume-20050706-slice-copy
972    Description:
973    
974    Fixed reversed logic for deciding whether to "copy up" or "copy down"
975    in *-array-slice.sml.
976    
977    ----------------------------------------------------------------------
978    Name: Allen Leung (leunga (at) reservoir (dot) com)
979    Date: 2005/05/31 17:00:00 EST
980    Tag: leunga-20050531-cygwin-fault-2
981    Description:
982    
983    A typo in the cygwin code fixed.
984    
985    ----------------------------------------------------------------------
986    Name: Allen Leung (leunga (at) reservoir (dot) com)
987    Date: 2005/05/31 16:47:00 EST
988    Tag: leunga-20050531-cygwin-fault
989    Description:
990    
991    Updated Cygwin's fault/signal handling to match the Windows version.
992    Updated the export list.
993    
994    ----------------------------------------------------------------------
995    Name: Matthias Blume (blume (at) tti - c (dot) org)
996    Date: 2005/05/18 13:35:00 CDT
997    Tag: Release_110_54
998    Description:
999    
1000    New working version (110.54).  NEW BOOTFILES!
1001    
1002    ----------------------------------------------------------------------
1003    Name: Matthias Blume (blume (at) tti - c (dot) org)
1004    Date: 2005/05/18 11:58:00 CDT
1005    Tag: blume-20050518-installer
1006    Description:
1007    
1008    Added support scripts for Mac OS X PackageMaker and modified
1009    config/install.sh so that it supports re-dumping a heap image
1010    after customization.
1011    
1012    ----------------------------------------------------------------------
1013    Name: Matthias Blume (blume (at) tti - c (dot) org)
1014    Date: 2005/05/18 10:55:00 CDT
1015    Tag: blume-20050518-realdiv-noovld
1016    Description:
1017    
1018    Un-overloaded / to work around bug in overloading resolution code.
1019    
1020    ----------------------------------------------------------------------
1021    Name: Matthias Blume (blume (at) tti - c (dot) org)
1022    Date: 2005/05/16 23:50:00 CDT
1023    Tag: blume-20050516-redump-heap
1024    Description:
1025    
1026    Added mechanism for re-creating a heap file for the interactive system
1027    after configuration variables have been changed.
1028    
1029       CM.redump_heap : string -> unit
1030    
1031    This is much like SMLofNJ.exportML, but starting from the resulting
1032    heap does not return to the caller of CM.redump_heap but
1033    restarts the interactive system from scratch.  The original call of
1034    CM.redump_heap does not return but ends the interactive session.
1035    Thus, CM.redump_heap is a lot like SMLofNJ.exportFn.
1036    
1037    Internally, redump_heap winds the dynamic execution context back to
1038    the point where the original heap image was created and re-executes
1039    the heap image generation code in the boot code.
1040    
1041    ----------------------------------------------------------------------
1042    Name: Matthias Blume (blume (at) tti - c (dot) org)
1043    Date: 2005/05/09 21:55:00 CDT
1044    Tag: blume-20050509-word64
1045    Description:
1046    
1047    Added a hack to the existing hack known as Word64 to make fromString
1048    behave correctly.  I am still not sure whether Word64.scan will work
1049    as specified with respect to the interaction of radix and prefix.
1050    
1051    ----------------------------------------------------------------------
1052    Name: Allen Leung (leunga (at) reservoir (dot) com)
1053    Date: 2005/05/04 11:50:00 EST
1054    Tag: leunga-20050504-checkgc
1055    Description:
1056    
1057    Added a gc protocol checking phase.  This phase is enabled with
1058    the flag "check-gc".  "debug-check-gc" turns on the verbose mode.
1059    
1060    ----------------------------------------------------------------------
1061    Name: Matthias Blume (blume (at) tti - c (dot) org)
1062    Date: 2005/05/04 10:45:00 CDT
1063    Tag: blume-20050504-intinf
1064    Description:
1065    
1066    Fixed a bug in the implementation of div and mod for IntInf.
1067    Thanks to Neophytos Michael for reporting the problem.
1068    
1069    ----------------------------------------------------------------------
1070    Name: Matthias Blume (blume (at) tti - c (dot) org)
1071    Date: 2005/05/04 10:35:00 CDT
1072    Tag: blume-20050504-join
1073    Description:
1074    
1075    Added a "join" combinator to the ParserComb module in smlnj-lib.cm.
1076    
1077    ----------------------------------------------------------------------
1078    Name: Matthias Blume (blume (at) tti - c (dot) org)
1079    Date: 2005/02/28 23:40:00 CST
1080    Tag: blume-20050228-mVar
1081    Description:
1082    
1083    Fixed serious bug (brown paper bag variety) in new implementation of
1084    structure Atom in CML.  (I had accidentally used a mailbox instead of
1085    an mvar, leaving the door open for races.)
1086    
1087    ----------------------------------------------------------------------
1088    Name: Matthias Blume (blume (at) tti - c (dot) org)
1089    Date: 2005/02/25 15:00:00 CST
1090    Tag: Release_110_53
1091    Description:
1092    
1093    New working version (110.53).  NEW BOOTFILES!
1094    
1095    ----------------------------------------------------------------------
1096    Name: Matthias Blume (blume (at) tti - c (dot) org)
1097    Date: 2005/02/25 14:50:00 CST
1098    Tag: blume-20050225-susp
1099    Description:
1100    
1101    Brought back SMLofNJ.Susp.  The underlying suspension type is the one
1102    implemented in Core -- which means that it is the same as the one used
1103    by the lazy extension.
1104    
1105    ----------------------------------------------------------------------
1106    Name: Matthias Blume (blume (at) tti - c (dot) org)
1107    Date: 2005/02/24 16:50:00 CST
1108    Tag: blume-20050224-cml-atom
1109    Description:
1110    
1111    Simpler and at the same time more general implementation of structure
1112    Atom in CML.
1113    
1114    ----------------------------------------------------------------------
1115    Name: Matthias Blume (blume (at) tti - c (dot) org)
1116    Date: 2005/02/15 17:35:00 CST
1117    Tag: blume-20050215-tools
1118    Description:
1119    
1120    Created new "tools" directory under "src" and moved "TraceDebugProf"
1121    there.
1122    
1123    ----------------------------------------------------------------------
1124    Name: Matthias Blume (blume (at) tti - c (dot) org)
1125    Date: 2005/02/10 17:55:00 CST
1126    Tag: blume-20050210-longlong
1127    Description:
1128    
1129    Implemented "long long" arguments and results for NLFFI.  (Only the
1130    PPC/MacOS implementation is complete, the other backends still need to
1131    be updated.)
1132    
1133    ----------------------------------------------------------------------
1134    Name: Matthias Blume (blume (at) tti - c (dot) org)
1135    Date: 2005/01/24 17:40:00 CST
1136    Tag: blume-20050124-mlyacc
1137    Description:
1138    
1139    Minor cleanup in ML-Yacc rule printing mechanism.  This should fix a
1140    problem with certain "as" patterns which previously got rendered
1141    using incorrect syntax.
1142    
1143    ----------------------------------------------------------------------
1144    Name: Matthias Blume (blume (at) tti - c (dot) org)
1145    Date: 2005/01/18 12:00:00 CST
1146    Tag: blume-20050118-profile
1147    Description:
1148    
1149    Made time profiling code (interrupt handler) in runtime system aware
1150    of new array representation.
1151    
1152    ----------------------------------------------------------------------
1153    Name: Matthias Blume (blume (at) tti - c (dot) org)
1154    Date: 2005/01/14 18:00:00 CST
1155    Tag: blume-20050114-heap2exec
1156    Description:
1157    
1158    Implemented new (but still experimental) heap2exec facility.  This is
1159    tested under Mac OS X and should work under Linux (will test shortly).
1160    It will probably also work on the Sparc (will test some time later).
1161    
1162      - removed old "HACKED_STANDALONE" hack from runtime
1163    
1164    To be able to test this, uncomment the request for "heap2asm" in
1165    config/targets prior to installation.  (Notice that this is different
1166    from "heap2exec" mentioned below.  Not a typo.)
1167    
1168    To perform an actual test, run the command
1169    
1170       $ bin/heap2exec heapfile execfile
1171    
1172    (You can put heap2exec on your shell's path.)
1173    
1174    For example, run
1175    
1176      $ bin/heap2exec bin/.heap/ml-yacc.ppc-darwin mly
1177    
1178    This will create a standalone executable called "mly" which you can
1179    then invoke directly as a command.
1180    
1181    ----------------------------------------------------------------------
1182    Name: Matthias Blume (blume (at) tti - c (dot) org)
1183    Date: 2005/01/07 11:44:00 CST
1184    Tag: blume-20050107-mlstring
1185    Description:
1186    
1187    fixed off-by-one error in ML_STRING macro (globals.c)
1188    
1189    ----------------------------------------------------------------------
1190    Name: Matthias Blume (blume (at) tti - c (dot) org)
1191    Date: 2004/12/23 18:00:00 CST
1192    Tag: blume-20041223-santa
1193    Description:
1194    
1195    Made ml-build script "smarter" (but only very little).
1196    
1197    ----------------------------------------------------------------------
1198    Name: Matthias Blume (blume (at) tti - c (dot) org)
1199    Date: 2004/12/21 15:05:00 CST
1200    Tag: blume-20041221-longlong
1201    Description:
1202    
1203    * Implemented access to signed and unsigned long long data in NLFFI.
1204    (The parameter-passing part of the picture has not complete. But
1205    data structure access seems to work.)
1206    
1207    * Fixed CM's incorrect assumption that the PPC is little-endian.
1208      (On the Mac, it is big-endian.  And that's currently our only
1209      PPC platform.)
1210    
1211    ----------------------------------------------------------------------
1212    Name: Matthias Blume (blume (at) tti - c (dot) org)
1213    Date: 2004/12/21 12:50:00 CST
1214    Tag: blume-20041221-memory
1215    Description:
1216    
1217    Some cleanup in the $c/memory.cm library: separated some concerns by
1218    moving allocation code and memory access code each into their own
1219    files.
1220    
1221    ----------------------------------------------------------------------
1222    Name: Allen Leung (leunga (at) reservoir (dot) com)
1223    Date: 2004/12/17 16:12:00 EST
1224    Tag: leunga-20041217-cygwin-smlnj-home
1225    Description:
1226    
1227        The Unix I/O library of SML/NJ on cygwin does not understand
1228    Windows style pathname, so problems arise when SMLNJ_HOME is set
1229    to a Windows style pathname.  _run-sml now converts SMLNJ_HOME
1230    to a POSIX pathname on cygwin.
1231    
1232    ----------------------------------------------------------------------
1233    Name: Matthias Blume (blume (at) tti - c (dot) org)
1234    Date: 2004/12/16 13:35:00 CST
1235    Tag: Release_110_52
1236    Description:
1237    
1238    Last-minute changes incorporated into 110.52.  Release tag moved.
1239    
1240    The changes:
1241       - HashString.hashString' -> HashString.hashSubstring
1242       - bug fix in UnivariateStats
1243    
1244    ----------------------------------------------------------------------
1245    Name: Matthias Blume (blume (at) tti - c (dot) org)
1246    Date: 2004/12/15 23:40:00 CST
1247    Tag: blume-20041215-hashSubstring
1248    Description:
1249    
1250    - HashString.hashString' -> HashString.hashSubstring
1251    - corresponding changes in atom.sml
1252    - "de-compressed" (aka. un-obfuscated) code for UnivariateStats and
1253      added some comments
1254    
1255    ----------------------------------------------------------------------
1256    Name: Matthias Blume (blume (at) tti - c (dot) org)
1257    Date: 2004/12/15 15:30:00 CST
1258    Tag: (Release_110_52)
1259    Description:
1260    
1261    New working version (110.52).  NEW BOOTFILES!
1262    
1263    ----------------------------------------------------------------------
1264    Name: Matthias Blume (blume (at) tti - c (dot) org)
1265    Date: 2004/12/15 12:45:00 CST
1266    Tag: blume-20041215-spaces
1267    Description:
1268    
1269    More on the space problem (this time for Win32).
1270    
1271    ----------------------------------------------------------------------
1272    Name: Matthias Blume (blume (at) tti - c (dot) org)
1273    Date: 2004/12/14 17:30:00 CST
1274    Tag: blume-20041214-spaces
1275    Description:
1276    
1277    Hacked some of the scripts (in particular: the installer) to cope with
1278    spaces in filenames a bit better.  But beware: the current "solution"
1279    is likely still full of bugs and inherently incomplete.  (We need to
1280    do away with those shell scripts for a comprehensive solution.)
1281    
1282    ----------------------------------------------------------------------
1283    Name: Matthias Blume (blume (at) tti - c (dot) org)
1284    Date: 2004/12/13 14:45:00 CST
1285    Tag: blume-20041213-ml-makedepend
1286    Description:
1287    
1288    Fixed bug in code for ml-makedepend.
1289    
1290    ----------------------------------------------------------------------
1291    Name: Matthias Blume (blume (at) tti - c (dot) org)
1292    Date: 2004/12/09 16:30:00 CST
1293    Tag: blume-20041209-statistics
1294    Description:
1295    
1296    Added two simple but potentially useful statistics modules to SML/NJ Library.
1297    (See CHANGES file there.)
1298    
1299    ----------------------------------------------------------------------
1300    Name: Matthias Blume (blume (at) tti - c (dot) org)
1301    Date: 2004/12/01 16:50:00 CST
1302    Tag: blume-20041201-atom
1303    Description:
1304    
1305    smlnj-lib:
1306    
1307      Added function HashString.hashString' for substrings.
1308      Hand-inlined CharVector.foldl into HashString (for speed).
1309      Modified implementation of structure Atom to avoid extracting
1310      strings from substrings unless necessary.
1311      (Also see CHANGES file for smlnj-lib.)
1312    
1313    ----------------------------------------------------------------------
1314    Name: Matthias Blume (blume (at) tti - c (dot) org)
1315    Date: 2004/11/24 22:15:00 CST
1316    Tag: blume-20041124-cml
1317    Description:
1318    
1319    Made sure CML compiles when Position = Int64.
1320    
1321    ----------------------------------------------------------------------
1322    Name: Matthias Blume (blume (at) tti - c (dot) org)
1323    Date: 2004/11/24 14:30:00 CST
1324    Tag: blume-20041124-position
1325    Description:
1326    
1327    The compiler can now be compiled in a mode that makes structure Position
1328    equal to Int64.  The default, however, is unchanged (Position = Int31)
1329    for the time being.
1330    
1331    To enable 64-bit positions, use the following procedure:
1332    
1333    1. Start sml
1334    2. Autoload $smlnj/cmb.cm (if not already autoloaded)
1335    3. Type
1336          #set (CMB.symval "USE_64_BIT_POSITIONS") (SOME 1);
1337    4. Run CMB.make() as usual.
1338    
1339    This is barely tested.  The only test so far was a little SML program
1340    counting the number of characters in an 8-gigabyte file by
1341    reading it character-by-character.  That test was successful.
1342    
1343    In support of 64-bit positions, a number of new functions have been
1344    added to the runtime system.
1345    
1346    ----------------------------------------------------------------------
1347    Name: Matthias Blume (blume (at) tti - c (dot) org)
1348    Date: 2004/11/23 14:45:00 CST
1349    Tag: blume-20041123-useFile
1350    Description:
1351    
1352    Fixed a problem with unhelpful error messages related to problems with
1353    .cm- or .sml files that appear as part of the sml command line.
1354    
1355    ----------------------------------------------------------------------
1356    Name: Matthias Blume (blume (at) tti - c (dot) org)
1357    Date: 2004/11/18 15:40:00 CST
1358    Tag: Release_110_51
1359    Description:
1360    
1361    New working version (110.51).  NEW BOOTFILES!
1362    
1363    ----------------------------------------------------------------------
1364    Name: Matthias Blume (blume (at) tti - c (dot) org)
1365    Date: 2004/11/18 15:35:00 CST
1366    Tag: <none>
1367    Description:
1368    
1369    Enabled dlopen and friends for FreeBSD (as recommended by Johannes 5
1370    Joemann).
1371    
1372    ----------------------------------------------------------------------
1373    Name: Allen Leung (leunga (at) reservoir (dot) com)
1374    Date: 2004/11/17 16:05:21 EST 2004
1375    Tag: leunga-20041117-mlrisc-live-kill
1376    Description:
1377    
1378       Added support for MLTree constructs LIVE and KILL
1379    to all the architectures.
1380    
1381    ----------------------------------------------------------------------
1382    Name: Matthias Blume (blume (at) tti - c (dot) org)
1383    Date: 2004/11/13 00:20:00 CST
1384    Tag: blume-20041113-versiontool
1385    Description:
1386    
1387    - Stripped down the versiontool: It now only handles the version number.
1388      The date string is generated at bootstrap time (during makeml).
1389    
1390    - In a previous commit, fixed a minor issue with how polyequal is being
1391      translated.  In particular, the code now "looks through" abstractions.
1392      This results in slightly fewer polyEqual warnings and hopefully slightly
1393      more efficient code.  Important examples for where this matters are
1394      the new int64 and word64 types.
1395    
1396    ----------------------------------------------------------------------
1397    Name: Matthias Blume (blume (at) tti - c (dot) org)
1398    Date: 2004/11/12 00:30:00 CST
1399    Tag: blume-20041112-int64
1400    Description:
1401    
1402    Structure Int64 fully hooked in.  (The implementation is not very
1403    efficient, though.)
1404    
1405    ----------------------------------------------------------------------
1406    Name: Matthias Blume (blume (at) tti - c (dot) org)
1407    Date: 2004/11/11 17:30:00 CST
1408    Tag: blume-20041111-more64
1409    Description:
1410    
1411    All the pieces of Word64 are now there, with the exception of the
1412    conversions from and to LargeWord. (Eventually these need to be identities,
1413    but for the time being they don't even make sense because LargeWord is
1414    32-bit wide.)
1415    
1416    Also started to add similar support for Int64, but major pieces of that
1417    are still missing.
1418    
1419    ----------------------------------------------------------------------
1420    Name: Matthias Blume (blume (at) tti - c (dot) org)
1421    Date: 2004/11/11 00:15:00 CST
1422    Tag: blume-20041111-word64
1423    Description:
1424    
1425    Structure Word64 is now (almost) complete, word literals and patterns
1426    seem to work.  There are a few odd pieces missing.  In particular,
1427    I didn't do the {from,to}LargeWord parts because LargeWord is still Word32
1428    at the moment.
1429    
1430    Making Word64 official would mean that LargeWord becomes Word64.  But
1431    this requires extreme care because most word-word conversions have to
1432    go through LargeWord, so making a mistake means loss of efficiency or
1433    worse.  Eventually there will be a solution similar to (but actually
1434    simpler than) what I did with IntInf.
1435    
1436    ----------------------------------------------------------------------
1437    Name: Matthias Blume (blume (at) tti - c (dot) org)
1438    Date: 2004/11/10 18:12:00 CST
1439    Tag: blume-20041110-64bit
1440    Description:
1441    
1442    More 64-bit hacking (but still not even half-way there yet).
1443    Also, some assorted improvements to the handling of 8-bit words.
1444    
1445    ----------------------------------------------------------------------
1446    Name: Matthias Blume (blume (at) tti - c (dot) org)
1447    Date: 2004/11/09 17:50:00 CST
1448    Tag: <none>
1449    Description:
1450    
1451    Started adding some infrastructure for supporting 64-bit int- and
1452    word-types.  (Still in its very early stages.)
1453    
1454    ----------------------------------------------------------------------
1455    Name: Matthias Blume (blume (at) tti - c (dot) org)
1456    Date: 2004/10/28 10:45:00 CDT
1457    Tag: Release_110_50
1458    Description:
1459    
1460    New working version (110.50).  NEW BOOTFILES!
1461    
1462                 =====================
1463    
1464    Also:
1465    
1466      - Changend config/srcarchiveurl from a file just
1467        containing the URL string into a file containing
1468        shell script code.  The code has access to the $VERSION variable.
1469      - Made corresponding changes to config/install.sh and config/unpack.
1470      - Default contents of config/srcarchiveurl uses $VERSION and
1471        normally does not have to be edited to reflect a version change.
1472    
1473      (As a result, a version change can be done by just editing
1474       config/version, the rest is now automatic.)
1475    
1476    ----------------------------------------------------------------------
1477    Name: Matthias Blume (blume (at) tti - c (dot) org)
1478    Date: 2004/10/27 17:50:00 CDT
1479    Tag: blume-20041027-btrace-msg
1480    Description:
1481    
1482    BackTrace.monitor now also reports the source of the exception that
1483    triggered the trace.
1484    
1485    ----------------------------------------------------------------------
1486    Name: Matthias Blume (blume (at) tti - c (dot) org)
1487    Date: 2004/10/27 17:20:00 CDT
1488    Tag: blume-20041027-x86-c-calls
1489    Description:
1490    
1491    This is the HISTORY entry for two earlier commits, both concerning
1492    the x86 c-calls code in MLRISC:
1493    
1494      - added a missing LOAD in the code that deals with struct arguments
1495      - made sure the caller does not add the wrong number of bytes to the
1496        stack pointer after a call of a function returning a struct
1497        (the callee already pops the implicit argument which points to
1498         the space reserved for the result)
1499    
1500  ----------------------------------------------------------------------  ----------------------------------------------------------------------
1501  Name: Allen Leung (leunga (at) reservoir (dot) com)  Name: Allen Leung (leunga (at) reservoir (dot) com)
# Line 218  Line 1703 
1703  Description:  Description:
1704    
1705  * Moved the "version" magic into its own little library under  * Moved the "version" magic into its own little library under
1706  src/system/smlnj/internal.  This avoids expensive reconstruction    src/system/smlnj/internal.  This avoids expensive reconstruction of
1707  of a stable src/compiler/core.cm.    a stable src/compiler/core.cm.
1708    
1709  * At the same time, structure CompilerVersion is now known as structure  * At the same time, structure CompilerVersion is now known as
1710  SMLNJVersion.    structure SMLNJVersion.
1711    
1712  * Arranged for the version tool to NOT kick in when rebuilding the system  * Arranged for the version tool to NOT kick in when rebuilding the system
1713    (makeml -rebuild, fixpt).  Otherwise one would never reach a fixpoint.    (makeml -rebuild, fixpt).  Otherwise one would never reach a fixpoint.

Legend:
Removed from v.1662  
changed lines
  Added in v.2578

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