SCM Repository

[smlnj] Diff of /sml/trunk/HISTORY

[smlnj] / sml / trunk / HISTORY

Diff of /sml/trunk/HISTORY

-revision 1644, Sat Oct  9 03:50:36 2004 UTC
+revision 1806, Tue May 31 20:47:40 2005 UTC
 Line 13
  Description:
  ----------------------------------------------------------------------
+ Name: Allen Leung (leunga (at) reservoir (dot) com)
+ Date: 2005/05/31 16:47:00 EST
+ Tag: leunga-20050531-cygwin-fault
+ Description:
+ Updated Cygwin's fault/signal handling to match the Windows version.
+ Updated the export list.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2005/05/18 13:35:00 CDT
+ Tag: Release_110_54
+ Description:
+ New working version (110.54).  NEW BOOTFILES!
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2005/05/18 11:58:00 CDT
+ Tag: blume-20050518-installer
+ Description:
+ Added support scripts for Mac OS X PackageMaker and modified
+ config/install.sh so that it supports re-dumping a heap image
+ after customization.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2005/05/18 10:55:00 CDT
+ Tag: blume-20050518-realdiv-noovld
+ Description:
+ Un-overloaded / to work around bug in overloading resolution code.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2005/05/16 23:50:00 CDT
+ Tag: blume-20050516-redump-heap
+ Description:
+ Added mechanism for re-creating a heap file for the interactive system
+ after configuration variables have been changed.
+    CM.redump_heap : string -> unit
+ This is much like SMLofNJ.exportML, but starting from the resulting
+ heap does not return to the caller of CM.redump_heap but
+ restarts the interactive system from scratch.  The original call of
+ CM.redump_heap does not return but ends the interactive session.
+ Thus, CM.redump_heap is a lot like SMLofNJ.exportFn.
+ Internally, redump_heap winds the dynamic execution context back to
+ the point where the original heap image was created and re-executes
+ the heap image generation code in the boot code.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2005/05/09 21:55:00 CDT
+ Tag: blume-20050509-word64
+ Description:
+ Added a hack to the existing hack known as Word64 to make fromString
+ behave correctly.  I am still not sure whether Word64.scan will work
+ as specified with respect to the interaction of radix and prefix.
+ ----------------------------------------------------------------------
+ Name: Allen Leung (leunga (at) reservoir (dot) com)
+ Date: 2005/05/04 11:50:00 EST
+ Tag: leunga-20050504-checkgc
+ Description:
+ Added a gc protocol checking phase.  This phase is enabled with
+ the flag "check-gc".  "debug-check-gc" turns on the verbose mode.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2005/05/04 10:45:00 CDT
+ Tag: blume-20050504-intinf
+ Description:
+ Fixed a bug in the implementation of div and mod for IntInf.
+ Thanks to Neophytos Michael for reporting the problem.
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2005/05/04 10:35:00 CDT
+ Tag: blume-20050504-join
+ Description:
+ Added a "join" combinator to the ParserComb module in smlnj-lib.cm.
+ ----------------------------------------------------------------------
+ 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
-Line 70
+Line 733
  Description:
  * Moved the "version" magic into its own little library under
- src/system/smlnj/internal.  This avoids expensive reconstruction
+   src/system/smlnj/internal.  This avoids expensive reconstruction of
- of a stable src/compiler/core.cm.
+   a stable src/compiler/core.cm.
- * At the same time, structure CompilerVersion is now known as structure
+ * At the same time, structure CompilerVersion is now known as
- SMLNJVersion.
+   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.

 Legend:



Removed from v.1644
 


changed lines


 
Added in v.1806
 Legend:



Removed from v.1644
 


changed lines


 
Added in v.1806
-Removed from v.1644
+Added in v.1806

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