Converting CPS data constructors to ASDL version

  minor code cleanup

  Removed default int and real operations from CPSUtil, since they were not being
  used.  Also remove some bogus 31-bit specific code from convert.sml

  Starting to migrate the CPS IR toward the ASDL version.  Changed the
  names of the CPS.P.arith and CPS.P.cmpop constructors to be upper-case
  alpha IDs (many of them were symbolic identifiers).  Also split out the 
  various utility functions into the new CPSUtil module (CPS/cps/cps-util.sml).
  Lastly, moved the literals.sml file from FLINT/main to CPS/main (where
  it belongs).

  code cleanup for cpstrans.sml; fix layout, add comments, and use
  some Basis functions to make the code more concise

  More code reorganization.  Moved FLINT to CPS conversion and CPSTrans
  phase to new CPS/convert directory.  The CPS/cps directory now only
  contains the representation of CPS and some utility code

  Split CPS out from the FLINT directory into its own subdirectory.  This change
  includes replacing the FLINTComp functor with a FLINTOpt structure and a CPSComp
  functor.

add info about Mojave build

tweaking the mojave build process

  Change SwapBytes to SwapBytes32 in cygwin.def

  Use xcode-select to get the path to the developer directory

  Adding support for building the runtime on Mojave.  To do so, you need to
  copy the MacOSX10.13.sdk directory into the Xcode 10.1 SDKs and then use
  the mk.x86-darwin18 makefile.

  mark unused primops

  The getspecial primop can be implemented using the same code as getobjlength.

  moved description of how conversions work to dev-notes.

  Removed several unsupported primitive operators from the compiler.
  See the changelog for details.

  Fix for bug #216 (run-time system fatal error with large top-level value)
  Also changed the way that available space is tracked and handled in the
  literal builder.  Instead of trying to track the amount of available space
  in a local variable, we recompute it for each new instruction.

  A bunch of comment and code layout edits

remove unused primops

  Mark unused primitive operators (these are 8-bit operations)

  remove trailing whitespace

  Remove trailing whitespace

  a bit more information in a compiler bug message

  added header comment

