Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /sml/branches/idlbasis-devel/READMES/110.33-README.html
ViewVC logotype

View of /sml/branches/idlbasis-devel/READMES/110.33-README.html

Parent Directory Parent Directory | Revision Log Revision Log

Revision 859 - (download) (as text) (annotate)
Wed Jun 27 21:43:12 2001 UTC (21 years, 3 months ago) by blume
File size: 4917 byte(s)
merged changes from main trunk;
some typos etc. fixed (but still does not compile yet)
    <title>SML/NJ Version 110.33 NEWS</title>

  <body bgcolor="white">
   <center><h1>Standard ML of New Jersey<BR>
        Version 110.33, May 23, 2001</h1>

      <a href=http://cm.bell-labs.com/cm/cs/what/smlnj/index.html>
      Home page</a>

<h2> Warning </h2>
  	This version is intended for compiler hackers. The 
	version ought to be quite stable, however we have not run
	our full regression testing.


  This version should build under Mac OS X.
  This version is being used to introduce the new experimental C FFI
  (currently only available for x86/Linux) and to check point a number
  of changes to MLRISC.
  The CKIT is now part of the release because it is needed for ml-nlffigen.
  In support of the C FFI, the new $/c.cm library (from src/ml-nlffi-lib)
  implements an encoding of the C type system in ML.  It receives help
  from the ml-nlffigen glue code generator (from src/ml-nlffigen) which
  transforms C source input into corresponding ML glue code.
  The compiler has been modified to support the C FFI.
  There are various bugfixes and some organizational changes.

<center><h3>Mac OS X </h3></center>
  <li>This version should build under the new Apple <tt>Mac OS X </tt>
  operating system. 

   <p><li> infinite precision throughout
   <p><li> support for virtual frame pointers ("<tt>omit-frame-pointer</tt>")
     (This was needed for a correct implementation of raw C calls,
      but it should also come in handy for clients of MLRISC other
      than SML/NJ.  Currently x86 only.)
   <p><li> see the <a href=http://cm.bell-labs.com/cm/cs/what/smlnj/compiler-notes>
	              omit-frame-pointer notes</a>
   <p><li> support for alternative control-flow in MLTREE
   <p><li> other API changes
   <p><li> bug fixes


    <p><li> "lambdasplit" parameter for class "sml" to control status and
	      aggressiveness of cross-module inlining
    <p><li> parallel make now works again
    <p><li> "proxy libraries"
    <p><li> other bug fixes

   <li> The ckit source tree is now part of the SML/NJ distribution.


    <p><li> bug fixes (e.g., dead-up logic in cpsopt/contract.sml)
    <p><li> lambda-split phase now in the optimization pipeline by default
      control via Compiler.Control.LambdaSplitting.* (and/or via CM)
    <p><li> compiler now aware of certain offsets in runtime-system data
      structures to be able to generate code for raw C calls
    <p><li> added raw memory access primops and a primop for raw C calls
      and handled them throughout the compiler
    <p><li> prim.sml now has correct types for all primops

    <p><li> two source trees in support of the new NLFFI ("no-longer foreign
      function interface") added:
    src/ml-nlffi-lib     --- support library
    src/ml-nlffigen      --- glue code generator
    <p><li> some preliminary documentation under src/ml-nlffi-lib/Doc
      (The tar file for this will be retrieved only if you enable
       ml-nlffi-lib in config/targets.  Be sure to do this only on
       x86/Linux platforms, though.  If you use a different platform
       and want to look at the source or the documentation, fetch
       the tar file by hand.)

     <li>Some API cleanup and bug fixes


    <p><li> dlopen and friends added (currently x86/Linux only)
    <p><li> changes to vproc-state.h to support efficient signal handling
      by new raw C call mechanism
    <p><li> support for Mac OS X; Darwin

<center><h3>overall organization</h3></center>
    <li>Use CM "proxy libraries" where possible

    <p><li> various bug fixes to config/install.sh
    <p><li> config/install.sh now knows about ckit, ml-nlffi-lib, and ml-nlffigen
    <p><li> config/install.sh will use config/targets.customized if it exist
      (falls back to config/targets if not)
    <p><li> makeml verbosity level controllable via MAKEML_VERBOSITY
      or command line switch

    <font size=-2>
    <address><a href="mailto:george@research.bell-labs.com">
		Lal George</a></address>
<!-- Created: Thu Aug  6 00:13:09 EDT 1998 -->
<!-- hhmts start -->
Last modified: Thu May 24 11:27:19 EDT 2001
<!-- hhmts end -->

ViewVC Help
Powered by ViewVC 1.0.0