SCM Repository

[smlnj] Diff of /sml/trunk/HISTORY

[smlnj] / sml / trunk / HISTORY

Diff of /sml/trunk/HISTORY

-revision 1335, Tue May 27 21:54:23 2003 UTC
+revision 1409, Mon Nov  3 22:00:35 2003 UTC
 Line 13
  Description:
  ----------------------------------------------------------------------
- Name: Matthias Blume (blume@tti-c.org)
+ 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:
-Line 21
+Line 517
  Tried to eliminated most cases of polymorphic equality.
  ----------------------------------------------------------------------
- Name: Matthias Blume (blume@tti-c.org)
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
  Date: 2003/05/21 17:45:00 CDT
  Tag: blume-20030517-complete
  Description:
-Line 34
+Line 530
       without a single non-exhaustive match- or bind warning.
  ----------------------------------------------------------------------
- Name: Matthias Blume (blume@tti-c.org)
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
  Date: 2003/05/17 10:20:00 CDT
  Tag: blume-20030517-absyn
  Description:

 Legend:



Removed from v.1335
 


changed lines


 
Added in v.1409
 Legend:



Removed from v.1335
 


changed lines


 
Added in v.1409
-Removed from v.1335
+Added in v.1409

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