SCM Repository

[smlnj] Diff of /sml/branches/primop-branch-3/NOTES/HISTORY

[smlnj] / sml / branches / primop-branch-3 / NOTES / HISTORY

Diff of /sml/branches/primop-branch-3/NOTES/HISTORY

-revision 1220, Wed May 22 15:04:10 2002 UTC
+revision 1770, Tue Mar  1 05:43:28 2005 UTC
 Line 13
  Description:
  ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2005/02/28 23:40:00 CST
+ Tag: blume-20050228-mVar
+ Description:
+ Fixed serious bug (brown paper bag variety) in new implementation of
+ structure Atom in CML.  (I had accidentally used a mailbox instead of
+ an mvar, leaving the door open for races.)
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2005/02/25 15:00:00 CST
+ Tag: Release_110_53
+ Description:
+ New working version (110.53).  NEW BOOTFILES!
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2005/02/25 14:50:00 CST
+ Tag: blume-20050225-susp
+ Description:
+ Brought back SMLofNJ.Susp.  The underlying suspension type is the one
+ implemented in Core -- which means that it is the same as the one used
+ by the lazy extension.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2005/02/24 16:50:00 CST
+ Tag: blume-20050224-cml-atom
+ Description:
+ Simpler and at the same time more general implementation of structure
+ Atom in CML.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2005/02/15 17:35:00 CST
+ Tag: blume-20050215-tools
+ Description:
+ Created new "tools" directory under "src" and moved "TraceDebugProf"
+ there.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2005/02/10 17:55:00 CST
+ Tag: blume-20050210-longlong
+ Description:
+ Implemented "long long" arguments and results for NLFFI.  (Only the
+ PPC/MacOS implementation is complete, the other backends still need to
+ be updated.)
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2005/01/24 17:40:00 CST
+ Tag: blume-20050124-mlyacc
+ Description:
+ Minor cleanup in ML-Yacc rule printing mechanism.  This should fix a
+ problem with certain "as" patterns which previously got rendered
+ using incorrect syntax.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2005/01/18 12:00:00 CST
+ Tag: blume-20050118-profile
+ Description:
+ Made time profiling code (interrupt handler) in runtime system aware
+ of new array representation.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2005/01/14 18:00:00 CST
+ Tag: blume-20050114-heap2exec
+ Description:
+ Implemented new (but still experimental) heap2exec facility.  This is
+ tested under Mac OS X and should work under Linux (will test shortly).
+ It will probably also work on the Sparc (will test some time later).
+   - removed old "HACKED_STANDALONE" hack from runtime
+ To be able to test this, uncomment the request for "heap2asm" in
+ config/targets prior to installation.  (Notice that this is different
+ from "heap2exec" mentioned below.  Not a typo.)
+ To perform an actual test, run the command
+    $ bin/heap2exec heapfile execfile
+ (You can put heap2exec on your shell's path.)
+ For example, run
+   $ bin/heap2exec bin/.heap/ml-yacc.ppc-darwin mly
+ This will create a standalone executable called "mly" which you can
+ then invoke directly as a command.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2005/01/07 11:44:00 CST
+ Tag: blume-20050107-mlstring
+ Description:
+ fixed off-by-one error in ML_STRING macro (globals.c)
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/12/23 18:00:00 CST
+ Tag: blume-20041223-santa
+ Description:
+ Made ml-build script "smarter" (but only very little).
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/12/21 15:05:00 CST
+ Tag: blume-20041221-longlong
+ Description:
+ * Implemented access to signed and unsigned long long data in NLFFI.
+ (The parameter-passing part of the picture has not complete. But
+ data structure access seems to work.)
+ * Fixed CM's incorrect assumption that the PPC is little-endian.
+   (On the Mac, it is big-endian.  And that's currently our only
+   PPC platform.)
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/12/21 12:50:00 CST
+ Tag: blume-20041221-memory
+ Description:
+ Some cleanup in the $c/memory.cm library: separated some concerns by
+ moving allocation code and memory access code each into their own
+ files.
+ ----------------------------------------------------------------------
+ Name: Allen Leung (leunga (at) reservoir (dot) com)
+ Date: 2004/12/17 16:12:00 EST
+ Tag: leunga-20041217-cygwin-smlnj-home
+ Description:
+     The Unix I/O library of SML/NJ on cygwin does not understand
+ Windows style pathname, so problems arise when SMLNJ_HOME is set
+ to a Windows style pathname.  _run-sml now converts SMLNJ_HOME
+ to a POSIX pathname on cygwin.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/12/16 13:35:00 CST
+ Tag: Release_110_52
+ Description:
+ Last-minute changes incorporated into 110.52.  Release tag moved.
+ The changes:
+    - HashString.hashString' -> HashString.hashSubstring
+    - bug fix in UnivariateStats
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/12/15 23:40:00 CST
+ Tag: blume-20041215-hashSubstring
+ Description:
+ - HashString.hashString' -> HashString.hashSubstring
+ - corresponding changes in atom.sml
+ - "de-compressed" (aka. un-obfuscated) code for UnivariateStats and
+   added some comments
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/12/15 15:30:00 CST
+ Tag: (Release_110_52)
+ Description:
+ New working version (110.52).  NEW BOOTFILES!
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/12/15 12:45:00 CST
+ Tag: blume-20041215-spaces
+ Description:
+ More on the space problem (this time for Win32).
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/12/14 17:30:00 CST
+ Tag: blume-20041214-spaces
+ Description:
+ Hacked some of the scripts (in particular: the installer) to cope with
+ spaces in filenames a bit better.  But beware: the current "solution"
+ is likely still full of bugs and inherently incomplete.  (We need to
+ do away with those shell scripts for a comprehensive solution.)
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/12/13 14:45:00 CST
+ Tag: blume-20041213-ml-makedepend
+ Description:
+ Fixed bug in code for ml-makedepend.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/12/09 16:30:00 CST
+ Tag: blume-20041209-statistics
+ Description:
+ Added two simple but potentially useful statistics modules to SML/NJ Library.
+ (See CHANGES file there.)
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/12/01 16:50:00 CST
+ Tag: blume-20041201-atom
+ Description:
+ smlnj-lib:
+   Added function HashString.hashString' for substrings.
+   Hand-inlined CharVector.foldl into HashString (for speed).
+   Modified implementation of structure Atom to avoid extracting
+   strings from substrings unless necessary.
+   (Also see CHANGES file for smlnj-lib.)
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/11/24 22:15:00 CST
+ Tag: blume-20041124-cml
+ Description:
+ Made sure CML compiles when Position = Int64.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/11/24 14:30:00 CST
+ Tag: blume-20041124-position
+ Description:
+ The compiler can now be compiled in a mode that makes structure Position
+ equal to Int64.  The default, however, is unchanged (Position = Int31)
+ for the time being.
+ To enable 64-bit positions, use the following procedure:
+. Start sml
+. Autoload $smlnj/cmb.cm (if not already autoloaded)
+. Type
+       #set (CMB.symval "USE_64_BIT_POSITIONS") (SOME 1);
+. Run CMB.make() as usual.
+ This is barely tested.  The only test so far was a little SML program
+ counting the number of characters in an 8-gigabyte file by
+ reading it character-by-character.  That test was successful.
+ In support of 64-bit positions, a number of new functions have been
+ added to the runtime system.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/11/23 14:45:00 CST
+ Tag: blume-20041123-useFile
+ Description:
+ Fixed a problem with unhelpful error messages related to problems with
+ .cm- or .sml files that appear as part of the sml command line.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/11/18 15:40:00 CST
+ Tag: Release_110_51
+ Description:
+ New working version (110.51).  NEW BOOTFILES!
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/11/18 15:35:00 CST
+ Tag: <none>
+ Description:
+ Enabled dlopen and friends for FreeBSD (as recommended by Johannes 5
+ Joemann).
+ ----------------------------------------------------------------------
+ Name: Allen Leung (leunga (at) reservoir (dot) com)
+ Date: 2004/11/17 16:05:21 EST 2004
+ Tag: leunga-20041117-mlrisc-live-kill
+ Description:
+    Added support for MLTree constructs LIVE and KILL
+ to all the architectures.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/11/13 00:20:00 CST
+ Tag: blume-20041113-versiontool
+ Description:
+ - Stripped down the versiontool: It now only handles the version number.
+   The date string is generated at bootstrap time (during makeml).
+ - In a previous commit, fixed a minor issue with how polyequal is being
+   translated.  In particular, the code now "looks through" abstractions.
+   This results in slightly fewer polyEqual warnings and hopefully slightly
+   more efficient code.  Important examples for where this matters are
+   the new int64 and word64 types.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/11/12 00:30:00 CST
+ Tag: blume-20041112-int64
+ Description:
+ Structure Int64 fully hooked in.  (The implementation is not very
+ efficient, though.)
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/11/11 17:30:00 CST
+ Tag: blume-20041111-more64
+ Description:
+ All the pieces of Word64 are now there, with the exception of the
+ conversions from and to LargeWord. (Eventually these need to be identities,
+ but for the time being they don't even make sense because LargeWord is
+-bit wide.)
+ Also started to add similar support for Int64, but major pieces of that
+ are still missing.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/11/11 00:15:00 CST
+ Tag: blume-20041111-word64
+ Description:
+ Structure Word64 is now (almost) complete, word literals and patterns
+ seem to work.  There are a few odd pieces missing.  In particular,
+ I didn't do the {from,to}LargeWord parts because LargeWord is still Word32
+ at the moment.
+ Making Word64 official would mean that LargeWord becomes Word64.  But
+ this requires extreme care because most word-word conversions have to
+ go through LargeWord, so making a mistake means loss of efficiency or
+ worse.  Eventually there will be a solution similar to (but actually
+ simpler than) what I did with IntInf.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/11/10 18:12:00 CST
+ Tag: blume-20041110-64bit
+ Description:
+ More 64-bit hacking (but still not even half-way there yet).
+ Also, some assorted improvements to the handling of 8-bit words.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/11/09 17:50:00 CST
+ Tag: <none>
+ Description:
+ Started adding some infrastructure for supporting 64-bit int- and
+ word-types.  (Still in its very early stages.)
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/10/28 10:45:00 CDT
+ Tag: Release_110_50
+ Description:
+ New working version (110.50).  NEW BOOTFILES!
+              =====================
+ Also:
+   - Changend config/srcarchiveurl from a file just
+     containing the URL string into a file containing
+     shell script code.  The code has access to the $VERSION variable.
+   - Made corresponding changes to config/install.sh and config/unpack.
+   - Default contents of config/srcarchiveurl uses $VERSION and
+     normally does not have to be edited to reflect a version change.
+   (As a result, a version change can be done by just editing
+    config/version, the rest is now automatic.)
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/10/27 17:50:00 CDT
+ Tag: blume-20041027-btrace-msg
+ Description:
+ BackTrace.monitor now also reports the source of the exception that
+ triggered the trace.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/10/27 17:20:00 CDT
+ Tag: blume-20041027-x86-c-calls
+ Description:
+ This is the HISTORY entry for two earlier commits, both concerning
+ the x86 c-calls code in MLRISC:
+   - added a missing LOAD in the code that deals with struct arguments
+   - made sure the caller does not add the wrong number of bytes to the
+     stack pointer after a call of a function returning a struct
+     (the callee already pops the implicit argument which points to
+      the space reserved for the result)
+ ----------------------------------------------------------------------
+ Name: Allen Leung (leunga (at) reservoir (dot) com)
+ Date: 2004/10/24 14:00:00 EST
+ Tag: leunga-20041024-x86-gas-fucomip
+ Description:
+    John discovered a bug in the syntax of fucomip.
+    The opcodes FU?COMIP? have been changed to
+        fu?comip? %st(i), %st
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/10/20 15:06:00 CDT
+ Tag: blume-20041020-standalone-backtrace
+ Description:
+ Added a mechanism for getting back-trace information from standalone
+ programs.  Here is how it works:
+. The part of the program from which you want to get backtrace
+       information (usually the whole program) should be wrapped with
+       BackTrace.monitor.  This is a (unit->'a)->'a function, and your
+       main program could be modified from something like
+          fun main (pgm, args) = ...
+      to
+         fun main (pgm, args) = BackTrace.monitor (fn () => ...)
+. To be able to access BackTrace.monitor, you have to add
+       library $smlnj-tdp/plugins.cm to the .cm file that contains your
+       main function.
+. Remove all compiled code (i.e., all the .cm/ subdirectories that
+       CM might have created in the past for your project).
+. Build the system using this command line:
+          ml-build -Ctdp.instrument=true \$smlnj-tdp/back-trace.cm \
+                   myprog.cm MyProg.main myprog
+       instead of the usual
+          ml-build myprog.cm MyProg.main myprog
+ I changed a library name:
+    $/trace-debug-profile.cm --> $smlnj-tdp/plugins.cm
+ New libraries:
+    $smlnj-tdp/back-trace.cm
+       -- when loaded causes the back-trace plugin to be installed
+    $smlnj-tdp/coverage.cm
+       -- when loaded causes the coverage plugin to be installed
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/10/18 16:45:00 CDT
+ Tag: blume-20041018-groupowner
+ Description:
+ Added an "obsolete" warning for the "group owner" syntax to CM's parser.
+ Eliminated group owner specs from .cm files throughout the source tree.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/10/15 15:45:00 CDT
+ Tag: blume-20041015-coverage
+ Description:
+ * Test coverage tool added!
+ * Further reorganization of tracing-, debugging-, and profiling support:
+     - moved original BTImp -- now called BackTrace -- into a separate
+       library called $/trace-debug-profile.cm
+     - eliminated all mentions of BTrace from SMLofNJ.Internals
+     - only the instrumentation mechanism is now left in the compiler proper
+     - BackTrace module is a plugin which is NOT plugged in by default
+     - Coverage module is another such plugin
+ To get the benefits of any of these plugin modules, the code in
+ question must be compiled with tdp instrumentation turned on.  This
+ can be done by setting SMLofNJ.Internals.TDP.mode to true.
+ (The ref cell is also controlled via the -Ctdp.instrument=... switch.)
+ Plugins are selected at link time.  (Pre-compiled instrumented code
+ can be re-loaded with different plugins in effect.)  When an
+ instrumented module is linked, whatever plugins are at that time
+ enabled will come into effect for that module.
+ To enable the back-trace plugin, load library $/trace-debug-profile.cm
+ and invoke BackTrace.install() (e.g., from the interactive prompt).
+ To enable the coverage plugin, load the same library and invoke
+ Coverage.install().
+ Back-traces are generated automatically on uncaught exceptions and
+ when the code in question explicitly invokes BackTrace.trigger().
+ Coverage (and execution frequency-) information must be queried
+ explicitly by calling Coverage.not_covered and Coverage.hot_spots.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/10/14 17:40:00 CDT
+ Tag: blume-20041014-tdp-core
+ Description:
+ Snapshot of a significant overhaul of how the trace/debug/profile support
+ is hooked into the system (specifically: Core and SMLofNJ.Internals).
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/10/13 16:34:00 CDT
+ Tag: blume-20041013-tdp
+ Description:
+ Some rationalization of names:
+    structure BTrace -> structure TDPInstrument
+    etc.
+ This is is preparation of using the original back-trace
+ instrumentation for other purposes.  "TDP" stands for
+ Trace/Debug/Profile.
+ The control flag controlling whether instrumentation is on or off is now
+ registered under a different name, so instead of running sml as
+  sml -Cinstrument.btrace-mode=true
+ one has to say
+  sml -Ctdp.instrument=true
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/10/11 16:37:00 CDT
+ Tag: blume-20041011-regions
+ Description:
+ Made some minor modifications to elabcore.sml to have source regions
+ be propagated more tightly -- resulting in better (i.e., smaller)
+ regions being reported in error- and debug messages.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/10/08 22:50:00 CDT
+ Tag: blume-20041008-cmkw
+ Description:
+ Fixed handling of keywords in .cm files: After seeing "is" the lexer
+ treats subsequent occurrences of "group", "library", "source", "is",
+ "*", and "-" as ordinary identifiers rather than keywords.
+ Most seriously, this fixes a problem with CM's "shell" tool.  The tool
+ is supposed to accept a tool argument called "source", but this did
+ not work because of the clash with the keyword.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/10/07 16:00:00 CDT
+ Tag: blume-20041007-cleanup
+ Description:
+ Assorted cleanup work:
+   - got rid of intstrmap in favor of using the library's
+     hash table implementation
+   - threw out most of the pathnames stuff, as it was not used anyway
+   - simplified tokentable implementation
+   - fixed some minor spelling errors
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/10/06 15:15:15 CDT
+ Tag: blume-20041006-handler
+ Description:
+ Cleaned up the absyn to reflect the invariant that HANDLE always
+ carries a FNexp as part of the type definition.  This eliminates some
+ superfluous sanity checks at runtime down the road.
+ Some minor cleanup of the btrace code.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/10/01 10:20:30 CDT
+ Tag: blume-20041001-slave
+ Description:
+ Added hack to make slave mode work in the presence of the version
+ tool.  (Still, since the master does two passes over the code for
+ CMB.make, the release number gets bumped twice when slaves are
+ attached.  I don't know if this is worth fixing...)
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/09/30 10:55:00 CDT
+ Tag: blume-20040930-version
+ Description:
+ * Moved the "version" magic into its own little library under
+   src/system/smlnj/internal.  This avoids expensive reconstruction of
+   a stable src/compiler/core.cm.
+ * At the same time, structure CompilerVersion is now known as
+   structure SMLNJVersion.
+ * Arranged for the version tool to NOT kick in when rebuilding the system
+   (makeml -rebuild, fixpt).  Otherwise one would never reach a fixpoint.
+   Also, loading the versiontool does not work when rebuilding the system
+   because CM is not properly initialized at that time.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/09/29 14:00:00 CDT
+ Tag: blume-20040929-autoversion
+ Description:
+ Implemented some CM magic to have
+     file src/compiler/TopLevel/main/version.sml
+ generated automagically.
+ The version is taken from two files: config/version and config/release.
+ The first is expected to contain a two-part version number such as 110.49.
+ The second should contain a single number, but it may be missing.
+ If the environment variable VERSIONTOOL_BUMP_RELEASE is defined at the
+ time the version tool is loaded (which is the first time you say CMB.make),
+ then the tool will increment the value stored in config/release every
+ time CMB.make is invoked.
+ The binfile format is now insensitive to anything beyond the first
+ two components of a version number, so bumping the release does not render
+ binfiles incompatible.  Auto-bumping can be used to keep track of versions
+ during development without invalidating existing binfiles.
+ In any case, every CMB.make updates the date information in version.sml.
+ (This is the date that is printed in the banner.)
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/09/28 10:53:00 CDT
+ Tag: blume-20040928-controls
+ Description:
+ Some cleanup of the controls code.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/09/27 22:08:00 CDT
+ Tag: blume-20040927-controls
+ Description:
+ Added two pieces of functionality to the Controls interface:
+.   val save'restore: 'a control -> unit -> unit
+    grabs the current value of the control in stage 1 and restores it
+    in stage 2.
+.   val set' : 'a control * 'a -> unit -> unit
+    stores the given value into the control in stage 2 (i.e., delayed)
+    but does all error checking in stage 1.
+    (This is for string controls that need to do parse their argument --
+     something that might fail.  In some cases, notably in CM, one
+     already knows the intended argument but wants to delay the actual
+     assignment until a time when error recovery would be more difficult.)
+ Changed the handling of controls in tool arguments to classes "sml" and
+ "lazysml":
+    - use Controls.save'restore as a more robust way of restoring the
+      old value (in particular: without having to re-parse the string)
+    - use controls to handle the "overload" keyword in the init group
+      (I believe this change actually fixes a long-standing obscure bug.)
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/09/27 17:00:00 CDT
+ Tag: blume-20040927-lazysml
+ Description:
+ Added a new tool class called "lazysml" to CM's tool chest.  The only
+ difference to "sml" is that compilation is done with Control.lazysml
+ set to true.  A source of class "lazysml" is automatically recognized
+ by a file name suffix of ".lml".
+ In addition to the above feature, the original class "sml" now also
+ supports a tool argument "lazy" which has the same effect.  As a
+ result, the following three lines are equivalent:
+     foo.sml : lazysml
+     foo.sml : sml (lazy)
+     foo.sml (lazy)
+ The setting goes into effect both during parsing and during
+ compilation.  The original setting is restored right after parsing and
+ after compilation, respectively.
+ In addition to all the above, there is also a general mechanism to set
+ ANY of the "controls" that are available at the command line via
+ "-C..." on a per-sml-file basis.  The same rules that apply for "lazy"
+ apply as well. (In fact, "lazy" is implemented as a special case of
+ the general mechanism.)
+ The .cm file syntax uses a new keyword tool argument called "with".
+ There are several ways of indicating the desired settings:
+     foo.sml (with:parser.quotations=true)
+     foo.sml (with:(name:parser.quotations value:true))
+     foo.sml (with:(name:name1 value:value1 name:name2 value:value2 ...))
+     foo.sml (with:(name1=value1 name2=value2 ...))
+     foo.sml (with:(name1=value1 name:name2 value:value2 name3=value3 ...))
+     etc.
+ Another possible abbreviation is to leave out the =v or value:v part
+ if the name refers to a boolean control (in which case the value is
+ taken to be true).  Thus, one could get lazy sml also by saying:
+     foo.sml (with:parser.lazy-keyword=true)
+     foo.sml (with:parser.lazy-keyword)
+     foo.sml (with:(name:parser.lazy-keyword value:true))
+     foo.sml (with:(name:parser.lazy-keyword))
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/09/24 16:22:00 CDT
+ Tag: blume-20040924-ppc-long-branch
+ Description:
+ Turned message about "emiting long form of branch" off by default.
+ Added a control flag to turn it back on when desired.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/09/24 16:05:00 CDT
+ Tag: blume-20040924-rounding
+ Description:
+ Applied patch for setting rounding modes under Mac OS X.  Thanks to
+ Melissa O'Neill for providing the code!
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/09/23 17:30:00 CDT
+ Tag: blume-20040923-envvars
+ Description:
+. Changed definition of type ControlRegistry.registry_tree to
+    include control_info (i.e., the name of the controlling environment
+    variable).
+. Added command-line flags -e and -E to print the names of environment
+    variables that can be used to control internal settings.
+    (This uses the new API mentioned in 1.)
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/09/13 16:50:00 CDT
+ Tag: Release_110_49
+ Description:
+ New working version (110.49).  NEW BOOTFILES!
+ ----------------------------------------------------------------------
+ Name: Matthias Blume
+ Date: 2004/09/13 16:20:00 CDT
+ Tag: blume-20040913-config-mlrisc
+ Description:
+ Put target "mlrisc" back into the default list.
+ (There is no harm in having it, and some users have expressed their
+ wish to have "mlrisc" included by default.)
+ ----------------------------------------------------------------------
+ Name: John Reppy
+ Date: 2004/09/13
+ Tag: jhr-20040913-signals
+ Description:
+ Fixed the signal masking code to properly nest mask/unmask operations
+ on a per-signal basis.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/09/08 13:20:00 CDT
+ Tag: blume-20040908-heap-magic
+ Description:
+ Bumped the heap macig number to 0x09082004 to account for the changed
+ layout of the ML frame under MacOS X.
+ ----------------------------------------------------------------------
+ Name: Allen Leung (leunga (at) reservoir (dot) com)
+ Date: 2004/09/03 11:26:00 EST
+ Tag: leunga-20040903-cygwin-install
+ Description:
+    Added a patch to _arch-n-opsys to enable the Cygwin runtime.
+ The Cygwin runtime is turned on by setting the environment
+ variable SMLNJ_CYGWIN_RUNTIME to 1.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/08/31 17:15:00 CDT
+ Tag: blume-20040831-core
+ Description:
+ Added some exports to src/compiler/core.cm upon request by J. Joemann.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/08/30 17:55:00 CDT
+ Tag: blume-20040830-installer
+ Description:
+ Upon request by Johannes Joemann:
+ - improved ML code of installer to fall back to coping when renaming
+   fails (i.e., when source and target are on different file systems);
+   the code compiles but has yet to be tested in anger
+ - removed mlrisc from list of default targets (config/targets)
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/08/27 17:20:00 CDT
+ Tag: blume-20040827-ptreql
+ Description:
+ Added ptreql primop to structure InlineT (upon request from Larry
+ Paulson).
+ ----------------------------------------------------------------------
+ Name: Allen Leung (leunga (at) reservoir (dot) com)
+ Date: 2004/08/15 21:21:00 EST
+ Tag: leunga-110_48-udgraph
+ Description:
+ Another bug fix from Carl Hauser:
+ diff /net/niflab/smlnj48/src/MLRISC/graphs/udgraph.sml udgraph.sml
+ > 48c48
+ > <              | rmv((e as (k,_))::es,L) = rmv(es,if k = i then es else
+ > e::L)
+ > ---
+ > >              | rmv((e as (k,_))::es,L) = rmv(es,if k = i then L else e::L)
+ > Without this, any deletion of an edge in an undirected graph does severe
+ > violence to the graph.
+ ----------------------------------------------------------------------
+ Name: Allen Leung (leunga (at) reservoir (dot) com)
+ Date: 2004/08/10 23:35:00 EST
+ Tag: leunga-110_48-ppc
+ Description:
+    The IBM/MacOS syntax switch on PPC was incorrectly swapped.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/08/10 12:00:00 CDT
+ Tag: Release_110_48
+ Description:
+ New working version (110.48).  NEW BOOTFILES!
+ ----------------------------------------------------------------------
+ Name: Allen Leung (leunga (at) reservoir (dot) com)
+ Date: 2004/08/09 12:21:00 EST
+ Tag: leunga-110_47-dijsktra
+ Description:
+ Bug fix from Carl Hauser:
+ single_source_shortest_paths in dijkstra.sml was observed to get wrong
+ answers (by comparing to single_source_shortest_paths in bellman-ford.sml).
+ The problem is that following the expression A.update(dist,s,Num.zero)
+ it is necessary to update the priority queue using Q.decreaseWeight(Q,s).
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/08/06 18:10:00 CDT
+ Tag: blume-20040806-cmdline
+ Description:
+ Fiddled with handling of command-line options:
+   * sml now quits after processing the command line
+     if -H, -S, -h<n>, or -s<n> appears as the last
+     command-line argument
+   * a new option -q terminates the session when encountered on
+     the command line; subsequent arguments will be ignored
+   * bug fixes: short (erroneous) arguments are no longer ignored
+     completely
+ ----------------------------------------------------------------------
+ Name: Allen Leung (leunga (at) reservoir (dot) com)
+ Date: 2004/08/04 18:17:00 EST
+ Tag: leunga-110_47-ppc-ibm-asm
+ Description:
+   - Added minimal IBM assembly syntax support for PowerPC.
+   - Cygwin: manually changed the file cygwin.def.  Some exported symbols have
+     been altered in the runtime.  We need an automatic way to keep the file
+     in sync.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/08/04 14:00:00 CDT
+ Tag: Release_110_47
+ Description:
+ New working version (110.47).  NEW BOOTFILES!
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/08/03 14:25:00 CDT
+ Tag: blume-20040803-callingconv
+ Description:
+ Added low-level support for choosing C calling conventions by
+ twiddling the type of rawccall.  (See
+ src/compiler/Semant/types/cproto.sml for details.)
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/08/02 15:55:00 CDT
+ Tag: blume-20040802-backout
+ Description:
+ Backed out of change to win32-filesys.c.  The earlier patch to
+ get_file_time caused CM to produce files with the wrong time stamp.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/08/02 14:45:00 CDT
+ Tag: blume-20040802-nlffi-win32
+ Description:
+ Added NLFFI support for Win32, adapted from a patch provided by David
+ Hansel.  This is currently completely untested.  Also, the issue
+ concerning stdcall vs. ccall is still unresolved.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/07/30 17:55:00 CDT
+ Tag: blume-20040730-various
+ Description:
+ Gearing up towards 110.47...
+ - various minor bugfixes to ml-nlffigen
+ - a beginning of a manual for nlffi
+ - eliminated 'export name=value' in config/install.sh as this does
+   not work with certain versions of /bin/sh
+   (Thanks to David King at Motorola for catching this.)
+ - several bugfixes provided or suggested by David Hansel at Reactive Systems:
+   - added a test for tm==NULL to gmtime.c and localtime.c
+   - applied patch for incorrect GetFileTime under win32
+   - toSeconds -> toMilliseconds in Win32/win32-process.sml
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/07/21 18:20:00 CDT
+ Tag: blume-20040721-nlffigen
+ Description:
+ - Fixed minor issue in ml-nlffigen: Now generate structure T_foo
+   for a typedef to an incomplete type, but leave out the "typ" member.
+   (This is just for consistency.)
+ - Started to produce what is supposed to become better (i.e., comprehensive)
+   documentation of what ml-nlffigen does and produces.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/07/14 16:25:00 CDT
+ Tag: blume-20040714-union
+ Description:
+ Added C_UNION to c-calls/c-types.sml and updated the machinery
+ (ml-nlffigen, cproto.sml) that conveys C function interface
+ information to the code generator.
+ However, the actual architecture-specific implementation of function
+ arguments and results that are C unions is still not implemented.
+ ----------------------------------------------------------------------
+ Name: Allen Leung (leunga (at) reservoir (dot) com)
+ Date: 2004/07/14 14:38:00 EST
+ Tag: leunga-110_46_1-ppc-lwzu
+ Description:
+     Added these instructions to the PowerPC architecture:
+     LBZU(X), LHZU(X), LWZU(X),
+     STWU(X), STFDU, STFSU
+     etc...
+     Note: I haven't added their instruction encoding into the description.
+ ----------------------------------------------------------------------
+ Name: Allen Leung (leunga (at) reservoir (dot) com)
+ Date: 2004/07/13 15:04:00 EST
+ Tag: leunga-110_46_1-ppc-lwarx
+ Description:
+    Added the two instructions LWARX and STWCX to the PowerPC
+ instruction set.
+    A (untested) rewrite of loop-structure.sml.  The old version
+ is completely broken.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/07/13 13:50:00 CDT
+ Tag: blume-20040713-nlffi
+ Description:
+ - use paramAlloc to report c-calls with too many arguments
+   (for PPC version where parameter area is pre-allocated)
+ - added ccall_maxargspace to machspec (to implement the above)
+ - made "make" commend in CM's "make" tool configurable
+ - added option (default: on) for passing the name of the SML/NJ's "bin"
+   directory to "make"; the call looks like this:
+      make <options> SMLNJ_BINDIR=<dir> <target>
+   This can be used by the Makefile to, e.g., pick the "right" version
+   of ml-nlffigen.
+ - minor code tweaks
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/07/12 22:50:00 CDT
+ Tag: blume-110_46_1-macosx-nlffi
+ Description:
+ NLFFI under Mac OS X now working (sort of).  This is largely untested,
+ though.
+ Note:  1. You have to make a new, clean build of the runtime system.
+. There are new BOOTFILES, you have to use them!
+           (Doing the bootstrap process yourself would be *very* painful!
+            If you absolutely have to do it, build the system under
+            a different architecture and then cross-compile.)
+ Version bumped to 110.46.1 to account for runtime data format changes.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/06/18 14:30:00 CDT
+ Tag: blume-20040618-unix
+ Description:
+ Changed the implementation of structure Unix so that the same stream
+ is returned every time one of the {text,bin}{In,Out}streamOf functions
+ is invoked on the same proc.  This is not what the spec currently
+ says -- although IMO it arguably should.  (See discussion below.)
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/06/17 18:15:00 CDT
+ Tag: Release_110_46
+ Description:
+ New working version (110.46).  NEW BOOTFILES!
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/06/17 17:20:00 CDT
+ Tag: blume-20040617-timer-unix
+ Description:
+ Changed the interface of structures Timer and Unix to match the most
+ recent Basis spec.
+ In the case of Unix there still seems to be an open/weird issue:
+    The {text,bin}{In,Out}streamOf functions are supposed to create
+    fresh streams whenever they are called -- as opposed to have them
+    return the same stream every time.  This design is supposed to
+    prevent space leaks caused by proc values hanging on to streams.
+    The reap function, on the other hand, is supposed to close the
+    streams.  This cannot be done without having a handle on the
+    stream in proc after all...
+ I took the liberty to implement the following stopgap solution:
+   The proc value hangs on to the most recently created stream(s).
+   Reap closes those.  If either or both of the two streams hadn't
+   been created at all yet, then reap will close the corresponding
+   file descriptors directly.
+ PS: I don't understand the original space leak argument anymore.  If
+ a proc hangs on to the imperative stream, then I/O operations on those
+ will advance the state of the cached stream and avoid the space leak.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/05/28 16:45:00 CDT
+ Tag: blume-20040528-basis
+ Description:
+ Added signature PACK_REAL and exported functor PrimIO.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/05/25 16:00:00 CDT
+ Tag: blume-20040525-group-owner
+ Description:
+ CM now ignores (but still accepts) the "owner" information in group
+ descriptions.  The owner of a group is its next enclosing
+ library. Each group must have a unique owner.  (There is a virtual
+ "toplevel" library that owns groups which are not nested within a real
+ library.)  Previously, each group had to explicitly declare its owner,
+ and CM would check that such a declaration is correct.  The new scheme
+ is to have CM check that for each group there is precisely one owning
+ library.
+ The advantage of the new scheme is that the programmer no longer needs
+ to maintain the somewhat annoying owner information.  The downside is
+ that CM cannot enforce the ownership rule across multiple runs of
+ CM.make.  Fortunately, enclosing the same group in two different
+ libraries A and B which are not part of the same program does not
+ cause real problems.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/05/20 16:00:00 CDT
+ Tag: blume-20040520-win32
+ Description:
+ Made the win32 version work again.  (Strangely, a misplaced comma had
+ slipped into win32-process.c which prevented the runtime from being
+ compiled correctly.)
+ Also, included a minor addition to ml-build.bat analogous to what was
+ done in blume-20040519-ml-build.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/05/19 22:10:00 CDT
+ Tag: blume-20040519-ml-build
+ Description:
+ Arranged for ml-build to clean up after itself a little bit better.
+ The script generates a temporary SML source file and compiles it using
+ CM, so CM generates metadata (GUID, SKEL, objectfile) for it.  It now
+ gets rid of those at the end, so they don't accumulate under .cm.
+ This required a minor change to install.sh because the name of the
+ metadata directory (default: .cm) is actually configurable at
+ installation time.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/05/18 15:50:00 CDT
+ Tag: blume-20040518-mkreader
+ Description:
+ Added Posix.IO.mk{Bin,Text}{Reader,Writer} by lifting their respective
+ implementations from internal modules PosixBinPrimIO and PosixTextPrimIO.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/05/11 14:35:00 CDT
+ Tag: blume-20040511-win32sock
+ Description:
+ Added previously missing support for many socket-related functions
+ under win32.  Thanks to David Hansel <hansel@reactive-systems.com>
+ for the voluminous patch!
+ (I have not tested this patch under win32 yet.)
+ Here is David's e-mail:
+ Hi,
+ Attached to this email you find a diff against sml/nj 110.45
+ that will enable socket support under Windows.
+ To apply the patch (using unix or cygwin)
+) gunzip runtime.diff.gz
+) "cd" into "src/runtime" in the source tree of a fresh
+.45 installation.
+) patch -p 1 < [your/path/to]runtime.diff
+ The code compiles fine but has NOT yet been extensively tested.
+ I only ran a few tests for basic socket client functionality
+ (which worked fine).  Especially the functions that use ioctl
+ are not tested at all and might not work (see below).
+ I implemented this since we want to move to a newer version of sml/nj
+ but need socket support in order to use it.  This is the first time I
+ even had a look at the sml/nj source,  so please review my changes
+ before making this part of the distribution!  Here are a few issues
+ that I think might be better for someone to solve who is more
+ familiar with the sml/nj source (and socket programming):
+ - getnetbyaddr.c and getnetbyname.c will raise a "not implemented"
+   exception since I could not figure out what the windows equivalent
+   of these functions is
+ - In sockets-osdep.h there are a some #include statements that are
+   only used in a few files that include sockets-osdep.h
+ - In smlnj-sock-lib.c, function init_fn() calls WSAStartup() but
+   does not process its return value since I don't know how to
+   report an error upwards.
+ - It would probably be good to have a call to WSACleanup() when
+   the library is unloaded (if there is such a possibility).
+   Otherwise I think Windows will take care of this automatically
+   when the process finishes.
+ - I used ioctlsocket() as a replacement for ioctl() but I have
+   no idea if that is actually the proper replacement on Windows.
+ - All these issues are marked in the code by "FIXME" comments.
+ We use sml/nj extensively in our products and are quite happy
+ with it.  I hope this contribution will help you.
+ Keep up the good work!
+ David
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/05/11 14:20:00 CDT
+ Tag: blume-20040511-installml
+ Description:
+ Fixed two bugs in installml script.  (Thanks to Vesa A. Norrman for
+ the patch.)
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/05/11 14:05:00 CDT
+ Tag: blume-20040511-nlffi-netbsd
+ Description:
+ Added support for nlffi under netbsd.  (Thanks to Vesa A. Norrman for
+ the patch.)
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/05/11 12:05:00 CDT
+ Tag: blume-20040511-exports
+ Description:
+ As per request by Adam Chlipala <adam@hcoop.net>, extended various
+ export lists in compiler-related .cm-files.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/05/11 11:35:00 CDT
+ Tag: blume-20040511-allsource
+ Description:
+ The installer now honors the "src-smlnj" target again, although its meaning
+ has changed from "all sources required for the compiler" to "all sources
+ the installer knows about".  In other words, if you enable "src-smlnj"
+ in the "targets" file, then the installer will pull in sources for
+ everything.  (Notice that this refers to source code only.  Compiled
+ code is still only installed for modules that were requested explicitly
+ or which are required for other modules that were requested explicitly.)
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/04/23 17:40:00 CDT
+ Tag: blume-20040423-ieee-scan
+ Description:
+ Fixed IEEEReal.scan (and .fromString) so that if there is an overflow
+ in the exponent calculation we get INF or ZERO (depending on the mantissa
+ and the sign of the exponent).
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/04/23 10:40:00 CDT
+ Tag: blume-20040423-ml-build
+ Description:
+ The ml-build script now terminates with a non-0 status when something
+ goes wrong.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/04/22 16:35:00 CDT
+ Tag: blume-20040422-Option
+ Description:
+ Made exception Option to be the same as exception Option.Option
+ (as it should be).
+ ----------------------------------------------------------------------
+ Name: Allen Leung (leunga (at) reservoir (dot) com)
+ Date: 2004/03/19 14:40:00 EST
+ Tag: leunga-20040319-cygwin-nlffi
+ Description:
+ Fixed the runtime so that ml-nlffi-lib runs on the cygwin version
+ of SML/NJ.  The problem is that
+    lib = dlopen(NULL, ...)
+    f   = dlsym(lib, "malloc");
+ does not work on Windows unless we explicitly export symbols
+ such as 'malloc' during linking.  We fixed this by explicitly
+ exporting the required symbols with the magic gcc incantation:
+     -Wl,--export-all cygwin.def
+ where cygwin.def is a file containing all the symbols that
+ we wish to export.
+ I suspect this is a Windows problem and we'll have to
+ do the same (somehow with windows compilers) when
+ we build the native win32 version with the system
+ calls LoadLibrary/GetProcAddress.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/03/04 16:35:00 CST
+ Tag: blume-20040304-intinf-fmt
+ Description:
+ Fixed problem with IntInf.fmt (sign would show up on the right instead
+ of on the left for BIN, OCT, and HEX).
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/03/04 11:25:00 CST
+ Tag: blume-20040304-symlinks
+ Description:
+ Fixed problem with installer script (unix only) where bin/ml-yacc and
+ friends pointed (via symlinks) to absolute locations instead of just
+ .run-sml.  This was reported by Vesa A Norrman.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/02/13 14:50:00 CST
+ Tag: Release_110_45
+ Description:
+ New working version (110.45). New bootfiles.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/01/26 15:15:15 CST
+ Tag: blume-20040126-toplevel
+ Description:
+ Improved handling of exceptions at the interactive toplevel.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2004/01/26 11:25:00
+ Tag: blume-20040126-app
+ Description:
+ Type of top-level "app" corrected.
+ Added code for setting vp_limitPtrMask to Win32-specific runtime.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2003/11/18 17:10 CST
+ Tag: blume-20031118-basis-fiddle
+ Description:
+ - changed Timer interface to what might become the spec
+ - POSIX_FLAGS -> BIT_FLAGS according to spec
+ - some other minor discrepancies wrt. spec eliminated
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2003/11/06 12:00:00 CST
+ Tag: Release_110_44
+ Description:
+ New working version (110.44). New bootfiles.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2003/11/04 11:50:00 CST
+ Tag: blume-20031104-move-libraries
+ Description:
+ Eliminated the "dont_move_libraries" directive in config/targets.
+ (The mechanism was broken and could not be fixed easily.  Moreover,
+ there does not seem to be any reason not to move all libraries into
+ lib during installation.  I originally implemented this directive as a
+ backward-compatibility feature when I first introduced the new CM.
+ Now that things have been stable for a long time and going back to the
+ old CM is not an option, there is no reason to keep it around.)
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2003/11/03 16:00:00 CST
+ Tag: blume-20031103-installdir
+ Description:
+ Made installer honor INSTALLDIR variable again.  (Thanks to Chris
+ Richards for pointing out the problem and providing the solution.)
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2003/10/01 17:05:00 CDT
+ Tag: blume-20031001-lal-mlrisc
+ Description:
+ MLRISC bug fix from Lal.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2003/09/30 16:10:00 CDT
+ Tag: blume-20030930-primio-bat
+ Description:
+. Added openVector, nullRd, and nullWr to PRIM_IO.
+. Improved .bat files (for Win32 port) to make things work under Win95.
+    (thanks to Aaron S. Hawley for this one)
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2003/09/26 16:05:00 CDT
+ Tag: blume-20030926-wrappriv
+ Description:
+ Added missing wrapper for privilege "primitive" in $smlnj/viscomp/core.cm.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2003/09/26 15:00:00 CDT
+ Tag: blume-20030926-110_43_3
+ Description:
+ - additional cleanup
+ - version number bump, NEW BOOTFILES
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2003/09/26 12:00:00 CDT
+ Tag: blume-20030926-ppautoload
+ Description:
+ I modified the read-eval-print loop so that the autoloader gets
+ invoked whenever the prettyprinter tries to look up a symbol that
+ is not currently defined in the toplevel environment but which
+ appears in CM's autoload registry.  As a result, we see far fewer of
+ those ?.Foo.Bar.xxx names in the prettyprinter's output.
+ In addition to this I tried to clean up some pieces of the Basis
+ implementation (e.g., Socket, Word8Array) in order to prevent other
+ instances of these ?.Foo.Bar.xxx names from being printed.
+ The mechanism that picks names for types still needs some work, though.
+ (Right now it seems that if there is a type A.t which is defined to
+ be B.u, but B is unavailable at toplevel, then A.t gets printed as
+ "?.B.u" although the perhaps more sensible solution would be to use
+ "A.t" in this case.  In other words, the prettyprinter should follow
+ a chain of DEFtycs not farther than there are corresponding toplevel
+ names in the current environment.)
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2003/09/24 16:31:00 CDT
+ Tag: blume-20030924-installer
+ Description:
+ Another installer tweak:  All the ML code for the installer is now
+ compiled during CMB.make and put into a little library called
+ $smlnj/installer.cm.  The installation then simply invokes
+    sml -m $smlnj/installer.cm
+ and everything happens automagically.
+ Win32:  ML code senses value of environment variable SMLNJ_HOME.
+ Unix:   ML code senses values of environment variables ROOT, CONFIGDIR,
+         and BINDIR.
+ The new scheme guarantees that the ML code responsible for the installation
+ is in sync with the APIs of the main system.  Also, the installer is
+ somewhat faster because the installer script is precompiled.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2003/09/24 15:35:00 CDT
+ Tag: blume-20030924-synsock
+ Description:
+ Added a signature SYNCHRONOUS_SOCKET to basis.cm.  This is like SOCKET
+ but excludes all non-blocking operations.  Defined SOCKET (in Basis)
+ and CML_SOCKET in terms of SYNCHRONOUS_SOCKET.  Removed superfluous
+ implementations of non-blocking operations from CML's Socket
+ structure.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2003/09/24 15:10:05 CDT
+ Tag: blume-20030924-sockets
+ Description:
+. Fixed SOCKET API and implementation to match Basis spec.
+    This required changing the internal representation of sockets to one
+    that remembers (for each socket file descriptor) whether it is currently
+    blocking or non-blocking.  This state is maintained lazily (i.e., a system
+    call is made only if the state actually needs to change).
+. OS-specific details of sockets were moved into separate files, thus
+    making it possible to unify the bulk of the socket implementations
+    between Unix and Win32.
+. CML's socket API changed accordingly.
+    (Note that we need to remove non-blocking functions from this API
+    since they are redundant in the case of CML!)
+. CML's socket implementation now makes use of non-blocking functions
+    provided by Basis, thus removing all OS-dependent code from this part
+    of CML.
+. Changed Real64.precision from 52 to 53.  Minor cleanup in Real64 code.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2003/09/22 12:10:00 CDT
+ Tag: blume-20030922-110_43_2
+ Description:
+ Made a new interim version and bootfiles for developer's bootstrapping
+ convenience.
+.43.2 -- NEW BOOTFILES
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2003/09/19 15:55:00 CDT
+ Tag: blume-20030919-cmdir
+ Description:
+. new-install.sh -> install.sh
+. changed default CM "metadata" directory name to ".cm" (instead of "CM")
+. tweaked installer so that another name instead of .cm can be chosen
+    at install time (by setting the CM_DIR_ARC environment variable
+    during installation); once installation is complete, the name is
+    fixed
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2003/09/18 16:00:00 CDT
+ Tag: blume-20030918-110_43_1
+ Description:
+ Made a new interim version and bootfiles for developer's bootstrapping
+ convenience.
+.43.1 -- NEW BOOTFILES
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2003/09/18 15:20:00 CDT
+ Tag: blume-20030918-misc
+ Description:
+. Exported fractionsPerSecond etc. from TimeImp (but not from Time as
+    this seems to be controversial at the moment) and used those in
+    Posix.ProcEnv.times.
+. Added Time.{from,to}Nanoseconds to Time.
+. Improved Real.{from,to}LargeInt by avoiding needless calculations.
+    For example, fromLargeInt never needs to look at more than 3 "big
+    digits" to get its 53 bits of precision.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2003/09/17 16:30:00 CDT
+ Tag: blume-20030917-real32-slices
+ Description:
+ Added an entry to the primitive environment
+ (compiler/Semant/statenv/prim.sml) for int32->real64 conversion and
+ added code to compiler/CodeGen/main/mlriscGen.sml to implement it.
+ Removed some of the "magic" constants in real64.sml and replaced them
+ with code that generates these values from their corresponding
+ integer counterparts.
+ Made all(?) the slice-related changes to the Basis and made everything
+ compile again...
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2003/09/15 17:45:00 CDT
+ Tag: blume-20030915-rbase
+ Description:
+ Fixed bug in Real.fromLargeInt.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2003/09/13 18:11:00 CDT
+ Tag: blume-20030913-libinstall
+ Description:
+ Minor bugfix in config/libinstall (set anchor with path to
+ standalone tool after installing it, otherwise libraries that
+ need ml-lex or ml-yacc won't compile the first time the installer
+ runs).
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2003/09/12 11:45:00 CDT
+ Tag: blume-20030912-various
+ Description:
+  - fixed bug in Real.toLargeInt
+  - fixed bug in Posix.ProcEnv.times
+  - changed inputLine functions to return an option
+  - minor installer improvements / bugfixes
+  - changed default @SMLalloc parameter for x86/celeron to 64k
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2003/09/09 22:00:00 CDT
+ Tag: Release_110_43
+ Description:
+     New working release 110.43.  New bootfiles.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2003/09/09 19:20:00 CDT
+ Tag: blume-20030909-installer
+ Description:
+ Rewrote large parts of config/install.sh in SML (config/libinstall.sml).
+ Modified config/install.bat to take advantage of it.  Also modified
+ config/install.sh (and called it config/new-install.sh) to take advantage
+ of it on Unix systems.  (The SML code is (supposed to be) platform-
+ independent.)
+ The installer can now install everything under Win32
+ as well as under *nix as long as it compiles.
+ Other changes:
+   - made CML compile again under Win32
+   - made eXene compile under Win32 (by providing a fake structure UnixSock
+     and by using OS.Process.getEnv instead of Posix.ProcEnv.getenv)
+   - fixed a bug in nowhere: it assumed that type OS.Process.status is the
+     same as type int;  under Win32 it isn't
+   - fixed some slice-related problems in the win32-specific parts of CML
+   - added a functor argument "sameVol" to os-path-fn.sml in the Basis
+     (under Win32, the volume name is case-insensitive, and the
+     OS.Path code compares volume names for equality)
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2003/09/08 11:55:00 CDT
+ Tag: blume-20030908-fullpath
+ Description:
+ Made Win32 version of OS.FileSys.fullPath return current directory
+ when given an empty string.  This is what the spec says, and incidentally,
+ CM depends on it.  (CM otherwise goes into an infinite loop in certain
+ cases when presented with the name of a non-existing .cm file.)
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2003/09/04 16:30:00 CDT
+ Tag: blume-20030905-slices-etc
+ Description:
+. Changed interface to vectors and arrays in Basis to match
+      (draft) Basis spec.
+. Added signatures and implementations of slices according to
+      Basis spec.
+. Edited source code throughout the system to make it compile again
+      under 1. and 2.  (In some cases code had to be added to have it
+      match the new signatures.)
+. MLRISC should be backward-compatible: the copies of the originals
+      of files that needed to change under 3. were retained, the .cm files
+      check the compiler version number and use old versions when
+      appropriate.
+. Changed type of OS.FileSys.readDir and Posix.FileSys.readdir to
+      dirstream -> string option (in accordance with Basis spec).
+. When generating code that counts lines, ml-lex used function
+      CharVector.foldli, taking advantage of its old interface.
+      This has been replaced with the corresponding code from
+      CharVectorSlice.  (html-lex must be re-lexed!)
+. BitArray in smlnj-lib/Util has been extended/modified to match the
+      new MONO_ARRAY signature.  (Do we need BitArraySlice?)
+. Removed temporary additions (fromInternal, toInternal) from the
+      (now obsolete) IntInf in smlnj-lib/Util.
+. Cleaned up structure Byte.
+. Added localOffset, scan, and fromString to Date (according to spec).
+      Cleaned/corrected implementation of Date.
+      (Still need to check for correctness; implement better canonicalizeDate.)
+. Added "scan" to signature IEEE_REAL.
+. Some improvements to IntInf [in particular: efficiency-hack for
+      mod and rem when second operand is 2 (for parity checks).]
+. Changed representation of type Time.time, using a single IntInf.int
+      value counting microseconds.  This considerably simplified the
+      implementation of structure Time.  We now support negative time
+      values; scan and fromString handle signs.
+. Functor PrimIO now takes two additional arguments (VectorSlice and
+      ArraySlice).
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2003/08/28 17:00:00 CDT
+ Tag: blume-20030828-intinf
+ Description:
+ This is a major update which comes with a version number bump
+ (110.42.99 -- yes, we are really close to 110.43 :-), NEW BOOTFILES,
+ and an implementation of IntInf in the Basis.
+ There are a fairly large number of related changes and updates throughout
+ the system:
+ Basis:
+         - Implemented IntInf.
+         - Made LargeInt a projection of IntInf (by filtering through INTEGER).
+         - Added some missing Real64 operations, most notably Real.toLargeInt.
+         - Added FixedInt as a synonym for Int32.
+ compiler:
+         * Added support for a built-in intinf type.
+           - literals
+           - pattern matching
+           - conversion shortcuts (Int32.fromLarge o Int.toLarge etc.)
+           - overloading on literals and operations
+         This required adding a primitive type intinf, some additional
+         primops, and implementations for several non-trivial intinf
+         operations in Core.  (The intinf type is completely abstract
+         to the compiler; all operations get delegated back to the Core.)
+         * Intinf equality is handled by polyequal.  However, the compiler
+         does not print its usual warning in this case (since polyequal
+         is the right thing to do there).
+         * Improved the organization of structure InlineT.
+         * A word about conversion primops:
+         If conversions involving intinf do not cancel out during
+         CPS contract, then the compiler must insert calls to Core functions.
+         Since all core access must be resolved already during the FLINT
+         translate phase, it would be too late a the time of CPS contract
+         to add new Core calls.  For this reason, conversion primops
+         for intinf carry two arguments:  1. the numeric argument that
+         they are supposed to convert, and 2. the Core function that
+         can help with this conversion if necessary.  If CPS contract
+         eliminates a primop, then the associated Core function becomes
+         dead and goes away.  Intinf conversion primops that do not get
+         eliminated by CPS contract get rewritten into calls of their
+         core functions by a separate, new phase.
+ interactive system:
+         - Control.Print.intinfDepth controls max length of intinf constants
+         being printed. (Analogous to Control.Print.stringDepth.)
+         - Cleanup in printutil and pputil: got rid of unused stuff and
+         duplicates; replaced some of the code with code that makes better
+         use of library functionality.
+ CM:
+         Bugfix: parse-errors in init group (system/smlnj/init/init.cmi)
+         are no longer silent.
+ CKIT:
+         Fixed mismatched uses of Int32 and LargeInt.  I always decided
+         in favor of LargeInt -- which is now the same as IntInf.
+         CKIT-knowledgable people should check whether this is what's
+         intended and otherwise change things back to using Int32 or
+         FixedInt.
+ Throughout the code:
+         Started using IntInf.int literals and built-in operations
+         (e.g., comparison with 0) where this seems appropriate.
+ ----------------------------------------------------------------------
+ Name: Dave MacQueen (dbm@cs.uchicago.edu)
+ Date: 2003/08/13 11:36:00 CDT
+ Tag: dbm-20030813-mcz-merge1
+ Description:
+ Merging changes from the mcz-branch development branch into trunk.
+ These changes involve replacement of the emulated old prettyprinter
+ interface with direct use of the SML/NJ Lib PP library, and fixing
+ of a couple of bugs (895, 1186) relating to error messages.  A new
+ prettyprinter for ast datatypes (Elaborator/print/ppast.{sig,sml})
+ has been added.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2003/08/11 15:45:00 CDT
+ Tag: blume-20030811-windows
+ Description:
+ Version number bumped to 110.42.9.  NEW BOOTFILES!!!
+     http://smlnj.cs.uchicago.edu/dist/working/110.42.9/
+ This patch restores SML/NJ's ability to run under win32.  There are a
+ number of changes, including fixes for several bugs that had gone
+ unnoticed until now:
+   - uname "CYGWIN_NT*" is recognized as win32 (This is relevant only when
+     trying to run the win32 version from within cygwin.)
+   - There are a number of simple .bat scripts that substitute for their
+     corresponding Unix shell-scripts.  (See below.)
+   - The internals of ml-build have been modified slightly.  The main
+     difference is that instead of calling ".link-sml" (or link-sml.bat)
+     using OS.Process.system, the ML process delegates this task back
+     to the script.  Otherwise problems arise in mixed environments such
+     as Cygwin where scripts look and work like Unix scripts, but
+     where OS.Process.system cannot run them.
+   - In CM, the srcpath pickler used native pathname syntax -- which
+     is incorrect in the case of cross-compilation.  The new pickle format
+     is independent of platform-specific naming conventions.
+   - Path configuration files (such as lib/pathconfig) can now choose
+     between native and standard syntax.  Placing a line of the form
+         standard!
+     into the file causes all subsequent paths to be interpreted using
+     CM standard pathname syntax (= Unix conventions); a line
+         native!
+     switches back to native style.  This was needed so that
+     path config files can be written portably, see src/system/pathconfig.
+   - Runtime system:
+       - win32-filesys.c:  get_file_time and set_file_time now
+         access modification time, not creation time.
+       - I/O code made aware of new array representation.
+       - Bug fixes in X86.prim.masm.
+    - src/system/makeml made aware of win32. (For use under cygwin
+         and other Unix-environments for windows.)
+    - In Basis, fixed off-by-one error in win32-io.sml (function vecF)
+      which caused BinIO.inputAll to fail consistently.
+ .bat scripts:
+    Windows .bat scripts assume that SMLNJ_HOME is defined.
+    - sml.bat, ml-yacc.bat, ml-lex.bat:  Driver scripts for standalone
+      applications (sml, ml-yacc, ml-lex).
+    - ml-build.bat: analogous to ml-build.
+    - config\install.bat:  Analogous to config/install.sh.  This requires
+      that SMLNJ_HOME is set and that Microsoft Visual C is ready to use.
+      (nmake etc. must be on the path, and vcvars32 must have been run.)
+      Moreover, sources for ml-lex and ml-yacc need to exist under src,
+      and the bootfile hierarchy must have been unpacked under
+      sml.boot.x86-win32.
+      The script is very primitive and does a poor job at error checking.
+      It only installs the base system, ml-lex, and ml-yacc.  No other
+      libraries are being installed (i.e., you get only those that
+      are part of the compiler.)
+    - link-sml.bat:  analogous to .link-sml, but not currently used
+ Unrelated bug fixes:
+   - ml-nlffigen now exports structures ST_* corresponding to incomplete
+     types.
+   - Added getDevice to PP/src/pp-debug-fn.sml.  (Would not compile
+     otherwise.)
+ ----------------------------------------------------------------------
+ Name: Dave MacQueen (macqueen@cs.uchicago.edu)
+ Date: 2003/06/17
+ Tag: macqueen-20030617-bug895
+ Description:
+ Modified compiler/Elaborator/print/pptype.sml to fix bug 895.
+ Tag will be used for new development branch (mcz-branch) for
+ use by MacQueen, (Lucasz) Zairek, and (George) Cao at uchicago.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2003/05/27 16:55:00 CDT
+ Tag: blume-20030527-polyeq
+ Description:
+ Tried to eliminated most cases of polymorphic equality.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2003/05/21 17:45:00 CDT
+ Tag: blume-20030517-complete
+ Description:
+ Two changes:
+. Added a flag for controlling whether non-exhaustive bindings will
+      be treated as errors (default is false).
+. Cleaned up the *entire* source tree so that CMB.make goes through
+      without a single non-exhaustive match- or bind warning.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2003/05/17 10:20:00 CDT
+ Tag: blume-20030517-absyn
+ Description:
+. Added cases for IF, WHILE, ANDALSO, and ORELSE to Absyn.
+    This mainly affects the quality of error messages.  However, some
+    of the code is now more straightforward than before. (Treatment of
+    the above four constructs in translate.sml is much simpler than
+    the "macro-expansion" that was going on before.  Plus, the mach-
+    compiler no longer gets invoked just to be able to compile an
+    if-expression.)
+. The ErrorMsg.Error exception is now caught and absorbed by the
+    interactive loop.
+ ----------------------------------------------------------------------
+ Name: Allen Leung
+ Date: 2003/05/16 13:05:00 CDT
+ Tag: leunga-20030516-cygwin-runtime
+ Description:
+     Ported the runtime system to cygwin, which uses the unix
+ x86-unix bin files.  Missing/buggy features:
+    o getnetbyname, getnetbyaddr: these functions seem to be missing in
+      the Cygwin library.
+    o Ctrl-C handling may be flaky.
+    o Windows system calls and Windows I/O are not supported.
+    A new set of binfiles is located at:
+      http://www.dorsai.org/~leunga/boot.x86-unix.tgz
+    This is only needed for bootstrapping the cygwin version of smlnj.
+    Other x86 versions can use the existing binfiles.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume
+ Date: 2003/04/08 15:42:00 CDT
+ Tag: blume-20030408-listpair
+ Description:
+. Added a target 'mlrisc' to installer.
+. Added missing elements to structure ListPair.
+ ----------------------------------------------------------------------
+ Name: Allen Leung
+ Date: 2003/01/07 10:40:00 EST
+ Tag: leunga-20030107-int-rem
+ Description:
+ Fixed a bug in Int.rem(x,y) where y is a power of 2 on x86.
+ The arguments to the SUBL instruction were swapped.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume
+ Date: 2002/12/12 16:25:00 EST
+ Tag: blume-20021212-risc-ra
+ Description:
+ Fixed a serious bug in the rewrite code for FP spilling/reloading that
+ sent the RA into an infinite loop when floating point registers get
+ spilled.  (Because of this bug, e.g., nucleic stopped compiling between
+.37 and 110.38.)
+ There was another set of potential problems related to the handling of
+ MLRISC annotations (but those did not yet cause real problems, apparently).
+ ----------------------------------------------------------------------
+ Name: Matthias Blume
+ Date: 2002/12/06 22:40:00 EST
+ Tag: blume-20021206-cm-fileid
+ Description:
+ Added a call of SrcPath.sync at the beginning of Parse.parse (in CM).
+ This fixes the problem of CM getting confused by files that suddenly
+ change their identity (e.g., by getting unlinked and recreated by some
+ text editor such as vi).  There might be a better/cheaper/cleaner way
+ of doing this, but for now this will have to do.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume
+ Date: 2002/10/28 09:50:00 EST
+ Tag: blume-20021028-typecheck
+ Description:
+ Exported structure Typecheck from $smlnj/viscomp/core.cm.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume
+ Date: 2002/10/17 09:10:00 EDT
+ Tag: Release_110_42
+ Description:
+ In good old tradition, there has been a slight hiccup so that we have
+ to patch 110.42 after the fact.   The old release tag has been replaced
+ (see below).
+ The change solves a problem with two competing approaches the
+ configuration problem regarding MacOS 10.1 vs. MacOS 10.2 which got in
+ each other's way.
+ This change only affects the runtime system code and the installer script.
+ (No new bootfiles.)
+ ----------------------------------------------------------------------
+ Name: Matthias Blume
+ Date: 2002/10/16 12:00:00 EDT
+ Tag: Release_110_42_removed
+ Description:
+ New working release.  New bootfiles.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume
+ Date: 2002/10/10 13:10:00 EDT
+ Tag: blume-20021010-ppc-divs
+ Description:
+ The mltree operator DIVS must be implemented with an overflow check on
+ the PPC because the hardware indicates divide-by-zero using "overflow" as
+ well.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume
+ Date: 2002/07/23 11:45:00
+ Tag: blume-20020723-smlnj-home
+ Description:
+ Sml now senses the SMLNJ_HOME environment variable.  If this is set,
+ then the bin dir is assumed to be in $SMLNJ_HOME/bin and (unless
+ CM_PATHCONFIG is also set), the path configuration file is assumed
+ to be in $SMLNJ_HOME/lib/pathconfig.  This way one can easily move
+ the entire tree to some other place and everything will "just work".
+ (Companion commands such as ml-build and ml-makedepend also sense this
+ variable.)
+ ----------------------------------------------------------------------
+ Name: Matthias Blume
+ Date: 2002/07/12 21:19:00 EDT
+ Tag: blume-20020712-liveness
+ Description:
+ Exported two useful "step" functions from liveness module (MLRISC).
+ ----------------------------------------------------------------------
+ Name: Matthias Blume
+ Date: 2002/07/05 16:00 EDT
+ Tag: Release_110_41
+ Description:
+ New working release.  New bootfiles.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume
+ Date: 2002/07/05 10:25:00 EDT
+ Tag: blume-20020705-btimp
+ Description:
+ Exported structure BTImp from $smlnj/viscomp/debugprof.cm so that
+ other clients can set up backtracing support.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume
+ Date: 2002/06/25 17:23:00 EDT
+ Tag: blume-20020625-fpmax
+ Description:
+ Fixed a bug in translation of INLMAX (and INLMIN) for the floating-point
+ case.  (The sense of the isNaN test was reversed -- which made min and
+ max always return their first argument.)
+ ----------------------------------------------------------------------
+ Name: Matthias Blume
+ Date: 2002/06/11
+ Tag: blume-20020611-unixpath
+ Description:
+ Back-ported OS.Path.{from,to}UnixPath from idlbasis-devel branch.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume
+ Date: 2002/06/10 16:35:00 EDT
+ Tag: blume-20020610-ieeereal
+ Description:
+ I back-ported my implementation of IEEEReal.fromString from the
+ idlbasis-devel branch so that we can test it.
+ Another small change is that ppDec tries to give more information
+ than just "<sig>" in the case of functors.  However, this code is
+ broken in some mysterious way if the functor's body's signature
+ has not been declared by ascription but gets inferred from the
+ implementation.  This needs fixing...
+ ----------------------------------------------------------------------
+ Name: Matthias Blume
+ Date: 2002/05/31
+ Tag: blume-20020531-btrace-mode
+ Description:
+ Resurrected SMLofNJ.Internals.BTrace.mode.  (It accidentally fell by
+ the wayside when I switched over to using Controls everywhere.)
+ ----------------------------------------------------------------------
+ Name: Lal George
+ Date: 2002/05/23 12:21:40 EDT
+ Tag: george-20020523-visual-labels
+ Description:
+ Labels are now displayed in the graphical output to make
+ the fall-through and target blocks obvious.
+ ----------------------------------------------------------------------
  Name: Matthias Blume
  Date: 2002/05/22 11:03:00 EDT
  Tag: blume-20020522-shrink

 Legend:



Removed from v.1220
 


changed lines


 
Added in v.1770
 Legend:



Removed from v.1220
 


changed lines


 
Added in v.1770
-Removed from v.1220
+Added in v.1770

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