SCM Repository

[smlnj] Diff of /sml/trunk/HISTORY

[smlnj] / sml / trunk / HISTORY

Diff of /sml/trunk/HISTORY

-revision 1352, Fri Sep  5 21:38:06 2003 UTC
+revision 1548, Wed Jul 14 21:25:43 2004 UTC
 Line 13
  Description:
  ----------------------------------------------------------------------
- Name: Matthias Blume (blume@tti-c.org)
+ 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:
-Line 54
+Line 755
       ArraySlice).
  ----------------------------------------------------------------------
- Name: Matthias Blume (blume@tti-c.org)
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
  Date: 2003/08/28 17:00:00 CDT
  Tag: blume-20030828-intinf
  Description:
-Line 141
+Line 842
  has been added.
  ----------------------------------------------------------------------
- Name: Matthias Blume (blume@tti-c.org)
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
  Date: 2003/08/11 15:45:00 CDT
  Tag: blume-20030811-windows
  Description:
-Line 236
+Line 937
  use by MacQueen, (Lucasz) Zairek, and (George) Cao at uchicago.
  ----------------------------------------------------------------------
- Name: Matthias Blume (blume@tti-c.org)
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
  Date: 2003/05/27 16:55:00 CDT
  Tag: blume-20030527-polyeq
  Description:
-Line 244
+Line 945
  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 257
+Line 958
       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.1352
 


changed lines


 
Added in v.1548
 Legend:



Removed from v.1352
 


changed lines


 
Added in v.1548
-Removed from v.1352
+Added in v.1548

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