added missing header comments

  remove fast-fp control flag from AMD64, since it is an x86-specific control

  Adding header and 64BIT fixme comments.

  edit comments

  Preparing for a 64-bit basis; rename built-in.sml to built-in32.sml

  Enabled compiling of the AMD64 backend when compiling the compiler (it compiles but
  doesn't yet work).  Fixed issues with the floating point registers on the AMD64.

fixed typo

note that x86-fast-fp may be a bogus control

adding some 64BIT comments

  code layout

remove dead code

  Change CPS operators for wrapping/unwrapping integer and float values to
  be word-size flexible.  We now use a single `wrap` (and `unwrap`) operator
  that is parameterized by a `numkind` value.

  Changed CPS pure operators `wrap` and `unwrap` to `box` and `unbox` to avoid
  colflict with new names for `iwrap`, etc.

minor edit

  More 64-bit cleanup for mlriscGen.sml

more 64-bit cleanup

  Switch GC Types to be ML-value size independent

  More 64-bit cleanup of mlriscGen.sml and fixed a minor bug in tracking
  GC types.

  Working on 64-bit cleanup of code generation

trailing whitespace

code formatting

no need for int31/int63 prim types (use int instead)

update MAP

removed Semant/statenv directory

  Remove unused primopmap.sml file from FLINT/trans.

64BIT fixes to pequal.sml, equal.sml, etc.

adding some comments

  merging in changes from the arith64 branch: mostly removal of the broken
  CPS checking code plus more "64BIT:" comments.

remove unused expandNEW.sml file

  some code formatting and merged in 64-bit cleanup of IntInfCnv (nee InfCnv)  module.

  Replace the implementation of switch with a cleaner version.

  improved comments

clarify comments

fixed (most) 64BIT issues in FLINT/trans/translate.sml

minor updates to FLINT/MAP

64BIT fix for FLINT/trans/pequal.sml

  Added "64BIT" comments

  Last minute bug fix for 110.84; the subslice function had a typo in it.

fix error in windows installer

  Reimplementation of the array/vector-slice modules to use a (base, start, length)
  representation (as does Substring in system/smlnj/init/substring.sml).  Also
  fixed a bug in the findi functions, where the index being passed to the predicate
  function was not adjusted to be slice-relative.

adding SMLNJ-ASDL-LIB to pathconfig

  add proxy for ASDL library

  Fix header comment

  Fix incorrect signature name

  better error messages

  signatures for SML Basis Library proposal 2018-002 (Additional slice operations)

  update copyright

  Improved implementation of CharVectorSlice.{map,mapi} and implementation of SML Basis
  Library propoosal 2018-002

  addd header comment

latex fix for btcomp

  Various tweaks to the CM documentation.

  Switch most verbatim blocks to lstlisting blocks.

update document history

  merging in changes from cm-tool-hacking branch

  Fixed bug in implementation of monomorphic buffers (CharBuffer and Word8Buffer).

  Working on code cleanup for 64-bit support.

trailing whitespace

fix bug with error propagation

code layout/comments

  change representation of integer types in FLINT to be target-word-size
  independent

  remove OBJECT constructor from CPS.value datatype, since it is not used

remove condmove primop from CPS

add FIXME comment

edit comment

comments etc.

fix for bug 206

correct typo in comment

  Fixed minor bug in Date.toString (missing leading "0" for day of month).

cleanup, documentation, and debugging support for match compiler (FLINT/trans/matchcomp.sml, etc.)

  Fixed parser to allow parentheses around `val rec` patterns.  This issue was bug
  number 1487 in the old bug list.

  Fixed lexer to produce the correct error message for bad escape sequences.
  Previously, it produced an "unclosed string" message.  This bug was bug number
  1551 in the old bug list.

  Fixed open bug number 1383: Char.toCString #"\000" returned "\\0", instead
  of #"\\000", which caused String.toCString to produce invalid results.

adding some signature comments

  Added an implementation of SML Basis Library proposal 2018-001
  (Addition of monomorphic buffers).

  Fix a bug where "0w" was being accepted as a prefix for a hexidecimal
  word value in Word.fromString/scan (ignoring case, only "0x" and "0wx"
  are valid prefixes).

  Fix parsing issue with 'op' (bug1370)

  Tweaking error messages to make them more consistent

  bug fix: lexer gave unmatched close comment error on "*)", when it should have
  scanned it as "*" ")".

use ListPair.foldl instead of List.foldl + ListPair.zip

code layout

code layout

  code layout

  The sameSign function returned incorrect results in the Int31 and Int32 modules.

  Fixed various minor parsing and scanning issues:
    - correct syntax for type variables
    - signature/structure/functor IDs should always be alpha IDs
    - the equality ID ('=') cannot appear in a binding context

added FIXME comment

adding comments

removed FLINT/const-arith directory

removed all files in FLINT/const-arith

  Cleanup switch code a bit.

  Switch CPS to use IntInf.int to represent integer/word values

better classification of real literals

code layout

  Fix bug in handling of zero with large exponents

code formatting

  Fixed bug with converting strings to real literals and added
  support for Successor ML's use of "_" as a numeric separator.

  improvements to the Basics/reals code

const-arith moved to MiscUtil

  Switch FLINT IR to use IntInf.int for integer and word constants.

resolved tree conflict on FLINT/const-arith

  working on numeric constants

  Added contraction rules for unsigned *, +, and -

  moved const-arith into MiscUtil so that it is available to the
  CodeGen phase (in addition to cpsopt).

  code formatting

  Changed representation of integer/word constants in PLambda to
  use IntInf.int.

  Switch to using IntInf.int to represent object descriptors in
  the code generator.  Part of the transition toward 64 bits.

  documentation edits

deleted PACKexp from Absyn and other files referring to it

  Working on integer/word literals stuff

  Use RealConst.t representation in FLINT and CPS IRs.

  Propogate the source string for numeric literals into the
  Absyn so that it can be used in error messages.

  moved literal-to-num.sml to the FLINT/trans directory, since that is
  the only place that it is used.

  Changed Absyn representation of real constants to prepare
  for eventual 32-bit float support.

  code formatting and comments

  fix representation of 0.0 to be the empty list of digits

  Fix for bug #191 (Compiler crash when handling large reals).  We now issue a warning
  for real literals that will round to zero and an error for real literals that are
  too large to represent.  There still needs to be done some work to support sub-normal
  literal values (these are currently rounded to 0).

  Adding library to support constant integer/word arithmetic at
  arbitrary precisions.

Select -std=c99 since gcc does not understand the inline keyword in -ansi mode.

  Switched the representation of real literals from strings to the
  RealLit.t type.  This change is the first step toward fixing
  bug #191 and supporting 32-bit reals.

  Removed real patterns from Absyn and FLINT, since they are not allowed by SML'93.

old-literals.c as bridge

  Fixed bug 194 (Real.fromString overflows or hangs)

  Preparing the way for a new implementation of the build-literals mechanism.
  Move the version-1 interpreter into old-literals.c.  Also added Int64_t and
  Unsigned64_t typedefs.
  See dev-notes/new-literals.md for a description of the new-literals bytecode.

  adding some documentation

  Some documentation and simplified the interface to the Literals
  module in FLINT.

  bug fix for literal range checking.  We need to do *all* overload resolution
  before checking ranges, since we might have literals whose type variable has
  been instantiated to another overloaded type varible that has not yet be resolved.

prune type in numInfo and better tyToString

  fix typo

  Pickling support for IntInf.int values; for now we just pickle them as
  strings.

  bug fix for windows: use SayDebug for _ml_win32_debug function

  Add checking of numeric literal ranges to overload resolution.

  Add some utility functions for dealing with int/word literals

  No longer compiler the file FLINT/opt/abcopt.sml, since its optimization
  is never enabled.

added comment to cmb-make

adding comment

  Remove "open" and add some comments to overload.sml

  Working on change in integer/word literal representation.
  Stage 1 -- changed representation in Absyn.

  Adding common representation of integer and word literals.

  fix bug (typo)

  Some restructuring/cleanup for literal overloading.  Got rid of Types.litKind
  datatype; changed Type.ovldSource datatype to have different constructors for
  each kind of literal that can be overloaded.

  change EOL comment to regular comment to avoid pre-processor warning
  on linux.

added/revised some comments regarding FE primops; made primop_bind type abstract

update header

  Fixed a bug in IntInf.div and IntInf.mod, where the Div exception
  was not raised when both arguments are 0.

minor code cleanup

add FIXME comment

  Changed representation of CPS.cty to track sizes of untagged integer
  and float types.

  add unpickler bug fix that got clobbered by accident

changed cty in FLINT/cps/cps.{sig,sml}

add mlValueSz and comments to target modules

trailing whitespace

fix type errors

  Bug fix.  Also add headers and remove trailing whitespace.

minor fix to tyToString in TypesUtil

added a crude tyToString function to TypesUtil

  fix bug in printing

removed old debugging print statements in elabOVERLOADdec in elabcore.sml

bug fixes for new primops

  Working towards 64-bit support.  Added Target module, which specifies the
  properties of the target (e.g., size in bits of default int type).  Reworked
  generation of InlineT structure to be target specific.  Some cleanup for
  primop bindings and FLINT's primtycs.

minor edits of primtyc.sig and pickmod.sml

getting rid of ptnum stuff

  Merge CoreBasicTypes into BasicTypes

  working on primops

minor edit

  Working on new primops.  We've moved a bunch of code from Semant to ElabData
  and we've changed the representation of primop IDs in structures.

working on new primops

updated FLINT/trans/translate for new primop-bindings

updated ElabData/basics/primop.{sig/sml} with new primop_bind

moved primop.{sig/sml} from FLINT/kernel to Semant/prim

working on new primops

working on new primops

working on new primops

redeleted Semant/types

comment editiing in FLINT/kernel/primop.sml

new primop representation

  remove BOXEDUPDATE primop, since it is the same as UPDATE.

  Removed unused primops (GETRUNVEC, DEFLVAR, USELVAR)

fix for bug 123, updated documentation for primops

  Fix bug #183 (status code returned by sml REPL).  This restores the
  110.79 behavior of having "sml foo.sml" exit with a non-zero status
  when there is a type-checking error in foo.sml.  It also cleans up
  the error messages associated with "use" when there is a syntax
  error.

  add some comments about bug #173

minor 64-bit prep

fix for gen-posix-names.sh

  Added missing options (@SMLsuffix and @SMLversion) to help message
  (bug #185).  Also reordered the list of options to match the Manual
  page (some reordering of the manual page was also done).

code formatting

  For now, we remove AMD64 from the visible compiler since
  it is incomplete.

adding header comment

adding header comment

  adding copyright notices

working on AMD64 support in runtime

  Adding assyntax64.h for AMD64 assembly

  rollback r3431 change, which was the addition of names for 64-bit registers.
  Instead, we are defining a assyntax64.h for the AMD64.prim.asm.

  More 64-bit cleanup.  Remove information about word sizes
  from CPSREGS signature, since it is redundant (MACH_SPEC
  has the same information).

  Working on 64-bit support.  Trying to make the backend more cleanly
  parameterized by the target machine's word size.  Changed the
  DefaultMachSpec structure to be a functor that is parameterized by
  the ML and machine word sizes.

working on 64-bit runtime support

  Working on 64-bit support for runtime system

  Changed the way that we test for allocation-space addresses in minor GCs.
  Instead of using the BIBOP, we now do a pointer range test.  On 32-bit
  systems, this change results in a small (~0.13%) performance boost, but
  we expect a bigger impact on 64-bit hardware, where the cost of BIBOP
  probes will be higher and there are more registers available to hold
  the nursery bounds.

  Fixed some issues in assertions and a very-low-probability
  bug in tracking available memory during literal construction

  change word size of amd64 architecture to 64 bits

minor edits to INSTALL notes

  Added -DNO_PLUGINS option to sml command.  This option suppresses
  generation of the parser and lexer files by CM.

  added some documentation of the makeml options

Fix for bug 129 (disallow symbolic structure, etc. names).

  removing trailing spaces

  Added directive to mark the stack as non-executable for x86-linux and ppc-linux targets.
  This change fixes bug #175.

remove redundant __USE_GNU define

  preparing the way for 64-bits

Further cleanup of FLINT stuff in front end. module-plists.sml moved to FLINT/trans

  Working on x86-64 (aka AMD64) support in runtime.  Still need to deal with
  the BIBOP in the GC.

removed remaining dependencies on PlambdaType from front-end

  Fix bug in parser: allow '*' as a field label in record-punning patterns.

clean up printing code and fix DOdec typechecking

reducing use of 'open'

  Added support for Successor ML 'do' declaration support.  There are still some open
  bugs with respect to explicit type variables.

  Add Successor ML parser to CM file for when NO_PLUGINS is true

  define signature for TokenTable functor argument

  hide the RESET_PARSER exception from the REPL

  Changes to enable Succssor ML syntax support.  We now have two parser+lexer
  stacks and we select the parser based on the succML flag.  We have introduced
  a function (Control.setSuccML) to switch modes, which fixes bug #153 (Enabling
  Successor ML features is delayed)

fix for bug 149: added boolean stripped field to DATATYPE tyckind. requires -rebuild option on makeml because of change of static env pickles

  update to gen-posix-names.sh; use /usr/include/unistd.h on macOS (when it is present)

reverting changes

fixing bug 151 (Error installing from source on Mac OS X)

  Basis Library updates to bring our implementation in line with changes to proposals
  2015-002 and 2015-003.

DBM: fixed bug 145 by adding OVLD_UB case to failMessage in unify.sml

  Change behavior of hexadecimal escapes so that values in the range 0..255 are mapped
  to characters and values larger than 255 are errors.

removing trailing blanks

update for macOS 10.12 Sierra

  Added the popCount function to the WORD signature (Basis Proposal 2016-001)

  update INSTALL notes with more recent info about 32-bit linux

  Fix for bug #156 (sml resumes after SIGSTOP with bogus exception report)

  Fixed printing of word literals in error messages (bug #155)

  Update header comments

  Better error messages for non-ascii characters

  removing svn:mime-type property from gen-posix-names.sh

Add support for finding unistd.h properly on OSX machines
running Yosemite (10.10) and El Capitan (10.11).

code cleanup for eval-loop functor

  Fixed bug #147 (Hexadecimal escapes in strings are not supported).  We previously
  did not support Unicode escapes in string literals.  We now do so, with non-ascii
  codepoints being mapped to the UTF-8 encoding.

  Fix the handling of the Error exception so that we do not get tracebacks
  for errors in user code.

  Added missing rebinding of VECTOR signature to VECTOR_2004

  make the x86 be the default architecture (instead of the sparc)

  Added "-clean" flag to installml to help streamline the release building process.

  CHanged the fixpt script to get rid of the intermediate results and put the final
  bin and boot files in the standard place.  The old behavior is available using
  the "-save" option.

patch for bug #140

better way to define the basis-2004.cm library

added defs.tex to CM manual

  Change the implementation of the old-basis to use a shared library
  from the compiler (see base/system/Basis/basis-common.cm).

  removed debugging code

  Added succ-ml tool and succ-ml argument to sml tool.

  fix sense of succML flag

better internal error reporting

switch to IntRedBlackMap

  working on Basis backward compatibility 

adding old-basis directory tree

minor code improvements to installer

  New implementation of Date structure that fixes bugs 138 and 139.

  Adding ListPair operations per Basis Library proposal 2015-003.

  Adding definitions for Basis Proposal 2015-003 to List module.

  preparing to switch from IntBinaryMao to IntRedBlackMap.

  generalized the implementation of localOffset function

  Added $(SDK) to AS command to fix a warning about prim.o. (for Mac OS X)

  fix typo in comment

  Added implementations of PackReal64Big and PackReal64Little.   This fixes bug #82
  (feature request).

fixing the indentation

  update header comment.  Note that bug #45 was fixed by previous commit (r4121)

  Removed ListPair_all, since it is the same as the Basis function ListPair.allEq.

  Expose toStringValue function for debugging

switch from BinaryMap to RedBlackMap

code formatting

added localOffset function to runtime to better support Date structure

  Patches for Linux/PPC to address bug #137 (and #135).  Thanks to James McCoy for the
  bug reports and fixes.

  Working on Basis Library enhancements

allow multiple underscores in numeric literals

Basis changes

working on CM manual updates

  added TeXshop comments; added changes file with short list of changes from 110.40 (needs
  refinement)

revising CM documentation for latest version of SML/NJ

adding bib file

Fixed bug #136 (Incorrect raising of exceptions in Real.fmt and Time.fmt)

  update to Either:EITHER to track changes in the proposal

  more work on adding support for Basis Proposal 2015-003 (added Option and ListPair
  extensions).

  More work on new basis functions.  Added Either:EITHER (proposal 2015-002) and
  the monomorphic array extensions from 2015-003.

  Adding more support for Basis Proposal 2015-003.

  code formatting

  Adding preliminary support for new Basis Library functions.  Specifically, the
  monomorphic vector operations.

  Adding preliminary support for new Basis Library functions.  Specifically, the
  polymporphic array and vector operations.

  change // comment to /* */ comment to fix bug #135

  Some code cleanup for AstUtil.  Removed open and other minor changes

  add lexer for SuccessorML lexical extensions

  Added second lexer that handles SuccessorML lexical extensions (line comments,
  binary literals, and "_" in numeric literals).

  add a flag to control Successor ML features (none yet supported)

  remove Alpha and HPPA from allcross targets

Fix for bug #52. Major revision of the mechanism for overloading resolution that uses a common basis for overloaded operators and literals.

  moved README files to doc/src/release-notes

  Added note pointing to the new version of the HISTORY file in the doc tree.

Simplifications in preparation for new overloading treatment.

  Fixed some formatting issues in HISTORY file in preparation for conversion
  to ASCIIDOC format

  Fixed some minor formatting issues in HISTORY file

  fix comment syntax

  working on 110.78 README

  Correct history entry

  Deprecated the HPPA and Alpha targets in allcross; fixed installation
  of source code modules

  create README for 110.78 release

update

  added some clarification to HISTORY

added -D_FILE_OFFSET_BITS=64 flag for x86-linux

  update to HISTORY

  tweaking the CSS for the README

  fixed type in README

  note that bug #35 has been addressed (missing manpages)

  update README to mention documentation

  Modify installer to handle src requests.

  Change release date for 110.77 to August 22.

  Add 110.77 to HISTORY; update CYGWININSTALL and INSTALL instructions.

  additions to 110.77 README

  Working on 110.77 README.

  Update HISTORY for fix of bug #125.

  Added missing mk.ppc-openbsd contents for bug #124.

  update HISTORY

Working on fix for cygwin build

fixed C99 warning

fix pathname for systems that define P_tmpdir without a trailing /

OpenBSD/PPC support

  Fix for bug #128.

  Fixed bug 110.

  Fixed bug #119 (conversion from tuples to vectors)

  Add a comment to Windows makefile

  update HISTORY (fixed bug 120)

  Use traditional C comments (instead of C++ style)

  Add HAS_ANON_MMAP for x86/linux configuration.

  working on README for 110.77

  working on 110.77 release notes

  Fix for bug 127, but it still needs to be tested.

  HISTORY update

  Bug fix

  changed log2 to ilog2 to avoid warning about redeclaration of library function

  fix typo in #define

  fixed minor issue in an error message; type variable name should be printed with leading '

  Working on 110.77 README

  Create README template for upcoming 110.77 release.

  Added PackWord{16,32}{Big,Little} structure to Unsafe.

  Restore fix for bug 113 (Socket.select waits exactly twice the indicated timeout).

  building version 110.76

  updating 110.76 README

  Minor fix for backward compatibility

  Change the way that gen-posix-names.sh finds unistd.h to handle the situation
  where the include files are located inside the Xcode bundle.

  Start working on release notes for 110.76

  rewrite acceptNB Windows workaround so that we don't have to get the host OS for each call.

Update history for recent commits.

Use OS-specific information to set the non-blocking status appropriately after a call to acceptNB

append should open always

  Fix bug #116 (Socket.sameDesc raises Match exception).

Typo

  update HISTORY

  Bug fix: correct the calculation of the timeout argument to the runtime system
  poll function (bug #113).

History file update for change to MLRISC

fixed missing cases in expType in DebugProf/types/reconstruct.sml

  HISTORY update.

  Fixed bug #107 (Bug of Int64 comparison)

  minor formatting fix

  Fixed bug #92: IntInf.scan did not handle "0x" prefix correctly.

  update history

  update HISTORY and 110.75 README

  update history and 110.75 README

  Record ml-lpt improvements in notes.

  Update Makefile for Mountain Lion

  Update 110.75 README

  added comment

Runtime fixes for the Windows build with VC++

  Fixed bugs #89 and #96.  Also removed build support for MacOS X pre-10.5 (Leopard) on PPC
  and pre-10.6 (Snow Leopard) on Intel.

  adding to fixed bug list

  Create README for 110.75

  Add script for batch compiling

  Fix type error that was introduced by mistake

  edit comment

  Remove dSYM directories as part of cleanup

  Minor formatting changes

  Fix a bunch of compiler warnings in the runtime

added further 32bit on x86_64 install instructions for CentOS

added Linux 32 bit instructions to NOTES/INSTALL

  Fixed bug #88

  Minor edit to comment

  Added some notes about 10.5 support using Xcode 4.2.

  Fixed implementation of Real.signBit on little-endian machines.

fixed omission in cm/smlfile/skel-cvt.sml, and minor printing issue in typecheck.sml

edited HISTORY to add Version 110.74 label

updated HISTORY, changes, READMES for 110.74

  Some edits to the README

fixes for bugs gf#77 and gf#60, and bump version to 110.74

  Working on making the build-literals code more robust

added some info about compiling for older versions of Mac OS X

  Fix a bunch of compiler warnings.

added entry to HISTORY and NOTES/changes/dbm_2012_1 file

added showTypeErrorCulprit flag in ElabControl (Elaborator/main/elabcontrol.s??)

fix of lexer off-by-one bug, change of SourceMap interface, slight cleanup of match compiler, preliminary modification of type checker to add culprit tracking

   Starting work on 110.74 README.

  Fixed typo

  Added bug numbers to HISTORY entries

  Bug fixes for Unsafe.blastRead

  Hisory update.

  Bug fix for HeapIO_ReadBlock: proper error handling when reading from memory and there
  are not enough bytes.

HISTORY update

  Add note about 64-bit Linux install issues

  Added bug 70 to list of fixed bugs

  Added README for 110.73

  Added boolean literals to the CM conditional-expression syntax

  Added missing String.scan function (bug #69)

  Note.

  Added fix for comments in code bug (#63).

Fixed bug with the way that Socket.acceptNB created new sockets (#59).

  Update history

  Update for Lion

  Added barriers to CML

Fix examples

Localized directory support.

Basis library side of CML polling fixes.

C side of Win32 polling fixes

  Fixed Real.toString and Real.fmt to include sign for negative zero

Windows-specific bootstrapping instructions.

Fix Win32 bugs with calls to OS.Process.system

Applied patch for bug #39 in the tracker.

Basic documentation updates for 110.72.

  Fixed List performance bugs

Fix for buffer overrun, Win32 #37

Fix for buffer overrun, Win32 #37

Fix for TOSPACE overrun by the string arena due to alignment buffering.

Fix for TOSPACE overrun by the string arena due to alignment buffering.

  Removed duplicate entries

  Update.

  Update

  Update

  Update

  Update HISTORY

Documentation updates for 110.71.

  Changes to support compiling the runtime system on Mac OS X 10.6.

  Shouldn't be executable

  Fix for a register-allocation bug in MLRISC.

test

  Removed redundant implementations of various top-level operations by
  consolidating them in base/system/smlnj/init/pervasive.sml.  This
  change also fixes a bug in that the top-level version of round was
  incorrect.

  Tar up bin files

Adding README for 110.70.

version 110.70

HISTORY entry for recent 2 bug fixes

fix for 64-bit pattern match bug

"Unfixing" part of change made on 2009.04.28: removing parenthesis from 
a SeqExp that contains a nested FixAppExp can make the result ambiguous.  
The result will "round trip", but changes how the result will be 
compiled.  Added special case to fix this specific problem.

Fixed some "bugs" in the PPAst pretty printer that were making "round 
trips" fail ((pp o parse o pp o parse) s != (pp o parse) s).  
Specifically:

   - The "fn" was not being prepended to FnExp's.

   - Removed parenthesis for sequence expressions of one
     subexpression.  (Iteratively sending this back to the parser kept
     adding nested parenthesis.)

   - A ">" was being appended after selector expressions ("#x" would
     pretty print as "#x>").

   - Fixed spelling error (was "stuct") and added whitespace between the
     structure body and the "end" keyword for BaseStr's.

   - Changed ":" to "=" for Strb's (note that constraints were not and
     are still not handled).

  Committed bug fix.

  Added entry for ml-antlr bug fix

removed quotes around percent-u in shell tool template
(this is a quick hack; I will implement the solution suggested by
Matthew Fluet later)

  More OpenBSD support

Updated documentation to reflect some of Matthias' fixes.

more debugging error messages

more details added to troublesome UnpickMod error message

removed spurious references to SA.cm which trigger unpickling bug

hot fix for problem CM tools when paths contain spaces

  Fixed typo in #ifdef

  Creating 110.69.

  Re-enabled some CPS optimizations.

  Adding OPENBSD support

  Notes.

  update

  Fix name.

  New makefile for OpenBSD

Minor typo fix 

fixed MARKty unifyTy performance bug

added item about front end cleanup to 110.68-README.html

  Creating 110.68

ml-ulex bugfix

  Added OpenBSD build support

hot fix for autoload/CM setup interaction

ported changes from sml/branches/temi-branch -r 3005:3116 into trunk

  update

  Fix fromString to use base-10.

  Added update about ml-lpt

fixed missing CM anchor in IA32.cm

Implementation of profiling on Windows

Finish off the Windows basis library implementation.

done testing

still testing

sync

testing

  RegExp update

  Updated the Sparc register assignments to comply with the V9 ABI.

propagate VARty OPEN's eq property in LBOUND, bugfix for equality type signature matching bug

fixed equality type signature matching bug

Added Windows Status structure

Adding the Windows DDE structure implementation

Added the Windows.Config structure

print exn history in CM link step

Added win32 registry functions and outline of Windows basis library.

  Updated the code generator to the new amd64 MLRISC interface.

Updated for nlffi work

Fixed typo

Update

ignored ...dSYM files

rolled back accidental ppkind change in pptype.sml

merge from trunk into primop-branch-3 (2741:2881)

  Fixed Windows 97 --> 98.

  Adding new 110.67 README and missing 110.64 and 110.65 READMES.

history update

Updated with instructions for the new MSI-based installer

new version

  Ensure that the size of the allocation space is at least 128K.

  Update.

  Sync up the amd64 code generator with MLRISC.

History

  History update

  Update

  Patch for Mac OS X 10.5

  Mac OS X 10.5 patch.

  Added a dummy hook for floating point negation.  Will need to add code-gen support for this later.

Added notes for my changes to installer, Windows build, etc.

win32-io.c: Fix ^C handling on Windows - SIGINT returns from ReadConsole, and we need to have something in the input buffer or the interpreter will exit.
win32-raise-syserr.c: errno is now an extern variable in new Windows SDKs, so we rename around it.

updated HISTORY Elaborator/Translate performance bugs

fixed performance bugs: seqdecl inserts into staticenv now does lazy consolidation and flintnm lexps2values debugging print eliminated (had quadratic behavior)

x86 signbit code fixed -- passes tests now

Added f64sgn signbit primop

  Fix for end-of-stream bug in I/O.

realconst now keeps sign bit for ~0.0 around

got rid of allsources

HISTORY entry for 110.65

update to installer

added cm.force-tools control

HISTORY entry for lex fix

set various svn:ignore properties
to avoid having svn stat report too much junk

used memset instead of bzero; bzero does not seem to exist under win32

added 110.64 history entry

updated DEVNOTES/primop3-revisions after merge

merge from primop-branch-3 (base) into trunk (2603:2649)

bug fixes to translate.sml

fixed bug in DIV/MOD/REM/QUOT code (translate);
the wrong lambdatype was inserted into the primop causing
Word32.mod (0w22, 0w11) to crash

fixed Div regression using explicit test

added explicit test for divide-by-0 to translate phase for all div/mod/quot/rem ops

  Fixes for the new AMD64 code generator.

  Various fixes for Date.fmt.

  Fixed bug 1416

added explanation of NO_PLUGINS change to HISTORY 

use NO_PLUGINS to control whether plugin tools are needed for
bootstrap compilation

merge of primop3/base branch -r2492:2602 into trunk

deleted compiler/DEVNOTES/FLINT to make way for Flint directory

added note about now plugin installation mechanism to HISTORY

CM tools now treated as simple libraries

added explicit tool classes to lex and grm files
to avoid future conflicts with ml-ulex and ml-antlr

added cm.tolerate-tool-failures control

ml-lpt merge for 110.64

ml-lpt revisions

sync

merge revisions 2221:2491 from primop-branch-3

  Bug fix: the empty arc should be treated as valid.

  Basis fixes.

  Fixed bug in Time.fmt

  Basis fixes: OS.Path did not do sufficient error checking

  Readmes for 110.63

  More Basis fixes: the WORD signature was missing {to,from}Large.

added HISTORY entry for 110.63

added SA.cm to path environment for AMD64.cm

  Fixed Posix.TTY Basis inconsistencies.

  Remove unused structure (AMD64Rewrite).

fixed typo in WININSTALL

  Editing comments.

  Update

  Bug fix: when SaveCState was called with two values to save, a subsequent
  GC could cause the RestoreCState to fail because the saved state had been
  promoted to tagless pair.

HISTORY entry regarding elimination of lexgen

fixed problem with CM.make when compile servers are attached

HISTORY entry for fix to ml-build

README files for 110.62

HISTORY entry for 110.62

fixed typo in win32 makefile

added history entry for library installer

factored out code common to both main- and library installer

logging ml-lpt changes

reverted to old tool install scheme for lex and yacc

moved source for mlyacc CM tool into ml-yacc tree

partial solution for CM tool installation, not yet complete

moved CM tool for ml-lex into ml-lex tree

simplified most common invocation of library installer

bugfix; removed mention of ml-burg from intsys.cm

moved CM tool for ml-burg to ml-burg source tree

added library installer (not yet tested)

added HISTORY entry

added SMLofNJ.shiftArgs; added logic to CM startup code that
shifts command line arguments while processing them

added UTF8 structure and signature

added HISTORY entry

added HISTORY note; updated 110.61

fixed problem with premature evaluation of pathnames in CM export lists

added readmes and history entry for 110.61

  stupid bug fix

  Bugfix for Posix.TTY support.

added code to CM tools based on shell commands to make it tolerate\
the situation where the shell command fails (as long as all targets exist)

  Update history.

  Fixed error in types of "vecFrom*" functions (this error was in the
  Basis specification too).

CM now reports undefined anchors as errors and aborts

[autoloading] messages can now be suppressed via CM.Control.verbose

fixed bug in handling of with:-specs in CM

added README files for 110.60

added info about 110.60 to HISTORY

snipped some junk from installer implementation

trace-debug-profile code no longer compiled by CMB.make
(is now a separate, optional library)

reflected move of pgraph code in pathconfig

moved portable dependency graph code to toplevel

adjusted path config file to account for trace-debug-profile

moved tdp tools to its own toplevel trunk

fixed bug in versioning mechanism

get rid of (now empty) src

eliminated src dir

moved various files into NOTES subdirectory

fixed allcross script

new directory layout

moved smlnj-lib to toplevel

moved config to toplevel

moved nlffi generator to new nlffi toplevel tree

moved nlffi library to new nlffi toplevel tree

moved heap2asm to toplevel

moved MLRISC to toplevel

moved ml-yacc to toplevel

moved ml-lex to toplevel

moved ml-burg to toplevel

moved lexgen to toplevel

moved smlnj-c to toplevel

moved CML to toplevel

moved eXene to toplevel

moved CKIT to toplevel

moved knowledge about module install actions out of libinstall.sml
and made it configurable via config/actions

set some svn:ignore properties for derived files

set eol-style on all win32-specific files

moved benchmarks trunk

moved tests trunk

created sml-mode dir

tweaked installml script to handle config/extrapathconfig

merged amd64 code from Mike Rainey

added AMD64 stuff to MLRISC tree

  Added overflow/divide-by-zero workaround for Mac OS X on Intel.

heap2asm should not be enabled by default

added readmes for 110.59

freeze for 110.59

  Bug fix for iGetPoll, mTakePoll, and mGetPoll.

better fix for ml-makedepend

fixed ml-makedepend bug

  Bug fix: atomic regions not exited by polling operations.

heap2exec patches from Johannes 5 Joemann

  Missing name for Release_110_58

  Updates to support Darwin-compatible assembly code generation.

  Minor changes to make the output more compatible with the version of gas
  that Apple uses on Mac OS X.  Also added support for 64-bit integers.

  Committing Aaron's fixes for the stuck state and I/O exception problems.

  Current versions of NetBSD (e.g., 3.x) do not have leading "_" on global names.

bug fix for %full

merge Kansas changes to eXene into repository

bug in lexgen.bat

bug in build.bat

added build.bat script for Windows

new working version (110.58)

added HISTORY entry

bug fix from Aaron

improvements/bugfixes to lexgen from Aaron Turon

ml-flex -> lexgen

  Bug fix: problem with withNack and never.

  New makefile for MacOS X on x86.

  Patches for HAS_SIGCONTEXT case.

ml-flex installation should now work

  Update comments and add missing macro definitions.

added HISTORY entry

sources for ml-flex added; integration partially done

  Compile-time error fix for MacOS X on Intel.

  jhr-20060223-x86-64 update.

  Removed debugging code.

  Fixed bug in SetDefault/SetIgnore macros.

    Make an MLRISC script consistent with CM changes

  Cleanup of Linux signal handling plus port to x86-64.

  Use strerror when available.

  Fixed bad #ifdef for PPC/Darwin.

hooked intel mac abi code into main system

  Modified CCalls for partial support of MacOS X on Intel ABI.

  NetBSD patches for version 3.x (provided by Cary Gray)

  Fixed problem with saving/restoring stack pointer.

  Port to Intel Mac.

  Added includes to eliminate warnings.

  Added <stdlib.h> include to fix warning.

improved error handling in CM

fixed problem with config/preloads (html-lib)

*** empty log message ***

(sml-find-match-forward): Avoid infinite looping if the
construct is not properly closed (yet).

moved release tag

fixed installation/configuration glitches

(sml-mode-menu): Remove left over obsolete entries.

(inferior-sml-mode): Preserve the menu-bar of the
compilation minor mode, if any.

added note about eXene

new working version 110.57; new bootfiles

fixed problem with bogus exn message when using btrace

added implementation of Array2.copy

fixed bootstrap problem with previous change

improved the way certain libraries are bound into the compiler

fixed bug in xxxArraySlice.update; pushed Basis changes through

  Remove Substring.all.

  Replaced uses of Substring.all with Substring.full.

  Switch uses of Substring.all to Substring.full.

  Tweaking of the interval set API.

  Tweaking of the interval set API; see CHANGES file for details.

updated runtime system, CML, and eXene to reflect recent changes to Basis

  Rename Pack* structures to PackWord*.

  Create heap and lib directories when needed.

  Fixed bug in intersect function.

  Basis fix.

  Basis semantics fix: hexidecimal digits should be upper case.

added readme files for 110.56

BOOT and HISTORY entries

freeze for 110.56

  Fix typo.

  Tracking SML/NJ library changes.

  Adding interval sets to CM file.

  SML/NJ library additions.

  Resolve conflict.

Add Zhong Shao's fix for datatype equality functions.

    Fixed the floating point bug that Carl Hauser discovered.
    Bug was a typo in the spilling code.

   Removed some debugging printout code from x86Asm.sml.
   It looked like something left over from previous bug fixes.

*** empty log message ***

  Renamed graph-scc.sml to graph-scc-fn.sml.

  Fixed ml-lex to recognize "\r" in REs.

  Fixed ml-yacc to work with non-native eol encodings.

  Fix some odds and ends with the PP library.

added readmes for 110.55

  HPUX 11 support.

  Add HPUX 11 support.

  New makefile to support HPUX 11.

version number bump

  Changed interface to setting mode.

  New file.

  Describe atom type.

  Update for ANSITerm pretty printing support.

  Added PP stream based on ANSITermDev.  ANSITermDev now sets the initial
  mode based on the kind of the output stream (TTY enables styles).

pushed minor library changes into CML

  Changes to SML/NJ library.

  New file.

  Added ANSITerm structure.

  Added ANSITerm structure.

  Refactored PP library.

fixed problem (reversed logic) in copy code in array slice modules

     Fixed a typo in the cygwin code.

     Updated cygwin's signal/fault handling to match window's code.

  Bug fix: the calculation of required space did not take sequence headers
  into account.

new Mac OS X instructions

added READMEs for 110.54

fixed problems with new signal handling code (win32 version was incomplete)

freeze for release 110.54

added some script support for Mac OS X package installer

workaround for overloading bug