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 /doc/trunk/src/changelog/HISTORY.txt
ViewVC logotype

Diff of /doc/trunk/src/changelog/HISTORY.txt

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 3994, Mon Dec 15 19:45:23 2014 UTC revision 3995, Thu Dec 18 14:57:02 2014 UTC
# Line 24  Line 24 
24    
25      [yyy/mm/dd]::      [yyy/mm/dd]::
26      +      +
27      ... description ...      Description ...
28      +      +
29      owner:[Your Name,URL]      owner:[Your Name,URL]
30    
31    Note that we put "+" at the beginning of blank lines.  Entries are items
32    in a labeled list and the "+" character keeps eveything in the same list
33    element.
34    
35  Here is a quick asciidoc cheat sheet:  Here is a quick asciidoc cheat sheet:
36    
37      +                                   new paragraph      +                                   new paragraph
# Line 39  Line 43 
43                                          a link to the bug report.                                          a link to the bug report.
44      owner:[name,url]                    displays name with URL link.      owner:[name,url]                    displays name with URL link.
45    
46    Sub lists should be bracketed with lines containing just "--".
47  Bulleted list items start with a single dash or one to five  Bulleted list items start with a single dash or one to five
48  asterisks followed by some white space then some text. Numberd  asterisks followed by some white space then some text. Numberd
49  list items begin one to five period characters, followed by  list items begin one to five period characters, followed by
50  some white space then the item text.  some white space then the item text.
51    
52    Literal (verbatim) blocks are delimited by
53    .....................
54       stuff
55    .....................
56    
57  Superscripts and subscripts are denoted by putting ^ (or ~)  Superscripts and subscripts are denoted by putting ^ (or ~)
58  around the text to superscripted (superscripted).  For example,  around the text to superscripted (superscripted).  For example,
59  the number 256 can be written as 2^8^.  the number 256 can be written as 2^8^.
# Line 68  Line 77 
77  //--------------------------------------------------------------------  //--------------------------------------------------------------------
78  [2014/12/13]::  [2014/12/13]::
79  +  +
 Preliminary cleanups before changes to overloading.  
 +  
