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 1348, Fri Aug 29 17:06:53 2003 UTC
+revision 1390, Wed Sep 24 20:34:06 2003 UTC
 Line 13
  Description:
  ----------------------------------------------------------------------
- Name: Matthias Blume (blume@tti-c.org)
+ 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:
-Line 100
+Line 324
  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 195
+Line 419
  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 203
+Line 427
  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 216
+Line 440
       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.1348
 


changed lines


 
Added in v.1390
 Legend:



Removed from v.1348
 


changed lines


 
Added in v.1390
-Removed from v.1348
+Added in v.1390

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