80  Minor cleanup in +Elaborator/elaborate/elabcore+ (function +elabOVERLOADdec+)  Minor cleanup in +Elaborator/elaborate/elabcore+ (function +elabOVERLOADdec+)
81  and in +ElabData/types/typesutil.sml+ (function  +matchScheme+). Preparing for  and in +ElabData/types/typesutil.sml+ (function  +matchScheme+). Preparing for
82  a new method of handling type checking of overloaded operators. [Note  a new method of handling type checking of overloaded operators. [Note
# Line 1595  Line 1602 
1602  |  +src/cm/pgraph+            | => | +pgraph+              |  |  +src/cm/pgraph+            | => | +pgraph+              |
1603  |                             |    |                       |  |                             |    |                       |
1604  |  +src/READMES+              | => | +base/READMES+        |  |  +src/READMES+              | => | +base/READMES+        |
1605  |  ++src/$++__notefile__      | => | ++base/NOTES/$++__notefile__  |  ++src/$++__note__      | => | ++base/NOTES/$++__note__
1606  |     for _notefile_ in +BOOT+ +CVSNOTES+ +CYGWININSTALL+  |     for _note_ in +BOOT+ +CVSNOTES+ +CYGWININSTALL+
1607        +HISTORY+ +INSTALL+ +MACOSXINSTALL+ +WININSTALL+        +HISTORY+ +INSTALL+ +MACOSXINSTALL+ +WININSTALL+
1608  |                             |    |                       |  |                             |    |                       |
1609  |  +src/smlnj-lib+            | => | +smlnj-lib+           |  |  +src/smlnj-lib+            | => | +smlnj-lib+           |
# Line 1790  Line 1797 
1797    3) added DarwinPseudoOp functor that supports Darwin's assembler syntax.    3) added DarwinPseudoOp functor that supports Darwin's assembler syntax.
1798    4) added support for 64-bit integer literals    4) added support for 64-bit integer literals
1799  +  +
1800  owner:[John Reppy]  owner:[John Reppy,http://www.cs.uchicago.edu/~jhr]
1801    
1802  //====================================================================  //====================================================================
1803  == Version 110.58; 2006/03/03  == Version 110.58; 2006/03/03
# Line 2073  Line 2080 
2080  +  +
2081  Fixed *ml-lex* to recognize "\r" as representing carriage return.  Fixed *ml-lex* to recognize "\r" as representing carriage return.
2082  +  +
2083  owner:[John Reppy]  owner:[John Reppy,http://www.cs.uchicago.edu/~jhr]
2084    
2085  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2086  [2005/07/27]::  [2005/07/27]::
# Line 2081  Line 2088 
2088  Fixed *ml-yacc* to work on files with non-native end-of-line  Fixed *ml-yacc* to work on files with non-native end-of-line
2089  encodings (_e.g._, Windows text file on a Unix system).  encodings (_e.g._, Windows text file on a Unix system).
2090  +  +
2091  owner:[John Reppy]  owner:[John Reppy,http://www.cs.uchicago.edu/~jhr]
2092    
2093  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2094  [2005/07/20]::  [2005/07/20]::
# Line 2089  Line 2096 
2096  Added changes from Dominic Evans (oldmanuk (at) gmail (dot) com)  Added changes from Dominic Evans (oldmanuk (at) gmail (dot) com)
2097  to support HPUX 11.  to support HPUX 11.
2098  +  +
2099  owner:[John Reppy]  owner:[John Reppy,http://www.cs.uchicago.edu/~jhr]
2100    
2101  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2102  [2005/07/06]::  [2005/07/06]::
2103  +  +
2104  Changes to the SML/NJ library.  See smlnj-lib/CHANGES for details.  Changes to the SML/NJ library.  See smlnj-lib/CHANGES for details.
2105  +  +
2106  owner:[John Reppy]  owner:[John Reppy,http://www.cs.uchicago.edu/~jhr]
2107    
2108  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2109  [2005/07/06]::  [2005/07/06]::
# Line 2104  Line 2111 
2111  Fixed reversed logic for deciding whether to "copy up" or "copy down"  Fixed reversed logic for deciding whether to "copy up" or "copy down"
2112  in *-array-slice.sml.  in *-array-slice.sml.
2113  +  +
2114  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2115    
2116  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2117  [2005/05/31]::  [2005/05/31]::
# Line 2132  Line 2139 
2139  config/install.sh so that it supports re-dumping a heap image  config/install.sh so that it supports re-dumping a heap image
2140  after customization.  after customization.
2141  +  +
2142  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2143    
2144  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2145  [2005/05/18]::  [2005/05/18]::
2146  +  +
2147  Un-overloaded / to work around bug in overloading resolution code.  Un-overloaded / to work around bug in overloading resolution code.
2148  +  +
2149  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2150    
2151  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2152  [2005/05/16]::  [2005/05/16]::
# Line 2159  Line 2166 
2166  the point where the original heap image was created and re-executes  the point where the original heap image was created and re-executes
2167  the heap image generation code in the boot code.  the heap image generation code in the boot code.
2168  +  +
2169  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2170    
2171  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2172  [2005/05/09]::  [2005/05/09]::
# Line 2168  Line 2175 
2175  behave correctly.  I am still not sure whether Word64.scan will work  behave correctly.  I am still not sure whether Word64.scan will work
2176  as specified with respect to the interaction of radix and prefix.  as specified with respect to the interaction of radix and prefix.
2177  +  +
2178  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2179    
2180  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2181  [2005/05/04]::  [2005/05/04]::
# Line 2184  Line 2191 
2191  Fixed a bug in the implementation of div and mod for IntInf.  Fixed a bug in the implementation of div and mod for IntInf.
2192  Thanks to Neophytos Michael for reporting the problem.  Thanks to Neophytos Michael for reporting the problem.
2193  +  +
2194  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2195    
2196  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2197  [2005/05/04]::  [2005/05/04]::
2198  +  +
2199  Added a "join" combinator to the ParserComb module in smlnj-lib.cm.  Added a "join" combinator to the ParserComb module in smlnj-lib.cm.
2200  +  +
2201  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2202    
2203  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2204  [2005/02/28]::  [2005/02/28]::
# Line 2200  Line 2207 
2207  structure Atom in CML.  (I had accidentally used a mailbox instead of  structure Atom in CML.  (I had accidentally used a mailbox instead of
2208  an mvar, leaving the door open for races.)  an mvar, leaving the door open for races.)
2209  +  +
2210  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2211    
2212  //====================================================================  //====================================================================
2213  == Version 110.53; 2005/02/25  == Version 110.53; 2005/02/25
# Line 2213  Line 2220 
2220  implemented in Core -- which means that it is the same as the one used  implemented in Core -- which means that it is the same as the one used
2221  by the lazy extension.  by the lazy extension.
2222  +  +
2223  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2224    
2225  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2226  [2005/02/24]::  [2005/02/24]::
# Line 2221  Line 2228 
2228  Simpler and at the same time more general implementation of structure  Simpler and at the same time more general implementation of structure
2229  Atom in CML.  Atom in CML.
2230  +  +
2231  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2232    
2233  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2234  [2005/02/15]::  [2005/02/15]::
# Line 2229  Line 2236 
2236  Created new "tools" directory under "src" and moved "TraceDebugProf"  Created new "tools" directory under "src" and moved "TraceDebugProf"
2237  there.  there.
2238  +  +
2239  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2240    
2241  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2242  [2005/02/10]::  [2005/02/10]::
# Line 2238  Line 2245 
2245  PPC/MacOS implementation is complete, the other backends still need to  PPC/MacOS implementation is complete, the other backends still need to
2246  be updated.)  be updated.)
2247  +  +
2248  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2249    
2250  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2251  [2005/01/24]::  [2005/01/24]::
# Line 2247  Line 2254 
2254  problem with certain "as" patterns which previously got rendered  problem with certain "as" patterns which previously got rendered
2255  using incorrect syntax.  using incorrect syntax.
2256  +  +
2257  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2258    
2259  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2260  [2005/01/18]::  [2005/01/18]::
# Line 2255  Line 2262 
2262  Made time profiling code (interrupt handler) in runtime system aware  Made time profiling code (interrupt handler) in runtime system aware
2263  of new array representation.  of new array representation.
2264  +  +
2265  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2266    
2267  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2268  [2005/01/14]::  [2005/01/14]::
# Line 2283  Line 2290 
2290  This will create a standalone executable called "mly" which you can  This will create a standalone executable called "mly" which you can
2291  then invoke directly as a command.  then invoke directly as a command.
2292  +  +
2293  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2294    
2295  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2296  [2005/01/07]::  [2005/01/07]::
2297  +  +
2298  fixed off-by-one error in ML_STRING macro (globals.c)  fixed off-by-one error in ML_STRING macro (globals.c)
2299  +  +
2300  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2301    
2302  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2303  [2004/12/23]::  [2004/12/23]::
2304  +  +
2305  Made *ml-build* script "smarter" (but only very little).  Made *ml-build* script "smarter" (but only very little).
2306  +  +
2307  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2308    
2309  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2310  [2004/12/21]::  [2004/12/21]::
# Line 2310  Line 2317 
2317    (On the Mac, it is big-endian.  And that's currently our only    (On the Mac, it is big-endian.  And that's currently our only
2318    PPC platform.)    PPC platform.)
2319  +  +
2320  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2321    
2322  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2323  [2004/12/21]::  [2004/12/21]::
# Line 2319  Line 2326 
2326  moving allocation code and memory access code each into their own  moving allocation code and memory access code each into their own
2327  files.  files.
2328  +  +
2329  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2330    
2331  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2332  [2004/12/17]::  [2004/12/17]::
# Line 2340  Line 2347 
2347     - HashString.hashString' -> HashString.hashSubstring     - HashString.hashString' -> HashString.hashSubstring
2348     - bug fix in UnivariateStats     - bug fix in UnivariateStats
2349  +  +
2350  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2351    
2352  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2353  [2004/12/15]::  [2004/12/15]::
# Line 2350  Line 2357 
2357  - "de-compressed" (aka. un-obfuscated) code for UnivariateStats and  - "de-compressed" (aka. un-obfuscated) code for UnivariateStats and
2358    added some comments    added some comments
2359  +  +
2360  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2361    
2362  //====================================================================  //====================================================================
2363  == Version 110.52; 2004/12/15  == Version 110.52; 2004/12/15
# Line 2361  Line 2368 
2368  +  +
2369  More on the space problem (this time for *Win32*).  More on the space problem (this time for *Win32*).
2370  +  +
2371  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2372    
2373  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2374  [2004/12/14]::  [2004/12/14]::
# Line 2371  Line 2378 
2378  is likely still full of bugs and inherently incomplete.  (We need to  is likely still full of bugs and inherently incomplete.  (We need to
2379  do away with those shell scripts for a comprehensive solution.)  do away with those shell scripts for a comprehensive solution.)
2380  +  +
2381  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2382    
2383  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2384  [2004/12/13]::  [2004/12/13]::
2385  +  +
2386  Fixed bug in code for *ml-makedepend*.  Fixed bug in code for *ml-makedepend*.
2387  +  +
2388  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2389    
2390  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2391  [2004/12/09]::  [2004/12/09]::
# Line 2386  Line 2393 
2393  Added two simple but potentially useful statistics modules to SML/NJ Library.  Added two simple but potentially useful statistics modules to SML/NJ Library.
2394  (See CHANGES file there.)  (See CHANGES file there.)
2395  +  +
2396  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2397    
2398  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2399  [2004/12/01]::  [2004/12/01]::
# Line 2399  Line 2406 
2406    strings from substrings unless necessary.    strings from substrings unless necessary.
2407    (Also see CHANGES file for smlnj-lib.)    (Also see CHANGES file for smlnj-lib.)
2408  +  +
2409  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2410    
2411  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2412  [2004/11/24]::  [2004/11/24]::
2413  +  +
2414  Made sure CML compiles when Position = Int64.  Made sure CML compiles when Position = Int64.
2415  +  +
2416  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2417    
2418  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2419  [2004/11/24]::  [2004/11/24]::
# Line 2430  Line 2437 
2437  In support of 64-bit positions, a number of new functions have been  In support of 64-bit positions, a number of new functions have been
2438  added to the runtime system.  added to the runtime system.
2439  +  +
2440  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2441    
2442  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2443  [2004/11/23]::  [2004/11/23]::
# Line 2438  Line 2445 
2445  Fixed a problem with unhelpful error messages related to problems with  Fixed a problem with unhelpful error messages related to problems with
2446  .cm- or .sml files that appear as part of the sml command line.  .cm- or .sml files that appear as part of the sml command line.
2447  +  +
2448  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2449    
2450  //====================================================================  //====================================================================
2451  == Version 110.51; 2004/11/18  == Version 110.51; 2004/11/18
# Line 2447  Line 2454 
2454  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2455  [2004/11/18]::  [2004/11/18]::
2456  +  +
2457  Enabled dlopen and friends for FreeBSD (as recommended by Johannes 5  Enabled +dlopen+ and friends for *FreeBSD* (as recommended by Johannes 5
2458  Joemann).  Joemann).
2459  +  +
2460  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2461    
2462  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2463  [2004/11/17]::  [2004/11/17]::
2464  +  +
2465     Added support for MLTree constructs LIVE and KILL  Added support for +MLTree+ constructs +LIVE+ and +KILL+
2466  to all the architectures.  to all the architectures.
2467  +  +
2468  owner:[Allen Leung]  owner:[Allen Leung]
# Line 2463  Line 2470 
2470  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2471  [2004/11/13]::  [2004/11/13]::
2472  +  +
2473  - Stripped down the versiontool: It now only handles the version number.  - Stripped down the +versiontool:+ It now only handles the version number.
2474    The date string is generated at bootstrap time (during makeml).    The date string is generated at bootstrap time (during makeml).
2475  +  +
2476  - In a previous commit, fixed a minor issue with how polyequal is being  - In a previous commit, fixed a minor issue with how polyequal is being
2477    translated.  In particular, the code now "looks through" abstractions.    translated.  In particular, the code now "looks through" abstractions.
2478    This results in slightly fewer polyEqual warnings and hopefully slightly    This results in slightly fewer polyEqual warnings and hopefully slightly
2479    more efficient code.  Important examples for where this matters are    more efficient code.  Important examples for where this matters are
2480    the new int64 and word64 types.    the new +int64+ and +word64+ types.
2481  +  +
2482  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2483    
2484  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2485  [2004/11/12]::  [2004/11/12]::
2486  +  +
2487  Structure Int64 fully hooked in.  (The implementation is not very  Structure +Int64+ fully hooked in.  (The implementation is not very
2488  efficient, though.)  efficient, though.)
2489  +  +
2490  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2491    
2492  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2493  [2004/11/11]::  [2004/11/11]::
2494  +  +
2495  All the pieces of Word64 are now there, with the exception of the  All the pieces of +Word64+ are now there, with the exception of the
2496  conversions from and to LargeWord. (Eventually these need to be identities,  conversions from and to +LargeWord+. (Eventually these need to be identities,
2497  but for the time being they don't even make sense because LargeWord is  but for the time being they don't even make sense because +LargeWord+ is
2498  32-bit wide.)  32-bit wide.)
2499  +  +
2500  Also started to add similar support for Int64, but major pieces of that  Also started to add similar support for +Int64+, but major pieces of that
2501  are still missing.  are still missing.
2502  +  +
2503  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2504    
2505  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2506  [2004/11/11]::  [2004/11/11]::
2507  +  +
2508  Structure Word64 is now (almost) complete, word literals and patterns  Structure +Word64+ is now (almost) complete, word literals and patterns
2509  seem to work.  There are a few odd pieces missing.  In particular,  seem to work.  There are a few odd pieces missing.  In particular,
2510  I didn't do the {from,to}LargeWord parts because LargeWord is still Word32  I didn't do the {++from++,++to++}++LargeWord++ parts because +LargeWord+
2511  at the moment.  is still +Word32+ at the moment.
2512  +  +
2513  Making Word64 official would mean that LargeWord becomes Word64.  But  Making +Word64+ official would mean that +LargeWord+ becomes +Word64+.  But
2514  this requires extreme care because most word-word conversions have to  this requires extreme care because most word-word conversions have to
2515  go through LargeWord, so making a mistake means loss of efficiency or  go through +LargeWord+, so making a mistake means loss of efficiency or
2516  worse.  Eventually there will be a solution similar to (but actually  worse.  Eventually there will be a solution similar to (but actually
2517  simpler than) what I did with IntInf.  simpler than) what I did with +IntInf+.
2518  +  +
2519  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2520    
2521  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2522  [2004/11/10]::  [2004/11/10]::
# Line 2517  Line 2524 
2524  More 64-bit hacking (but still not even half-way there yet).  More 64-bit hacking (but still not even half-way there yet).
2525  Also, some assorted improvements to the handling of 8-bit words.  Also, some assorted improvements to the handling of 8-bit words.
2526  +  +
2527  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2528    
2529  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2530  [2004/11/09]::  [2004/11/09]::
# Line 2525  Line 2532 
2532  Started adding some infrastructure for supporting 64-bit int- and  Started adding some infrastructure for supporting 64-bit int- and
2533  word-types.  (Still in its very early stages.)  word-types.  (Still in its very early stages.)
2534  +  +
2535  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2536    
2537  //====================================================================  //====================================================================
2538  == Version 110.50; 2004/10/28  == Version 110.50; 2004/10/28
# Line 2544  Line 2551 
2551    (As a result, a version change can be done by just editing    (As a result, a version change can be done by just editing
2552     config/version, the rest is now automatic.)     config/version, the rest is now automatic.)
2553  +  +
2554  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2555    
2556  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2557  [2004/10/27]::  [2004/10/27]::
# Line 2552  Line 2559 
2559  BackTrace.monitor now also reports the source of the exception that  BackTrace.monitor now also reports the source of the exception that
2560  triggered the trace.  triggered the trace.
2561  +  +
2562  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2563    
2564  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2565  [2004/10/27]::  [2004/10/27]::
# Line 2566  Line 2573 
2573      (the callee already pops the implicit argument which points to      (the callee already pops the implicit argument which points to
2574       the space reserved for the result)       the space reserved for the result)
2575  +  +
2576  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2577    
2578  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2579  [2004/10/24]::  [2004/10/24]::
# Line 2622  Line 2629 
2629     $smlnj-tdp/coverage.cm     $smlnj-tdp/coverage.cm
2630        -- when loaded causes the coverage plugin to be installed        -- when loaded causes the coverage plugin to be installed
2631  +  +
2632  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2633    
2634  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2635  [2004/10/18]::  [2004/10/18]::
# Line 2631  Line 2638 
2638  +  +
2639  Eliminated group owner specs from .cm files throughout the source tree.  Eliminated group owner specs from .cm files throughout the source tree.
2640  +  +
2641  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2642    
2643  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2644  [2004/10/15]::  [2004/10/15]::
# Line 2667  Line 2674 
2674  Coverage (and execution frequency-) information must be queried  Coverage (and execution frequency-) information must be queried
2675  explicitly by calling Coverage.not_covered and Coverage.hot_spots.  explicitly by calling Coverage.not_covered and Coverage.hot_spots.
2676  +  +
2677  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2678    
2679  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2680  [2004/10/14]::  [2004/10/14]::
# Line 2675  Line 2682 
2682  Snapshot of a significant overhaul of how the trace/debug/profile support  Snapshot of a significant overhaul of how the trace/debug/profile support
2683  is hooked into the system (specifically: Core and SMLofNJ.Internals).  is hooked into the system (specifically: Core and SMLofNJ.Internals).
2684  +  +
2685  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2686    
2687  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2688  [2004/10/13]::  [2004/10/13]::
# Line 2698  Line 2705 
2705  +  +
2706   sml -Ctdp.instrument=true   sml -Ctdp.instrument=true
2707  +  +
2708  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2709    
2710  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2711  [2004/10/11]::  [2004/10/11]::
# Line 2707  Line 2714 
2714  be propagated more tightly -- resulting in better (_i.e._, smaller)  be propagated more tightly -- resulting in better (_i.e._, smaller)
2715  regions being reported in error- and debug messages.  regions being reported in error- and debug messages.
2716  +  +
2717  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2718    
2719  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2720  [2004/10/08]::  [2004/10/08]::
# Line 2720  Line 2727 
2727  is supposed to accept a tool argument called "source", but this did  is supposed to accept a tool argument called "source", but this did
2728  not work because of the clash with the keyword.  not work because of the clash with the keyword.
2729  +  +
2730  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2731    
2732  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2733  [2004/10/07]::  [2004/10/07]::
# Line 2733  Line 2740 
2740    - simplified tokentable implementation    - simplified tokentable implementation
2741    - fixed some minor spelling errors    - fixed some minor spelling errors
2742  +  +
2743  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2744    
2745  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2746  [2004/10/06]::  [2004/10/06]::
# Line 2744  Line 2751 
2751  +  +
2752  Some minor cleanup of the btrace code.  Some minor cleanup of the btrace code.
2753  +  +
2754  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2755    
2756  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2757  [2004/10/01]::  [2004/10/01]::
# Line 2754  Line 2761 
2761  CMB.make, the release number gets bumped twice when slaves are  CMB.make, the release number gets bumped twice when slaves are
2762  attached.  I don't know if this is worth fixing...)  attached.  I don't know if this is worth fixing...)
2763  +  +
2764  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2765    
2766  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2767  [2004/09/30]::  [2004/09/30]::
# Line 2771  Line 2778 
2778    Also, loading the versiontool does not work when rebuilding the system    Also, loading the versiontool does not work when rebuilding the system
2779    because CM is not properly initialized at that time.    because CM is not properly initialized at that time.
2780  +  +
2781  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2782    
2783  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2784  [2004/09/29]::  [2004/09/29]::
# Line 2796  Line 2803 
2803  In any case, every CMB.make updates the date information in version.sml.  In any case, every CMB.make updates the date information in version.sml.
2804  (This is the date that is printed in the banner.)  (This is the date that is printed in the banner.)
2805  +  +
2806  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2807    
2808  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2809  [2004/09/28]::  [2004/09/28]::
2810  +  +
2811  Some cleanup of the controls code.  Some cleanup of the controls code.
2812  +  +
2813  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2814    
2815  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2816  [2004/09/27]::  [2004/09/27]::
2817  +  +
2818  Added two pieces of functionality to the Controls interface:  Added two pieces of functionality to the Controls interface:
2819  +  +
2820  1.   val save'restore: 'a control -> unit -> unit  [source,sml]
2821    ------------
2822    val save'restore: 'a control -> unit -> unit
2823    ------------
2824  +  +
2825     grabs the current value of the control in stage 1 and restores it     grabs the current value of the control in stage 1 and restores it
2826     in stage 2.     in stage 2.
2827  +  +
2828  2.   val set' : 'a control * 'a -> unit -> unit  [source,sml]
2829    ------------
2830    val set' : 'a control * 'a -> unit -> unit
2831    ------------
2832  +  +
2833     stores the given value into the control in stage 2 (_i.e._, delayed)     stores the given value into the control in stage 2 (_i.e._, delayed)
2834     but does all error checking in stage 1.     but does all error checking in stage 1.
# Line 2824  Line 2837 
2837      already knows the intended argument but wants to delay the actual      already knows the intended argument but wants to delay the actual
2838      assignment until a time when error recovery would be more difficult.)      assignment until a time when error recovery would be more difficult.)
2839  +  +
2840  Changed the handling of controls in tool arguments to classes "sml" and  Also changed the handling of controls in tool arguments to classes "+sml+" and
2841  "lazysml":  "+lazysml+":
2842     - use Controls.save'restore as a more robust way of restoring the  --
2843       - use +Controls.save'restore+ as a more robust way of restoring the
2844       old value (in particular: without having to re-parse the string)       old value (in particular: without having to re-parse the string)
2845     - use controls to handle the "overload" keyword in the init group     - use controls to handle the "+overload+" keyword in the init group
2846       (I believe this change actually fixes a long-standing obscure bug.)       (I believe this change actually fixes a long-standing obscure bug.)
2847    --
2848  +  +
2849  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2850    
2851  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2852  [2004/09/27]::  [2004/09/27]::
2853  +  +
2854  Added a new tool class called "lazysml" to CM's tool chest.  The only  Added a new tool class called "+lazysml+" to CM's tool chest.  The only
2855  difference to "sml" is that compilation is done with Control.lazysml  difference to "+sml+" is that compilation is done with +Control.lazysml+
2856  set to true.  A source of class "lazysml" is automatically recognized  set to true.  A source of class "+lazysml+" is automatically recognized
2857  by a file name suffix of ".lml".  by a file name suffix of "+.lml+".
2858  +  +
2859  In addition to the above feature, the original class "sml" now also  In addition to the above feature, the original class "+sml+" now also
2860  supports a tool argument "lazy" which has the same effect.  As a  supports a tool argument "+lazy+" which has the same effect.  As a
2861  result, the following three lines are equivalent:  result, the following three lines are equivalent:
2862  +  +
2863    ....................
2864      foo.sml : lazysml      foo.sml : lazysml
2865      foo.sml : sml (lazy)      foo.sml : sml (lazy)
2866      foo.sml (lazy)      foo.sml (lazy)
2867    ....................
2868  +  +
2869  The setting goes into effect both during parsing and during  The setting goes into effect both during parsing and during
2870  compilation.  The original setting is restored right after parsing and  compilation.  The original setting is restored right after parsing and
# Line 2855  Line 2872 
2872  +  +
2873  In addition to all the above, there is also a general mechanism to set  In addition to all the above, there is also a general mechanism to set
2874  ANY of the "controls" that are available at the command line via  ANY of the "controls" that are available at the command line via
2875  "-C..." on a per-sml-file basis.  The same rules that apply for "lazy"  "+-C...+" on a per-sml-file basis.  The same rules that apply for "+lazy+"
2876  apply as well. (In fact, "lazy" is implemented as a special case of  apply as well. (In fact, "+lazy+" is implemented as a special case of
2877  the general mechanism.)  the general mechanism.)
2878  +  +
2879  The .cm file syntax uses a new keyword tool argument called "with".  The +.cm+ file syntax uses a new keyword tool argument called "+with+".
2880  There are several ways of indicating the desired settings:  There are several ways of indicating the desired settings:
2881  +  +
2882    ....................
2883      foo.sml (with:parser.quotations=true)      foo.sml (with:parser.quotations=true)
2884      foo.sml (with:(name:parser.quotations value:true))      foo.sml (with:(name:parser.quotations value:true))
2885      foo.sml (with:(name:name1 value:value1 name:name2 value:value2 ...))      foo.sml (with:(name:name1 value:value1 name:name2 value:value2 ...))
2886      foo.sml (with:(name1=value1 name2=value2 ...))      foo.sml (with:(name1=value1 name2=value2 ...))
2887      foo.sml (with:(name1=value1 name:name2 value:value2 name3=value3 ...))      foo.sml (with:(name1=value1 name:name2 value:value2 name3=value3 ...))
2888    ....................
2889  +  +
2890      etc.  Another possible abbreviation is to leave out the +=v+ or +value:v+ part
 +  
 Another possible abbreviation is to leave out the =v or value:v part  
2891  if the name refers to a boolean control (in which case the value is  if the name refers to a boolean control (in which case the value is
2892  taken to be true).  Thus, one could get lazy sml also by saying:  taken to be true).  Thus, one could get lazy sml also by saying:
2893  +  +
2894    ....................
2895      foo.sml (with:parser.lazy-keyword=true)      foo.sml (with:parser.lazy-keyword=true)
2896      foo.sml (with:parser.lazy-keyword)      foo.sml (with:parser.lazy-keyword)
2897      foo.sml (with:(name:parser.lazy-keyword value:true))      foo.sml (with:(name:parser.lazy-keyword value:true))
2898      foo.sml (with:(name:parser.lazy-keyword))      foo.sml (with:(name:parser.lazy-keyword))
2899    ....................
2900  +  +
2901  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2902    
2903  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2904  [2004/09/24]::  [2004/09/24]::
# Line 2887  Line 2906 
2906  Turned message about "emiting long form of branch" off by default.  Turned message about "emiting long form of branch" off by default.
2907  Added a control flag to turn it back on when desired.  Added a control flag to turn it back on when desired.
2908  +  +
2909  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2910    
2911  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2912  [2004/09/24]::  [2004/09/24]::
# Line 2895  Line 2914 
2914  Applied patch for setting rounding modes under Mac OS X.  Thanks to  Applied patch for setting rounding modes under Mac OS X.  Thanks to
2915  Melissa O'Neill for providing the code!  Melissa O'Neill for providing the code!
2916  +  +
2917  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2918    
2919  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2920  [2004/09/23]::  [2004/09/23]::
# Line 2908  Line 2927 
2927     variables that can be used to control internal settings.     variables that can be used to control internal settings.
2928     (This uses the new API mentioned in 1.)     (This uses the new API mentioned in 1.)
2929  +  +
2930  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2931    
2932  //====================================================================  //====================================================================
2933  == Version 110.49; 2004/09/13  == Version 110.49; 2004/09/13
# Line 2929  Line 2948 
2948  Fixed the signal masking code to properly nest mask/unmask operations  Fixed the signal masking code to properly nest mask/unmask operations
2949  on a per-signal basis.  on a per-signal basis.
2950  +  +
2951  owner:[John Reppy]  owner:[John Reppy,http://www.cs.uchicago.edu/~jhr]
2952    
2953  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2954  [2004/09/08]::  [2004/09/08]::
# Line 2937  Line 2956 
2956  Bumped the heap magic number to 0x09082004 to account for the changed  Bumped the heap magic number to 0x09082004 to account for the changed
2957  layout of the ML frame under MacOS X.  layout of the ML frame under MacOS X.
2958  +  +
2959  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2960    
2961  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2962  [2004/09/03]::  [2004/09/03]::
# Line 2953  Line 2972 
2972  +  +
2973  Added some exports to src/compiler/core.cm upon request by J. Joemann.  Added some exports to src/compiler/core.cm upon request by J. Joemann.
2974  +  +
2975  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2976    
2977  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2978  [2004/08/30]::  [2004/08/30]::
# Line 2965  Line 2984 
2984    the code compiles but has yet to be tested in anger    the code compiles but has yet to be tested in anger
2985  - removed mlrisc from list of default targets (config/targets)  - removed mlrisc from list of default targets (config/targets)
2986  +  +
2987  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2988    
2989  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2990  [2004/08/27]::  [2004/08/27]::
# Line 2973  Line 2992 
2992  Added ptreql primop to structure InlineT (upon request from Larry  Added ptreql primop to structure InlineT (upon request from Larry
2993  Paulson).  Paulson).
2994  +  +
2995  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
2996    
2997  //--------------------------------------------------------------------  //--------------------------------------------------------------------
2998  [2004/08/15]::  [2004/08/15]::
# Line 3028  Line 3047 
3047    * bug fixes: short (erroneous) arguments are no longer ignored    * bug fixes: short (erroneous) arguments are no longer ignored
3048      completely      completely
3049  +  +
3050  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3051    
3052  //--------------------------------------------------------------------  //--------------------------------------------------------------------
3053  [2004/08/04]::  [2004/08/04]::
# Line 3052  Line 3071 
3071  twiddling the type of rawccall.  (See  twiddling the type of rawccall.  (See
3072  src/compiler/Semant/types/cproto.sml for details.)  src/compiler/Semant/types/cproto.sml for details.)
3073  +  +
3074  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3075    
3076  //--------------------------------------------------------------------  //--------------------------------------------------------------------
3077  [2004/08/02]::  [2004/08/02]::
# Line 3060  Line 3079 
3079  Backed out of change to win32-filesys.c.  The earlier patch to  Backed out of change to win32-filesys.c.  The earlier patch to
3080  get_file_time caused CM to produce files with the wrong time stamp.  get_file_time caused CM to produce files with the wrong time stamp.
3081  +  +
3082  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3083    
3084  //--------------------------------------------------------------------  //--------------------------------------------------------------------
3085  [2004/08/02]::  [2004/08/02]::
# Line 3069  Line 3088 
3088  Hansel.  This is currently completely untested.  Also, the issue  Hansel.  This is currently completely untested.  Also, the issue
3089  concerning stdcall vs. ccall is still unresolved.  concerning stdcall vs. ccall is still unresolved.
3090  +  +
3091  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3092    
3093  //--------------------------------------------------------------------  //--------------------------------------------------------------------
3094  [2004/07/30]::  [2004/07/30]::
# Line 3088  Line 3107 
3107    - applied patch for incorrect GetFileTime under win32    - applied patch for incorrect GetFileTime under win32
3108    - toSeconds -> toMilliseconds in Win32/win32-process.sml    - toSeconds -> toMilliseconds in Win32/win32-process.sml
3109  +  +
3110  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3111    
3112  //--------------------------------------------------------------------  //--------------------------------------------------------------------
3113  [2004/07/21]::  [2004/07/21]::
# Line 3099  Line 3118 
3118  - Started to produce what is supposed to become better (_i.e._, comprehensive)  - Started to produce what is supposed to become better (_i.e._, comprehensive)
3119    documentation of what ml-nlffigen does and produces.    documentation of what ml-nlffigen does and produces.
3120  +  +
3121  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3122    
3123  //--------------------------------------------------------------------  //--------------------------------------------------------------------
3124  [2004/07/14]::  [2004/07/14]::
# Line 3111  Line 3130 
3130  However, the actual architecture-specific implementation of function  However, the actual architecture-specific implementation of function
3131  arguments and results that are C unions is still not implemented.  arguments and results that are C unions is still not implemented.
3132  +  +
3133  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3134    
3135  //--------------------------------------------------------------------  //--------------------------------------------------------------------
3136  [2004/07/14]::  [2004/07/14]::
# Line 3153  Line 3172 
3172    of ml-nlffigen.    of ml-nlffigen.
3173  - minor code tweaks  - minor code tweaks
3174  +  +
3175  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3176    
3177  //====================================================================  //====================================================================
3178  == Version 110.46.1; 2004/07/12  == Version 110.46.1; 2004/07/12
# Line 3173  Line 3192 
3192  +  +
3193  Version bumped to 110.46.1 to account for runtime data format changes.  Version bumped to 110.46.1 to account for runtime data format changes.
3194  +  +
3195  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3196    
3197  //--------------------------------------------------------------------  //--------------------------------------------------------------------
3198  [2004/06/18]::  [2004/06/18]::
# Line 3183  Line 3202 
3202  is invoked on the same proc.  This is not what the spec currently  is invoked on the same proc.  This is not what the spec currently
3203  says -- although IMO it arguably should.  (See discussion below.)  says -- although IMO it arguably should.  (See discussion below.)
3204  +  +
3205  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3206    
3207  //====================================================================  //====================================================================
3208  == Version 110.46; 2004/06/17  == Version 110.46; 2004/06/17
# Line 3217  Line 3236 
3236  a proc hangs on to the imperative stream, then I/O operations on those  a proc hangs on to the imperative stream, then I/O operations on those
3237  will advance the state of the cached stream and avoid the space leak.  will advance the state of the cached stream and avoid the space leak.
3238  +  +
3239  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3240    
3241  //--------------------------------------------------------------------  //--------------------------------------------------------------------
3242  [2004/05/28]::  [2004/05/28]::
3243  +  +
3244  Added signature PACK_REAL and exported functor PrimIO.  Added signature PACK_REAL and exported functor PrimIO.
3245  +  +
3246  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3247    
3248  //--------------------------------------------------------------------  //--------------------------------------------------------------------
3249  [2004/05/25]::  [2004/05/25]::
# Line 3245  Line 3264 
3264  libraries A and B which are not part of the same program does not  libraries A and B which are not part of the same program does not
3265  cause real problems.  cause real problems.
3266  +  +
3267  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3268    
3269  //--------------------------------------------------------------------  //--------------------------------------------------------------------
3270  [2004/05/20]::  [2004/05/20]::
# Line 3257  Line 3276 
3276  Also, included a minor addition to ml-build.bat analogous to what was  Also, included a minor addition to ml-build.bat analogous to what was
3277  done in blume-20040519-ml-build.  done in blume-20040519-ml-build.
3278  +  +
3279  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3280    
3281  //--------------------------------------------------------------------  //--------------------------------------------------------------------
3282  [2004/05/19]::  [2004/05/19]::
# Line 3271  Line 3290 
3290  metadata directory (default: .cm) is actually configurable at  metadata directory (default: .cm) is actually configurable at
3291  installation time.  installation time.
3292  +  +
3293  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3294    
3295  //--------------------------------------------------------------------  //--------------------------------------------------------------------
3296  [2004/05/18]::  [2004/05/18]::
# Line 3279  Line 3298 
3298  Added Posix.IO.mk{Bin,Text}{Reader,Writer} by lifting their respective  Added Posix.IO.mk{Bin,Text}{Reader,Writer} by lifting their respective
3299  implementations from internal modules PosixBinPrimIO and PosixTextPrimIO.  implementations from internal modules PosixBinPrimIO and PosixTextPrimIO.
3300  +  +
3301  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3302    
3303  //--------------------------------------------------------------------  //--------------------------------------------------------------------
3304  [2004/05/11]::  [2004/05/11]::
# Line 3343  Line 3362 
3362  +  +
3363  David  David
3364  +  +
3365  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3366    
3367  //--------------------------------------------------------------------  //--------------------------------------------------------------------
3368  [2004/05/11]::  [2004/05/11]::
# Line 3351  Line 3370 
3370  Fixed two bugs in installml script.  (Thanks to Vesa A. Norrman for  Fixed two bugs in installml script.  (Thanks to Vesa A. Norrman for
3371  the patch.)  the patch.)
3372  +  +
3373  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3374    
3375  //--------------------------------------------------------------------  //--------------------------------------------------------------------
3376  [2004/05/11]::  [2004/05/11]::
# Line 3359  Line 3378 
3378  Added support for *nlffi* under netbsd.  (Thanks to Vesa A. Norrman for  Added support for *nlffi* under netbsd.  (Thanks to Vesa A. Norrman for
3379  the patch.)  the patch.)
3380  +  +
3381  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3382    
3383  //--------------------------------------------------------------------  //--------------------------------------------------------------------
3384  [2004/05/11]::  [2004/05/11]::
# Line 3367  Line 3386 
3386  As per request by Adam Chlipala <adam@hcoop.net>, extended various  As per request by Adam Chlipala <adam@hcoop.net>, extended various
3387  export lists in compiler-related .cm-files.  export lists in compiler-related .cm-files.
3388  +  +
3389  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3390    
3391  //--------------------------------------------------------------------  //--------------------------------------------------------------------
3392  [2004/05/11]::  [2004/05/11]::
# Line 3380  Line 3399 
3399  code is still only installed for modules that were requested explicitly  code is still only installed for modules that were requested explicitly
3400  or which are required for other modules that were requested explicitly.)  or which are required for other modules that were requested explicitly.)
3401  +  +
3402  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3403    
3404  //--------------------------------------------------------------------  //--------------------------------------------------------------------
3405  [2004/04/23]::  [2004/04/23]::
# Line 3389  Line 3408 
3408  in the exponent calculation we get INF or ZERO (depending on the mantissa  in the exponent calculation we get INF or ZERO (depending on the mantissa
3409  and the sign of the exponent).  and the sign of the exponent).
3410  +  +
3411  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3412    
3413  //--------------------------------------------------------------------  //--------------------------------------------------------------------
3414  [2004/04/23]::  [2004/04/23]::
# Line 3397  Line 3416 
3416  The *ml-build* script now terminates with a non-0 status when something  The *ml-build* script now terminates with a non-0 status when something
3417  goes wrong.  goes wrong.
3418  +  +
3419  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3420    
3421  //--------------------------------------------------------------------  //--------------------------------------------------------------------
3422  [2004/04/22]::  [2004/04/22]::
# Line 3405  Line 3424 
3424  Made exception Option to be the same as exception Option.Option  Made exception Option to be the same as exception Option.Option
3425  (as it should be).  (as it should be).
3426  +  +
3427  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3428    
3429  //--------------------------------------------------------------------  //--------------------------------------------------------------------
3430  [2004/03/19]::  [2004/03/19]::
# Line 3438  Line 3457 
3457  Fixed problem with IntInf.fmt (sign would show up on the right instead  Fixed problem with IntInf.fmt (sign would show up on the right instead
3458  of on the left for BIN, OCT, and HEX).  of on the left for BIN, OCT, and HEX).
3459  +  +
3460  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3461    
3462  //--------------------------------------------------------------------  //--------------------------------------------------------------------
3463  [2004/03/04]::  [2004/03/04]::
# Line 3447  Line 3466 
3466  friends pointed (via symlinks) to absolute locations instead of just  friends pointed (via symlinks) to absolute locations instead of just
3467  .run-sml.  This was reported by Vesa A Norrman.  .run-sml.  This was reported by Vesa A Norrman.
3468  +  +
3469  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3470    
3471  //====================================================================  //====================================================================
3472  == Version 110.45; 2004/02/13  == Version 110.45; 2004/02/13
# Line 3458  Line 3477 
3477  +  +
3478  Improved handling of exceptions at the interactive toplevel.  Improved handling of exceptions at the interactive toplevel.
3479  +  +
3480  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3481    
3482  //--------------------------------------------------------------------  //--------------------------------------------------------------------
3483  [2004/01/26]::  [2004/01/26]::
# Line 3466  Line 3485 
3485  Type of top-level "app" corrected.  Type of top-level "app" corrected.
3486  Added code for setting vp_limitPtrMask to *Win32*-specific runtime.  Added code for setting vp_limitPtrMask to *Win32*-specific runtime.
3487  +  +
3488  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3489    
3490  //--------------------------------------------------------------------  //--------------------------------------------------------------------
3491  [2003/11/18]::  [2003/11/18]::
# Line 3475  Line 3494 
3494  - POSIX_FLAGS -> BIT_FLAGS according to spec  - POSIX_FLAGS -> BIT_FLAGS according to spec
3495  - some other minor discrepancies wrt. spec eliminated  - some other minor discrepancies wrt. spec eliminated
3496  +  +
3497  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3498    
3499  //====================================================================  //====================================================================
3500  == Version 110.44; 2003/11/06  == Version 110.44; 2003/11/06
# Line 3492  Line 3511 
3511  Now that things have been stable for a long time and going back to the  Now that things have been stable for a long time and going back to the
3512  old CM is not an option, there is no reason to keep it around.)  old CM is not an option, there is no reason to keep it around.)
3513  +  +
3514  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3515    
3516  //--------------------------------------------------------------------  //--------------------------------------------------------------------
3517  [2003/11/03]::  [2003/11/03]::
# Line 3500  Line 3519 
3519  Made installer honor INSTALLDIR variable again.  (Thanks to Chris  Made installer honor INSTALLDIR variable again.  (Thanks to Chris
3520  Richards for pointing out the problem and providing the solution.)  Richards for pointing out the problem and providing the solution.)
3521  +  +
3522  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3523    
3524  //--------------------------------------------------------------------  //--------------------------------------------------------------------
3525  [2003/10/01]::  [2003/10/01]::
3526  +  +
3527  MLRISC bug fix from Lal.  MLRISC bug fix from Lal.
3528  +  +
3529  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3530    
3531  //--------------------------------------------------------------------  //--------------------------------------------------------------------
3532  [2003/09/30]::  [2003/09/30]::
# Line 3516  Line 3535 
3535  2. Improved .bat files (for *Win32* port) to make things work under Win95.  2. Improved .bat files (for *Win32* port) to make things work under Win95.
3536     (thanks to Aaron S. Hawley for this one)     (thanks to Aaron S. Hawley for this one)
3537  +  +
3538  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3539    
3540  //--------------------------------------------------------------------  //--------------------------------------------------------------------
3541  [2003/09/26]::  [2003/09/26]::
3542  +  +
3543  Added missing wrapper for privilege "primitive" in $smlnj/viscomp/core.cm.  Added missing wrapper for privilege "primitive" in $smlnj/viscomp/core.cm.
3544  +  +
3545  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3546    
3547  //====================================================================  //====================================================================
3548  == Version 110.43.3; 2003/09/26  == Version 110.43.3; 2003/09/26
# Line 3550  Line 3569 
3569  a chain of DEFtycs not farther than there are corresponding toplevel  a chain of DEFtycs not farther than there are corresponding toplevel
3570  names in the current environment.)  names in the current environment.)
3571  +  +
3572  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3573    
3574  //--------------------------------------------------------------------  //--------------------------------------------------------------------
3575  [2003/09/24]::  [2003/09/24]::
# Line 3573  Line 3592 
3592  is in sync with the APIs of the main system.  Also, the installer is  is in sync with the APIs of the main system.  Also, the installer is
3593  somewhat faster because the installer script is precompiled.  somewhat faster because the installer script is precompiled.
3594  +  +
3595  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3596    
3597  //--------------------------------------------------------------------  //--------------------------------------------------------------------
3598  [2003/09/24]::  [2003/09/24]::
# Line 3584  Line 3603 
3603  implementations of non-blocking operations from CML's Socket  implementations of non-blocking operations from CML's Socket
3604  structure.  structure.
3605  +  +
3606  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3607    
3608  //--------------------------------------------------------------------  //--------------------------------------------------------------------
3609  [2003/09/24]::  [2003/09/24]::
# Line 3609  Line 3628 
3628  +  +
3629  5. Changed Real64.precision from 52 to 53.  Minor cleanup in Real64 code.  5. Changed Real64.precision from 52 to 53.  Minor cleanup in Real64 code.
3630  +  +
3631  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3632    
3633  //====================================================================  //====================================================================
3634  == Version 110.43.2; 2003/09/22  == Version 110.43.2; 2003/09/22
# Line 3621  Line 3640 
3640  Made a new interim version and bootfiles for developer's bootstrapping  Made a new interim version and bootfiles for developer's bootstrapping
3641  convenience.  convenience.
3642  +  +
3643  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3644    
3645  //--------------------------------------------------------------------  //--------------------------------------------------------------------
3646  [2003/09/19]::  [2003/09/19]::
# Line 3633  Line 3652 
3652     during installation); once installation is complete, the name is     during installation); once installation is complete, the name is
3653     fixed     fixed
3654  +  +
3655  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3656    
3657  //====================================================================  //====================================================================
3658  == Version 110.43.1; 2003/09/18  == Version 110.43.1; 2003/09/18
# Line 3645  Line 3664 
3664  Made a new interim version and bootfiles for developer's bootstrapping  Made a new interim version and bootfiles for developer's bootstrapping
3665  convenience.  convenience.
3666  +  +
3667  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3668    
3669  //--------------------------------------------------------------------  //--------------------------------------------------------------------
3670  [2003/09/18]::  [2003/09/18]::
# Line 3660  Line 3679 
3679     For example, fromLargeInt never needs to look at more than 3 "big     For example, fromLargeInt never needs to look at more than 3 "big
3680     digits" to get its 53 bits of precision.     digits" to get its 53 bits of precision.
3681  +  +
3682  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3683    
3684  //--------------------------------------------------------------------  //--------------------------------------------------------------------
3685  [2003/09/17]::  [2003/09/17]::
# Line 3676  Line 3695 
3695  Made all(?) the slice-related changes to the Basis and made everything  Made all(?) the slice-related changes to the Basis and made everything
3696  compile again...  compile again...
3697  +  +
3698  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3699    
3700  //--------------------------------------------------------------------  //--------------------------------------------------------------------
3701  [2003/09/15]::  [2003/09/15]::
3702  +  +
3703  Fixed bug in Real.fromLargeInt.  Fixed bug in Real.fromLargeInt.
3704  +  +
3705  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3706    
3707  //--------------------------------------------------------------------  //--------------------------------------------------------------------
3708  [2003/09/13]::  [2003/09/13]::
# Line 3693  Line 3712 
3712  need *ml-lex* or *ml-yacc* won't compile the first time the installer  need *ml-lex* or *ml-yacc* won't compile the first time the installer
3713  runs).  runs).
3714  +  +
3715  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3716    
3717  //--------------------------------------------------------------------  //--------------------------------------------------------------------
3718  [2003/09/12]::  [2003/09/12]::
# Line 3704  Line 3723 
3723   - minor installer improvements / bugfixes   - minor installer improvements / bugfixes
3724   - changed default @SMLalloc parameter for x86/celeron to 64k   - changed default @SMLalloc parameter for x86/celeron to 64k
3725  +  +
3726  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3727    
3728  //====================================================================  //====================================================================
3729  == Version 110.43; 2003/09/09  == Version 110.43; 2003/09/09
# Line 3734  Line 3753 
3753      (under Win32, the volume name is case-insensitive, and the      (under Win32, the volume name is case-insensitive, and the
3754      OS.Path code compares volume names for equality)      OS.Path code compares volume names for equality)
3755  +  +
3756  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3757    
3758  //--------------------------------------------------------------------  //--------------------------------------------------------------------
3759  [2003/09/08]::  [2003/09/08]::
# Line 3744  Line 3763 
3763  CM depends on it.  (CM otherwise goes into an infinite loop in certain  CM depends on it.  (CM otherwise goes into an infinite loop in certain
3764  cases when presented with the name of a non-existing .cm file.)  cases when presented with the name of a non-existing .cm file.)
3765  +  +
3766  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3767    
3768  //--------------------------------------------------------------------  //--------------------------------------------------------------------
3769  [2003/09/04]::  [2003/09/04]::
# Line 3784  Line 3803 
3803   14. Functor PrimIO now takes two additional arguments (VectorSlice and   14. Functor PrimIO now takes two additional arguments (VectorSlice and
3804       ArraySlice).       ArraySlice).
3805  +  +
3806  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3807    
3808  //--------------------------------------------------------------------  //--------------------------------------------------------------------
3809  [2003/08/28]::  [2003/08/28]::
# Line 3857  Line 3876 
3876          (_e.g._, comparison with 0) where this seems appropriate.          (_e.g._, comparison with 0) where this seems appropriate.
3877  +  +
3878  +  +
3879  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3880    
3881  //--------------------------------------------------------------------  //--------------------------------------------------------------------
3882  [2003/08/13]::  [2003/08/13]::
# Line 3953  Line 3972 
3972    - Added getDevice to PP/src/pp-debug-fn.sml.  (Would not compile    - Added getDevice to PP/src/pp-debug-fn.sml.  (Would not compile
3973      otherwise.)      otherwise.)
3974  +  +
3975  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3976    
3977  //--------------------------------------------------------------------  //--------------------------------------------------------------------
3978  [2003/06/17]::  [2003/06/17]::
# Line 3969  Line 3988 
3988  +  +
3989  Tried to eliminated most cases of polymorphic equality.  Tried to eliminated most cases of polymorphic equality.
3990  +  +
3991  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
3992    
3993  //--------------------------------------------------------------------  //--------------------------------------------------------------------
3994  [2003/05/21]::  [2003/05/21]::
# Line 3981  Line 4000 
4000    2. Cleaned up the *entire* source tree so that CMB.make goes through    2. Cleaned up the *entire* source tree so that CMB.make goes through
4001       without a single non-exhaustive match- or bind warning.       without a single non-exhaustive match- or bind warning.
4002  +  +
4003  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
4004    
4005  //--------------------------------------------------------------------  //--------------------------------------------------------------------
4006  [2003/05/17]::  [2003/05/17]::
# Line 3998  Line 4017 
4017  2. The ErrorMsg.Error exception is now caught and absorbed by the  2. The ErrorMsg.Error exception is now caught and absorbed by the
4018     interactive loop.     interactive loop.
4019  +  +
4020  owner:[Matthias Blume]  owner:[Matthias Blume,http://www.tti-c.org/blume/]
4021    
4022  //--------------------------------------------------------------------  //--------------------------------------------------------------------
4023  [2003/05/16]::  [2003/05/16]::

Legend:
Removed from v.3994  
changed lines
  Added in v.3995

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