mlton-commit Mailing List for MLton (Page 3)

  Branch: refs/heads/master
  Home:   https://github.com/MLton/mlton
  Commit: 4513641ae78fe12e14b3d999bfdb58de06e85d28
      https://github.com/MLton/mlton/commit/4513641ae78fe12e14b3d999bfdb58de06e85d28
  Author: Matthew Fluet <mat...@gm...>
  Date:   2023-11-16 (Thu, 16 Nov 2023)

  Changed paths:
    M runtime/gc/mark-compact.c

  Log Message:
  -----------
  Add some `DEBUG_MARK_COMPACT` messages


  Commit: 14cae0a1e8b1acb6bbe71bedf2e76da3d78ab205
      https://github.com/MLton/mlton/commit/14cae0a1e8b1acb6bbe71bedf2e76da3d78ab205
  Author: Matthew Fluet <mat...@gm...>
  Date:   2023-11-16 (Thu, 16 Nov 2023)

  Changed paths:
    M runtime/gc/mark-compact.c

  Log Message:
  -----------
  Try (and fail) to add an assertion for mark compact GC


  Commit: b53cc28bf07847ec16399eedf9ba2f3e86df33ef
      https://github.com/MLton/mlton/commit/b53cc28bf07847ec16399eedf9ba2f3e86df33ef
  Author: Matthew Fluet <mat...@gm...>
  Date:   2023-11-16 (Thu, 16 Nov 2023)

  Changed paths:
    M runtime/gc/mark-compact.c

  Log Message:
  -----------
  Perform compressing in mark compact before threading internal pointers

Mostly fixes `DEBUG_MARK_COMPACT` messages so that
`compressing from ... to ... (length = ...)` appears before
`threading ... of size ...`.


  Commit: be6ed548f859de09bf273f1d31d62dcb256c7561
      https://github.com/MLton/mlton/commit/be6ed548f859de09bf273f1d31d62dcb256c7561
  Author: Matthew Fluet <mat...@gm...>
  Date:   2023-11-17 (Fri, 17 Nov 2023)

  Changed paths:
    M mlton/backend/packed-representation.fun

  Log Message:
  -----------
  Ensure that Objptrs are aligned in Sequence objects

With `-align 4`, no padding was added to the element components of a
Sequence object.  This could result in Sequence object types of the
form:

    Sequence {components = ([Word1, Bits7],
                            Objptr (opt_144),
                            Objptr (opt_5)),
              hasIdentity = false}

This places the Objptr components at offsets 1 and 5.  For x86, such
misaligned accesses are accepted (possibly at a performance cost);
other 32-bit platforms might not accept such missaligned accesses.

However, this representation is incompatible with the mark-compact
GC (Jonker's compacting collector), which must be able to distinguish
object headers from object pointers when threading.  In particular,
the runtime uses `GC_VALID_HEADER_MASK & header`, where
`#define GC_VALID_HEADER_MASK ((GC_header)0x1)`, to determine whether
or not an object is threaded by examining its header.

When the first object pointer in a sequence like that above is
threaded, this will result in the address of that object pointer being
stored in a header field (of the object pointed-to by the object
pointer in the sequence).  But, the address of the first object
pointer is at offset 1 from the start of the sequence object and is
therefore at an address with a low bit of 1.  This means that the
threaded pointer will be mistakenly interpreted as a header and either
an assertion failure or segmentation fault.

To address the issue, padding is added to the element components of a
Sequence object to ensure that the width of an element is aligned to
the minimum of the requested global alignment (i.e., `-align <n>`) and
the maximum size of a component.  So, for instance, a sequence with
only a Word8 component will require no padding, while a sequence with
a Word8 component and an Objptr component (on a 32-bit system) will
require 24 bytes of padding.  The above Sequence object is now
represented as:

    Sequence {components = ([Word1, Bits7],
                            Bits16,
                            Bits8,
                            Objptr (opt_144),
                            Objptr (opt_5)),
              hasIdentity = false}

With `-align 8`, this was already handled by ensuring that any
sequence with an element component of width 8 bytes (e.g., an Objptr)
was padded so that the width of an element is 8-byte aligned.

This does increase the size of some sequence objects.  Technically,
only sequences with objptr components need to have padding and only
need to be 2-byte aligned.  However, for uniformity with `-align 8`
and for faster data access, aligning to the minimum of the global
alignment and the maximum size of a component is chosen.

To save space and avoid misaligned objptr data, it would be better to
perform an "sequence of tuples" to "tuple of sequences" transformation
in the SSA2 IR.


  Commit: 519aacb69421c98c1329edb9a3a62ad63e667e3b
      https://github.com/MLton/mlton/commit/519aacb69421c98c1329edb9a3a62ad63e667e3b
  Author: Matthew Fluet <mat...@gm...>
  Date:   2023-11-17 (Fri, 17 Nov 2023)

  Changed paths:
    M mlton/backend/rep-type.fun
    M mlton/control/bits.sml

  Log Message:
  -----------
  Check alignment of `Normal` and `Sequence` `ObjectType`s


  Commit: 3cf6382432b576ea2eab43010fbbf7c70547a3b6
      https://github.com/MLton/mlton/commit/3cf6382432b576ea2eab43010fbbf7c70547a3b6
  Author: Matthew Fluet <mat...@gm...>
  Date:   2023-11-17 (Fri, 17 Nov 2023)

  Changed paths:
    M mlton/main/compile.fun

  Log Message:
  -----------
  Perform initial and final RSSA type checking by default

On a self-compile, RSSA type checking is only 2.6s of the total
227.36s compile time; SSA and SSA2 type checking are 1.82s and 1.34s,
respectively.


  Commit: f4bf53b24cb175db1b543261449de6b08fc77b32
      https://github.com/MLton/mlton/commit/f4bf53b24cb175db1b543261449de6b08fc77b32
  Author: Matthew Fluet <Mat...@gm...>
  Date:   2023-11-17 (Fri, 17 Nov 2023)

  Changed paths:
    M mlton/backend/packed-representation.fun
    M mlton/backend/rep-type.fun
    M mlton/control/bits.sml
    M mlton/main/compile.fun
    M runtime/gc/mark-compact.c

  Log Message:
  -----------
  Merge pull request #532 from MatthewFluet/mark-compact-bug

Mark-Compact GC bug with `-align 4`


Compare: https://github.com/MLton/mlton/compare/58ddf1e549ad...f4bf53b24cb1

  Branch: refs/heads/master
  Home:   https://github.com/MLton/mlton
  Commit: 8c6450e82279532dd8cfdbd37e1640166ddec051
      https://github.com/MLton/mlton/commit/8c6450e82279532dd8cfdbd37e1640166ddec051
  Author: Matthew Fluet <mat...@gm...>
  Date:   2023-11-11 (Sat, 11 Nov 2023)

  Changed paths:
    M mlton/codegen/x86-codegen/x86-allocate-registers.fun

  Log Message:
  -----------
  Fix inefficiency/bug in x86 reg alloc of floating-point stack

The x86 register allocator for the floating-point stack for a simple
float-to-float move tries to optimize for the common case of moving from an
allocated but to-be-removed memloc by simply reassigning the floating-point
stack slot to the destination.  However, this was mistakenly done before
performing the register-allocation "pre" work, which had a number of unfortunate
side effects.

Since the destination memloc has not been written to memory, its newly assigned
floating-point stack slot is marked "not synchronized".  The subsequent "pre"
work would redundantly save the destination to memory in order to "synchronize".
This is redundant, because the float-to-float move is typically the first step
of performing a floating-point operation (remember, in x86 assembly, a source
operand is first moved to the destination operand and then the operation is
performed (possibly with additional source operands), since x86 instructions use
one operand as both a source and destination).

Another side effect is that the "pre" work may have modified the floating-point
stack (e.g., to get the destination to the floating-point-stack top in order for
the `fst` instruction to write it to memory).  The instruction was marking the
original source floating-point-stack-slot location as "not
synchronized" (because it has been reassigned to the destination memloc), but,
due to the potential modification of the floating-point stack, this would
incorrectly mark some other memloc's floating-point-stack slot as "not
synchronized".

Typically, this would again simply be an inefficiency, since the incorrectly
marked memloc/floating-point-stack-slot would simply be redundantly written back
to memory at some latter point.

In rare circumstances, the incorrectly marked memloc corresponds to a
floating-point constant stored in the immutable static heap.  (Because it is a
pain to load `float` and `double` constants in x86/amd64 assembly, the compiler
collects up all of the floating-point constants and allocates global vectors of
constants and then just fetches the constants from those vectors. Since they are
global constants, they can be allocated in the "immutable static
heap" (`staticHeapI`).)  Writing such a value back to memory would be incorrect,
since the immutable static heap should be read-only memory.  This would manifest
as a segmentation fault at an instruction like:

	fstpL (staticHeapI+0x1E8)

However, this bug wasn't observed before, because the "immutable static heap"
was only introduced much after the switch to amd64 as the primary development
platform.  (Prior to the "immutable static heap", the floating point constants
were allocated as vectors in the "normal" heap, which is, of course, writeable.)

The fix is to simply perform the register-allocation "pre" work before the
reassignment of the floating-point stack slot to the destination.


  Commit: 58ddf1e549ad77abce36d5008e17efcc96f05874
      https://github.com/MLton/mlton/commit/58ddf1e549ad77abce36d5008e17efcc96f05874
  Author: Matthew Fluet <Mat...@gm...>
  Date:   2023-11-11 (Sat, 11 Nov 2023)

  Changed paths:
    M mlton/codegen/x86-codegen/x86-allocate-registers.fun

  Log Message:
  -----------
  Merge pull request #531 from MatthewFluet/x86-fltstack-reg-alloc-bug

Bug with x86 register allocation of floating-point stack


Compare: https://github.com/MLton/mlton/compare/04d76908f03d...58ddf1e549ad

  Branch: refs/heads/master
  Home:   https://github.com/MLton/mlton
  Commit: 052a34afada94c9a716be8322c5484f7e2610d7f
      https://github.com/MLton/mlton/commit/052a34afada94c9a716be8322c5484f7e2610d7f
  Author: Matthew Fluet <mat...@gm...>
  Date:   2023-11-09 (Thu, 09 Nov 2023)

  Changed paths:
    M mlton/backend/allocate-variables.fun

  Log Message:
  -----------
  Report interference as error in `AllocateVariables.Stack.new`

A well-formed stack allocation should not include stack offsets that interfere.


  Commit: 9c8c87182ceff76ef0e54de407920931b81a9637
      https://github.com/MLton/mlton/commit/9c8c87182ceff76ef0e54de407920931b81a9637
  Author: Matthew Fluet <mat...@gm...>
  Date:   2023-11-09 (Thu, 09 Nov 2023)

  Changed paths:
    M mlton/backend/allocate-variables.fun

  Log Message:
  -----------
  Add handler info diagnostics to `AllocateVariables`


  Commit: 823ec5fb449e7cffa4bdc1a515e7af295b9bd97f
      https://github.com/MLton/mlton/commit/823ec5fb449e7cffa4bdc1a515e7af295b9bd97f
  Author: Matthew Fluet <mat...@gm...>
  Date:   2023-11-09 (Thu, 09 Nov 2023)

  Changed paths:
    M mlton/backend/allocate-variables.fun

  Log Message:
  -----------
  Fix bug in allocation of `handlerOffset` and `handlerArgs`

MLton/mlton#321 (especially 69eec2d4d) introduced a new raising
convention, whereby raised values are communicated from the raisee to
the handler via the ML stack.  As noted in that commit: "Sufficient
space for raised values are reserved in the handler frame immediately
above the handler label."  However, the mechanism by which this space
was reserved was not correct and, in rare circumstances, could lead to
a `Machine.typeCheck` internal compiler error.

The intended mechanism was to allocate stack slots for the link,
handler label, and handler arguments after all of the stack slots
allocated to the incoming actual arguments.  The code to do so was
like this:

    (* create a stack allocation that includes all incoming actuals *)
    val stack = ...
    (* allocate stack slot for `link` *)
    val (stack, {offset = linkOffset, ...}) =
       Allocation.Stack.get (stack, Type.exnStack ())
    (* allocate stack slot for `handler` *)
    val (_, {offset = handlerOffset, ...}) =
       Allocation.Stack.get (stack, Type.label (Label.newNoname ()))
    (* align handler args immediately after handler *)
    val handlerArgsOffset =
       Bytes.align
       (Bytes.+ (handlerOffset, Runtime.labelSize ()),
        {alignment = (case !Control.align of
                         Control.Align4 => Bytes.inWord32
                       | Control.Align8 => Bytes.inWord64)})
    (* reset `handlerOffset` to immediately before handler args *)
    val handlerOffset = Bytes.- (handlerArgsOffset, Runtime.labelSize ())

where `stack` was the stack allocation of incoming actual arguments.
Typically, this sequence would allocate after all of the incoming
actual arguments.  However `Allocation.Stack.get` does try to find
"gaps" in an allocation in which to allocate new stack slots, in order
to keep frame sizes small.

An issue arises on 32-bit platforms, when `Type.exnStack()` and
`Type.label` are 32-bits but `Real64` values are 8-byte aligned.  An
RSSA IR function with `Real64` arguments may have 32-bit "gaps" in
order to place the next `Real64` argument on an 8-byte boundary.  In
which case, the above could place the `linkOffset` and (initial)
`handlerOffset` in between actual arguments.  If those offsets were
only used to hold 32-bit values, then there would be no problem.  But,
the `handlerArgsOffset` is computed from `handlerOffset` and in the
previously described scenario, would interfere with actual
arguments (as would the reset `handlerOffset`).

In practice, this may not have caused problems, if the actual
arguments were dead before writing to `handlerOffset` (at the point of
installing an exception handler) or to `handlerArgsOffset` (at the
point of a raise back to this function).  But, it would be flagged as
a Machine IR type error.

The fix is to simply ensure that `handlerOffset` really is placed
after all of the incoming arguments:

    val handlerOffset =
       Type.align (Type.label (Label.newNoname ()), Allocation.Stack.size stack)


  Commit: 04d76908f03d29c323b7579769f71a8a0a95def7
      https://github.com/MLton/mlton/commit/04d76908f03d29c323b7579769f71a8a0a95def7
  Author: Matthew Fluet <Mat...@gm...>
  Date:   2023-11-09 (Thu, 09 Nov 2023)

  Changed paths:
    M mlton/backend/allocate-variables.fun

  Log Message:
  -----------
  Merge pull request #530 from MatthewFluet/allocate-vars-handler-offset-bug

Fix `Backend` bug in allocation of `handlerOffset` and `handlerArgs`


Compare: https://github.com/MLton/mlton/compare/115f6f2c9872...04d76908f03d

  Branch: refs/heads/master
  Home:   https://github.com/MLton/mlton
  Commit: c53bcb1738bc43eab06605fd76845488fbb1aaf8
      https://github.com/MLton/mlton/commit/c53bcb1738bc43eab06605fd76845488fbb1aaf8
  Author: Matthew Fluet <mat...@gm...>
  Date:   2023-11-08 (Wed, 08 Nov 2023)

  Changed paths:
    M mlton/codegen/x86-codegen/x86-generate-transfers.fun

  Log Message:
  -----------
  Fix bug in X86GenerateTransfers introduced by 286a54cc0.

Commit 286a54cc0 introduced a dependency on the declared prototype of
a C function when generating the assembly for a C function call, in
order to properly sign extend 8-bit and 16-bit arguments.

Early in the x86 codegen, Word64 values are converted into pairs of
Word32 values, so a C function call with Word64 values will converted
to a call with pairs of Word32 values for those arguments (increasing
the number of arguments relative to the earlier IRs).  But, no such
translation was made to the C function's prototype, which continued to
use Int64 and Word64 types.  This lead to a `Fail: fold2`
internal-compiler error due to the mismatch in the number of actual
arguments and the number of prototype arguments.

A simple solution is to expand the Int64 and Word64 prototype
arguments to pairs of Word32 arguments (signedness does not matter).


  Commit: 115f6f2c987205d3aff0b941a1fbb89514ac349f
      https://github.com/MLton/mlton/commit/115f6f2c987205d3aff0b941a1fbb89514ac349f
  Author: Matthew Fluet <Mat...@gm...>
  Date:   2023-11-08 (Wed, 08 Nov 2023)

  Changed paths:
    M mlton/codegen/x86-codegen/x86-generate-transfers.fun

  Log Message:
  -----------
  Merge pull request #529 from MatthewFluet/x86-generate-transfers-fold2-bug

Fix bug in X86GenerateTransfers introduced by 286a54cc0.


Compare: https://github.com/MLton/mlton/compare/434c6516ddba...115f6f2c9872

  Branch: refs/heads/master
  Home:   https://github.com/MLton/mlton
  Commit: 155aa7c07f1d4756dfe2850ae50cb1fe9a25f19e
      https://github.com/MLton/mlton/commit/155aa7c07f1d4756dfe2850ae50cb1fe9a25f19e
  Author: murray <mur...@pr...>
  Date:   2023-11-08 (Wed, 08 Nov 2023)

  Changed paths:
    M Makefile

  Log Message:
  -----------
  Fix filenames in bootstrap with polyml/mlkit


  Commit: 434c6516ddba07183d7b0db2b85ec45901b63cd4
      https://github.com/MLton/mlton/commit/434c6516ddba07183d7b0db2b85ec45901b63cd4
  Author: Matthew Fluet <Mat...@gm...>
  Date:   2023-11-08 (Wed, 08 Nov 2023)

  Changed paths:
    M Makefile

  Log Message:
  -----------
  Merge pull request #528 from ii8/master

Fix filenames in bootstrap with polyml/mlkit


Compare: https://github.com/MLton/mlton/compare/2f7f22e75cc8...434c6516ddba

  Branch: refs/heads/master
  Home:   https://github.com/MLton/mlton
  Commit: 8fc267e8deb7e4b6a039068feb7f1659655b828a
      https://github.com/MLton/mlton/commit/8fc267e8deb7e4b6a039068feb7f1659655b828a
  Author: murray <mur...@pr...>
  Date:   2023-11-08 (Wed, 08 Nov 2023)

  Changed paths:
    M README.adoc
    M bin/mlton-script
    M bin/static-library

  Log Message:
  -----------
  Eliminate runtime bash dependency


  Commit: 2f7f22e75cc866a078db4975a1c3147a3938529b
      https://github.com/MLton/mlton/commit/2f7f22e75cc866a078db4975a1c3147a3938529b
  Author: Matthew Fluet <Mat...@gm...>
  Date:   2023-11-08 (Wed, 08 Nov 2023)

  Changed paths:
    M README.adoc
    M bin/mlton-script
    M bin/static-library

  Log Message:
  -----------
  Merge pull request #526 from ii8/master

Eliminate runtime bash dependency


Compare: https://github.com/MLton/mlton/compare/4798107bf98c...2f7f22e75cc8

  Branch: refs/heads/master
  Home:   https://github.com/MLton/mlton
  Commit: 6a3b52097eda3afaa822ae64cd3abe7141d59f94
      https://github.com/MLton/mlton/commit/6a3b52097eda3afaa822ae64cd3abe7141d59f94
  Author: Matthew Fluet <mat...@gm...>
  Date:   2023-11-07 (Tue, 07 Nov 2023)

  Changed paths:
    M mlton/Makefile

  Log Message:
  -----------
  Correct target in generated $(MLTON_OUTPUT_SMLNJ_HEAP).d file

The `ml-makedepend` invocation should use `$(MLTON_OUTPUT_SMLNJ_HEAP)` as the
target, rather than `$@` (which corresponds to `$(MLTON_OUTPUT_SMLNJ_HEAP).d`).


  Commit: 4798107bf98c4eb325bf58becb34279a6364e704
      https://github.com/MLton/mlton/commit/4798107bf98c4eb325bf58becb34279a6364e704
  Author: Matthew Fluet <Mat...@gm...>
  Date:   2023-11-07 (Tue, 07 Nov 2023)

  Changed paths:
    M mlton/Makefile

  Log Message:
  -----------
  Merge pull request #527 from MatthewFluet/smlnj-heap-deps

Correct target in generated $(MLTON_OUTPUT_SMLNJ_HEAP).d file


Compare: https://github.com/MLton/mlton/compare/f8b1d3ef924a...4798107bf98c

  Branch: refs/heads/master
  Home:   https://github.com/MLton/mlton
  Commit: b9cebc6eab9e3531731aef5665682609b2910c62
      https://github.com/MLton/mlton/commit/b9cebc6eab9e3531731aef5665682609b2910c62
  Author: Matthew Fluet <mat...@gm...>
  Date:   2023-11-07 (Tue, 07 Nov 2023)

  Changed paths:
    M lib/stubs/smlnj/basis/sources.cm

  Log Message:
  -----------
  Use "fixed" `structure Real64` with recent versions of SML/NJ

Closes MLton/mlton#523

Although SML/NJ 110.99.3 fixed some issues with `structure Real{,64}`
failing to match the SML Basis Library specification, it did not
implement `Real.fmt StringCvt.EXACT`.  So, a "fixed" version of
`structure Real64` needs to be exported (rather than exposing the
version of `structure Real64` from `$/basis.cm`) and it is simplest to
revert back to `structure Real64 = Real`
(where `structure Real = FixReal(struct open Pervasive.Real end)`).


  Commit: f8b1d3ef924aafb25eceab554de49cac47967abb
      https://github.com/MLton/mlton/commit/f8b1d3ef924aafb25eceab554de49cac47967abb
  Author: Matthew Fluet <Mat...@gm...>
  Date:   2023-11-07 (Tue, 07 Nov 2023)

  Changed paths:
    M lib/stubs/smlnj/basis/sources.cm

  Log Message:
  -----------
  Merge pull request #525 from MatthewFluet/smlnj-real64-fmt-exact

Use "fixed" `structure Real64` with recent versions of SML/NJ


Compare: https://github.com/MLton/mlton/compare/38eb9de9b006...f8b1d3ef924a

  Branch: refs/heads/master
  Home:   https://github.com/MLton/mlton
  Commit: e9dd50581587e1deb07bb59f76a00abe63302f0a
      https://github.com/MLton/mlton/commit/e9dd50581587e1deb07bb59f76a00abe63302f0a
  Author: murray <mur...@pr...>
  Date:   2023-11-05 (Sun, 05 Nov 2023)

  Changed paths:
    M runtime/platform/linux.h

  Log Message:
  -----------
  Fix build on non-glibc 32 bit architectures

platform/linux: `__suseconds_t_defined` is not portable across libcs
and should only be checked on glibc.


  Commit: 38eb9de9b00623df0bb4df1aa47ed1a2c0abb9b8
      https://github.com/MLton/mlton/commit/38eb9de9b00623df0bb4df1aa47ed1a2c0abb9b8
  Author: Matthew Fluet <Mat...@gm...>
  Date:   2023-11-06 (Mon, 06 Nov 2023)

  Changed paths:
    M runtime/platform/linux.h

  Log Message:
  -----------
  Merge pull request #524 from ii8/master

Fix build on non-glibc 32 bit architectures


Compare: https://github.com/MLton/mlton/compare/537750af9dfe...38eb9de9b006

  Branch: refs/heads/master
  Home:   https://github.com/MLton/mlton
  Commit: baf3efae76fdd643636e25f1ab88dcdbcdaec79a
      https://github.com/MLton/mlton/commit/baf3efae76fdd643636e25f1ab88dcdbcdaec79a
  Author: Matthew Fluet <mat...@gm...>
  Date:   2023-11-01 (Wed, 01 Nov 2023)

  Changed paths:
    M README.adoc

  Log Message:
  -----------
  Remove mentions of lexer/parser tools from build requirements


  Commit: e4e5e19136da5baa38780f757263bbb6586bc957
      https://github.com/MLton/mlton/commit/e4e5e19136da5baa38780f757263bbb6586bc957
  Author: Matthew Fluet <mat...@gm...>
  Date:   2023-11-01 (Wed, 01 Nov 2023)

  Changed paths:
    M README.adoc

  Log Message:
  -----------
  Add Poly/ML and MLKit to bootstrap options


  Commit: 0d7e31a17141b51fc5b86756d766f16a98f5354b
      https://github.com/MLton/mlton/commit/0d7e31a17141b51fc5b86756d766f16a98f5354b
  Author: Matthew Fluet <mat...@gm...>
  Date:   2023-11-01 (Wed, 01 Nov 2023)

  Changed paths:
    M README.adoc

  Log Message:
  -----------
  Remove `xargs` from misc. Unix utilities in build requirements


  Commit: 2a0df24ffef6b388e2ae28203f2854433dcba233
      https://github.com/MLton/mlton/commit/2a0df24ffef6b388e2ae28203f2854433dcba233
  Author: Matthew Fluet <mat...@gm...>
  Date:   2023-11-01 (Wed, 01 Nov 2023)

  Changed paths:
    M Makefile.config

  Log Message:
  -----------
  Remove unused `POLYML_POLY` variable from `Makefile.config`


  Commit: bcfeeaea38decef2eac0d8946435d29f6b565d4e
      https://github.com/MLton/mlton/commit/bcfeeaea38decef2eac0d8946435d29f6b565d4e
  Author: Matthew Fluet <mat...@gm...>
  Date:   2023-11-01 (Wed, 01 Nov 2023)

  Changed paths:
    M Makefile.config
    M mlton/Makefile

  Log Message:
  -----------
  Rename `POLYML_POLYC` variable to `POLYC` in `Makefile`s


  Commit: 537750af9dfe0f4dc3f53a5a22a3c113f5334ad7
      https://github.com/MLton/mlton/commit/537750af9dfe0f4dc3f53a5a22a3c113f5334ad7
  Author: Matthew Fluet <Mat...@gm...>
  Date:   2023-11-01 (Wed, 01 Nov 2023)

  Changed paths:
    M Makefile.config
    M README.adoc
    M mlton/Makefile

  Log Message:
  -----------
  Merge pull request #521 from MatthewFluet/build-reqs

Update Build requirements documentation


Compare: https://github.com/MLton/mlton/compare/326fb7c50cfc...537750af9dfe

  Branch: refs/heads/master
  Home:   https://github.com/MLton/mlton
  Commit: 902a84bfb47eff2bfa336d1ddbdaa148da8516fa
      https://github.com/MLton/mlton/commit/902a84bfb47eff2bfa336d1ddbdaa148da8516fa
  Author: Matthew Fluet <mat...@gm...>
  Date:   2023-10-31 (Tue, 31 Oct 2023)

  Changed paths:
    M mlton/Makefile

  Log Message:
  -----------
  Add $(MLTON_GEN_SOURCES) as dependency of $(MLTON_OUTPUT_SMLNJ_HEAP).d

Closes MLton/mlton#519

SML/NJ CM, indirectly through the `ml-makedepend` tool, requires all source
files mentioned in scanned `.cm` files to exist.  Ensure that the generated
source files (e.g., `../lib/stubs/mlton-stubs/pre-mlton.sml`,
`control/version.sml`, and `front-end/*`) exist before trying to generate
$(MLTON_OUTPUT_SMLNJ_HEAP).d.


  Commit: 326fb7c50cfc9532473910f872d20e9afc33b1e0
      https://github.com/MLton/mlton/commit/326fb7c50cfc9532473910f872d20e9afc33b1e0
  Author: Matthew Fluet <Mat...@gm...>
  Date:   2023-10-31 (Tue, 31 Oct 2023)

  Changed paths:
    M mlton/Makefile

  Log Message:
  -----------
  Merge pull request #520 from MatthewFluet/smlnj-build-updates

Add $(MLTON_GEN_SOURCES) as dependency of $(MLTON_OUTPUT_SMLNJ_HEAP).d


Compare: https://github.com/MLton/mlton/compare/92137753df8c...326fb7c50cfc

  Branch: refs/heads/master
  Home:   https://github.com/MLton/mlton
  Commit: 2903750a4c340fe8ca4a8447fb862281338e26d5
      https://github.com/MLton/mlton/commit/2903750a4c340fe8ca4a8447fb862281338e26d5
  Author: Matthew Fluet <mat...@gm...>
  Date:   2023-08-31 (Thu, 31 Aug 2023)

  Changed paths:
    M CHANGELOG.adoc
    M mlton/codegen/amd64-codegen/amd64-allocate-registers.fun
    M mlton/codegen/x86-codegen/x86-allocate-registers.fun

  Log Message:
  -----------
  Fix `RegisterAllocation.toAddressMemLoc:disp` internal compiler error

Fix bug in x86 and amd64 native codegens leading to an internal compiler
error (`Fail: amd64AllocateRegisters.RegisterAllocation.toAddressMemLoc:disp`).

Thanks to Darin Minamoto (DarinM223) for the bug report.

Closes MLton/mlton#509


  Commit: 92137753df8c003e0628bf10a676eef492fe47b3
      https://github.com/MLton/mlton/commit/92137753df8c003e0628bf10a676eef492fe47b3
  Author: Matthew Fluet <Mat...@gm...>
  Date:   2023-08-31 (Thu, 31 Aug 2023)

  Changed paths:
    M CHANGELOG.adoc
    M mlton/codegen/amd64-codegen/amd64-allocate-registers.fun
    M mlton/codegen/x86-codegen/x86-allocate-registers.fun

  Log Message:
  -----------
  Merge pull request #511 from MatthewFluet/toAddressMemLoc-disp-bug

Fix `RegisterAllocation.toAddressMemLoc:disp` internal compiler error


Compare: https://github.com/MLton/mlton/compare/99b0643fffa5...92137753df8c

  Branch: refs/heads/master
  Home:   https://github.com/MLton/mlton
  Commit: d45f8ea6a2f4041293851140591e065d2c631e19
      https://github.com/MLton/mlton/commit/d45f8ea6a2f4041293851140591e065d2c631e19
  Author: Matthew Fluet <mat...@gm...>
  Date:   2023-07-28 (Fri, 28 Jul 2023)

  Changed paths:
    M bin/regression

  Log Message:
  -----------
  Skip `date-localOffset` regression on MinGW


  Commit: 99b0643fffa5da350a3c097d2e86b4a9aa2c2f0a
      https://github.com/MLton/mlton/commit/99b0643fffa5da350a3c097d2e86b4a9aa2c2f0a
  Author: Matthew Fluet <Mat...@gm...>
  Date:   2023-07-28 (Fri, 28 Jul 2023)

  Changed paths:
    M bin/regression

  Log Message:
  -----------
  Merge pull request #507 from MatthewFluet/mingw-regression-whitelist

Skip `date-localOffset` regression on MinGW


Compare: https://github.com/MLton/mlton/compare/37975964a3e9...99b0643fffa5

  Branch: refs/heads/master
  Home:   https://github.com/MLton/mlton
  Commit: 2d216660903906154d7a9f64516dea35eea7d14a
      https://github.com/MLton/mlton/commit/2d216660903906154d7a9f64516dea35eea7d14a
  Author: Matthew Fluet <mat...@gm...>
  Date:   2023-07-28 (Fri, 28 Jul 2023)

  Changed paths:
    M .github/workflows/ci.yml

  Log Message:
  -----------
  Exclude symlinks in `mlton-20200817-amd64-mingw.tgz` in CI


  Commit: 5a8f337bcd3f99363455eddee44b260313953ad4
      https://github.com/MLton/mlton/commit/5a8f337bcd3f99363455eddee44b260313953ad4
  Author: Matthew Fluet <mat...@gm...>
  Date:   2023-07-28 (Fri, 28 Jul 2023)

  Changed paths:
    M .github/workflows/ci.yml

  Log Message:
  -----------
  Exclude `*/share` from archives used for bootstrapping in CI


  Commit: 37975964a3e93163e2013421bd592750be735532
      https://github.com/MLton/mlton/commit/37975964a3e93163e2013421bd592750be735532
  Author: Matthew Fluet <Mat...@gm...>
  Date:   2023-07-28 (Fri, 28 Jul 2023)

  Changed paths:
    M .github/workflows/ci.yml

  Log Message:
  -----------
  Merge pull request #506 from MatthewFluet/ci-updates

CI Updates


Compare: https://github.com/MLton/mlton/compare/f291d2a33fc1...37975964a3e9

  Branch: refs/heads/master
  Home:   https://github.com/MLton/mlton
  Commit: 179bdbfe4cb4a1c79aeb2fc14a1a2de02374cc37
      https://github.com/MLton/mlton/commit/179bdbfe4cb4a1c79aeb2fc14a1a2de02374cc37
  Author: Matthew Fluet <mat...@gm...>
  Date:   2023-07-28 (Fri, 28 Jul 2023)

  Changed paths:
    M basis-library/system/date.sml

  Log Message:
  -----------
  Change `Date.localOffset` to calculate at each call

This makes `Date.localOffset` sensitive to changes in `TZ` environment
variable during execution of the program.


  Commit: f4181b0db093a77ffd85a3876a9aaca50238591c
      https://github.com/MLton/mlton/commit/f4181b0db093a77ffd85a3876a9aaca50238591c
  Author: Matthew Fluet <mat...@gm...>
  Date:   2023-07-28 (Fri, 28 Jul 2023)

  Changed paths:
    A regression/date-localOffset.ok
    A regression/date-localOffset.sml

  Log Message:
  -----------
  Add `date-localOffset` regression test

The `date-localOffset` regression test demonstrates a bug in
`Date.localOffset` for time zones east of prime meridian.


  Commit: 86ca9710eb3a8be7cc00e619cd34dc26483248e5
      https://github.com/MLton/mlton/commit/86ca9710eb3a8be7cc00e619cd34dc26483248e5
  Author: Matthew Fluet <mat...@gm...>
  Date:   2023-07-28 (Fri, 28 Jul 2023)

  Changed paths:
    M CHANGELOG.adoc
    M basis-library/system/date.sml

  Log Message:
  -----------
  Fix bug in `Date.localOffset` for time zones east of prime meridian

Thanks to Arata Mizuki (minoki) for the bug report and suggested fix.


  Commit: f291d2a33fc10bb5533adedda6b48a7921404388
      https://github.com/MLton/mlton/commit/f291d2a33fc10bb5533adedda6b48a7921404388
  Author: Matthew Fluet <Mat...@gm...>
  Date:   2023-07-28 (Fri, 28 Jul 2023)

  Changed paths:
    M CHANGELOG.adoc
    M basis-library/system/date.sml
    A regression/date-localOffset.ok
    A regression/date-localOffset.sml

  Log Message:
  -----------
  Merge pull request #505 from MatthewFluet/date-localOffset-fix

Fix `Date.localOffset` for time zones east of prime meridian


Compare: https://github.com/MLton/mlton/compare/63666ac8ab65...f291d2a33fc1

  Branch: refs/heads/master
  Home:   https://github.com/MLton/mlton
  Commit: 0fcd30684059763a6e2e841360caed73f1cc9a34
      https://github.com/MLton/mlton/commit/0fcd30684059763a6e2e841360caed73f1cc9a34
  Author: barracuda156 <vit...@gm...>
  Date:   2023-07-17 (Mon, 17 Jul 2023)

  Changed paths:
    M bin/mlton-script
    M bin/platform

  Log Message:
  -----------
  mlton-script: support powerpc-darwin


  Commit: 63666ac8ab65da81b9ec9595e7053d26e0682f51
      https://github.com/MLton/mlton/commit/63666ac8ab65da81b9ec9595e7053d26e0682f51
  Author: Matthew Fluet <Mat...@gm...>
  Date:   2023-07-20 (Thu, 20 Jul 2023)

  Changed paths:
    M bin/mlton-script
    M bin/platform

  Log Message:
  -----------
  Merge pull request #500 from barracuda156/ppc

mlton-script: support powerpc-darwin


Compare: https://github.com/MLton/mlton/compare/f0c004970986...63666ac8ab65

  Branch: refs/heads/master
  Home:   https://github.com/MLton/mlton
  Commit: f57bac7df5839cb37a7d3707b8d82bae69920f35
      https://github.com/MLton/mlton/commit/f57bac7df5839cb37a7d3707b8d82bae69920f35
  Author: Matthew Fluet <mat...@gm...>
  Date:   2023-06-05 (Mon, 05 Jun 2023)

  Changed paths:
    M mlton/backend/backend.fun
    M mlton/backend/machine.fun
    M mlton/backend/machine.sig
    M runtime/gc/frame.h
    M runtime/gc/profiling.c

  Log Message:
  -----------
  Extend `Machine.FrameInfo.Kind` and `GC_frameKind`

Split `ML_FRAME` into `{CONT,FUNC,HANDLER}_FRAME` kinds and rename
`C_FRAME` to `CRETURN_FRAME` kind.


  Commit: f0c004970986a2ac68dd4ac9426eefc75f3748a1
      https://github.com/MLton/mlton/commit/f0c004970986a2ac68dd4ac9426eefc75f3748a1
  Author: Matthew Fluet <Mat...@gm...>
  Date:   2023-06-05 (Mon, 05 Jun 2023)

  Changed paths:
    M mlton/backend/backend.fun
    M mlton/backend/machine.fun
    M mlton/backend/machine.sig
    M runtime/gc/frame.h
    M runtime/gc/profiling.c

  Log Message:
  -----------
  Merge pull request #496 from MatthewFluet/refactor_frames

Extend `Machine.FrameInfo.Kind` and `GC_frameKind`


Compare: https://github.com/MLton/mlton/compare/03ccbe8b5f68...f0c004970986

  Branch: refs/heads/master
  Home:   https://github.com/MLton/mlton
  Commit: 4b9dc3117506de527bc0d80526449ac3405ab28d
      https://github.com/MLton/mlton/commit/4b9dc3117506de527bc0d80526449ac3405ab28d
  Author: Matthew Fluet <mat...@gm...>
  Date:   2023-05-29 (Mon, 29 May 2023)

  Changed paths:
    A regression/word-scan.ok
    A regression/word-scan.sml

  Log Message:
  -----------
  Add word-scan regression test, demonstrating bugs in `Word.scan`

Thanks to minoki (arata, mizuki) for the bug report; see
https://github.com/MLton/mlton/issues/494.


  Commit: 79e30ab062a9d42d5dfadad6f5d10124ca067618
      https://github.com/MLton/mlton/commit/79e30ab062a9d42d5dfadad6f5d10124ca067618
  Author: Matthew Fluet <mat...@gm...>
  Date:   2023-05-29 (Mon, 29 May 2023)

  Changed paths:
    M CHANGELOG.adoc
    M basis-library/integer/word.sml

  Log Message:
  -----------
  Fix bugs in `WORD.scan`.

When `0` is followed by `w` or `x` or `wx` but not by more digits,
then should return 0w0 and the scan state following the `0`.

Closes MLton/mlton#494.


  Commit: 03ccbe8b5f6848c372eb16976f314c05460d4678
      https://github.com/MLton/mlton/commit/03ccbe8b5f6848c372eb16976f314c05460d4678
  Author: Matthew Fluet <Mat...@gm...>
  Date:   2023-05-29 (Mon, 29 May 2023)

  Changed paths:
    M CHANGELOG.adoc
    M basis-library/integer/word.sml
    A regression/word-scan.ok
    A regression/word-scan.sml

  Log Message:
  -----------
  Merge pull request #495 from MatthewFluet/word-scan-bug

Fix bugs in `WORD.scan`


Compare: https://github.com/MLton/mlton/compare/1c1cc128c121...03ccbe8b5f68

  Branch: refs/heads/master
  Home:   https://github.com/MLton/mlton
  Commit: fa668fa758a95db662a480f8d694ffc4fbe9062e
      https://github.com/MLton/mlton/commit/fa668fa758a95db662a480f8d694ffc4fbe9062e
  Author: Matthew Fluet <mat...@gm...>
  Date:   2023-05-26 (Fri, 26 May 2023)

  Changed paths:
    M LICENSE

  Log Message:
  -----------
  Update Copyright year in LICENSE


  Commit: c81a942cd3374391b5cd7f588636efa376ba5161
      https://github.com/MLton/mlton/commit/c81a942cd3374391b5cd7f588636efa376ba5161
  Author: Matthew Fluet <mat...@gm...>
  Date:   2023-05-26 (Fri, 26 May 2023)

  Changed paths:
    M mlton/ssa/ssa-tree2.fun

  Log Message:
  -----------
  Fix file names for SSA2 dot output


  Commit: 1c1cc128c121b066f4a803ab7e4d85b2168e41ae
      https://github.com/MLton/mlton/commit/1c1cc128c121b066f4a803ab7e4d85b2168e41ae
  Author: Matthew Fluet <Mat...@gm...>
  Date:   2023-05-26 (Fri, 26 May 2023)

  Changed paths:
    M LICENSE
    M mlton/ssa/ssa-tree2.fun

  Log Message:
  -----------
  Merge pull request #493 from MatthewFluet/misc-updates

Misc updates


Compare: https://github.com/MLton/mlton/compare/bbd0222b1dc7...1c1cc128c121

  Branch: refs/heads/master
  Home:   https://github.com/MLton/mlton
  Commit: e4d6d0b69afda41da49f021a245718e584e4a883
      https://github.com/MLton/mlton/commit/e4d6d0b69afda41da49f021a245718e584e4a883
  Author: Matthew Fluet <mat...@gm...>
  Date:   2023-05-26 (Fri, 26 May 2023)

  Changed paths:
    M CHANGELOG.adoc
    M doc/guide/src/CKitLibrary.adoc
    M doc/guide/src/MLLPTLibrary.adoc
    M doc/guide/src/MLRISCLibrary.adoc
    M doc/guide/src/SMLNJLibrary.adoc
    M lib/ckit-lib/ckit.tgz
    M lib/mllpt-lib/ml-lpt.tgz
    M lib/mlrisc-lib/MLRISC.tgz
    M lib/smlnj-lib/smlnj-lib.patch
    M lib/smlnj-lib/smlnj-lib.tgz

  Log Message:
  -----------
  Update to SML/NJ 110.99.3 libraries


  Commit: 3622101779bb119966d6b3180b3bedc4b7d430c9
      https://github.com/MLton/mlton/commit/3622101779bb119966d6b3180b3bedc4b7d430c9
  Author: Matthew Fluet <mat...@gm...>
  Date:   2023-05-26 (Fri, 26 May 2023)

  Changed paths:
    A lib/stubs/smlnj/basis/real.0.sml
    A lib/stubs/smlnj/basis/real.1.sml
    R lib/stubs/smlnj/basis/real.sml
    M lib/stubs/smlnj/basis/sources.cm
    M mlton/Makefile

  Log Message:
  -----------
  Update to build with SML/NJ 110.99.3


  Commit: bbd0222b1dc74f28a2730737f420b12d1595798a
      https://github.com/MLton/mlton/commit/bbd0222b1dc74f28a2730737f420b12d1595798a
  Author: Matthew Fluet <Mat...@gm...>
  Date:   2023-05-26 (Fri, 26 May 2023)

  Changed paths:
    M CHANGELOG.adoc
    M doc/guide/src/CKitLibrary.adoc
    M doc/guide/src/MLLPTLibrary.adoc
    M doc/guide/src/MLRISCLibrary.adoc
    M doc/guide/src/SMLNJLibrary.adoc
    M lib/ckit-lib/ckit.tgz
    M lib/mllpt-lib/ml-lpt.tgz
    M lib/mlrisc-lib/MLRISC.tgz
    M lib/smlnj-lib/smlnj-lib.patch
    M lib/smlnj-lib/smlnj-lib.tgz
    A lib/stubs/smlnj/basis/real.0.sml
    A lib/stubs/smlnj/basis/real.1.sml
    R lib/stubs/smlnj/basis/real.sml
    M lib/stubs/smlnj/basis/sources.cm
    M mlton/Makefile

  Log Message:
  -----------
  Merge pull request #492 from MatthewFluet/smlnj-updates

SML/NJ updates


Compare: https://github.com/MLton/mlton/compare/d082c4a36110...bbd0222b1dc7

  Branch: refs/heads/master
  Home:   https://github.com/MLton/mlton
  Commit: 33d90549e0fb8fa030b46c63266c34db9a558f48
      https://github.com/MLton/mlton/commit/33d90549e0fb8fa030b46c63266c34db9a558f48
  Author: Matthew Fluet <mat...@gm...>
  Date:   2023-05-22 (Mon, 22 May 2023)

  Changed paths:
    M bin/mlton-script
    M doc/guide/src/LLVMCodegen.adoc

  Log Message:
  -----------
  Adapt default `-llvm-opt-opt` options to LLVM's New Pass Manager

As of LLVM 13.0, must invoke:

  opt --passes=function(mem2reg),default<O2>

rather than

  opt -mem2reg -O2

See https://llvm.org/docs/NewPassManager.html#invoking-opt.


  Commit: d082c4a36110321b00dc099858bb640c4d2d2c24
      https://github.com/MLton/mlton/commit/d082c4a36110321b00dc099858bb640c4d2d2c24
  Author: Matthew Fluet <Mat...@gm...>
  Date:   2023-05-23 (Tue, 23 May 2023)

  Changed paths:
    M bin/mlton-script
    M doc/guide/src/LLVMCodegen.adoc

  Log Message:
  -----------
  Merge pull request #491 from MatthewFluet/llvm-codegen-updates

Adapt to LLVM's New Pass Manager


Compare: https://github.com/MLton/mlton/compare/ebf477b36e6a...d082c4a36110

  Branch: refs/heads/master
  Home:   https://github.com/MLton/mlton
  Commit: 1996e3b21335801d552ccbd81e7815cb2b3bf7be
      https://github.com/MLton/mlton/commit/1996e3b21335801d552ccbd81e7815cb2b3bf7be
  Author: Matthew Fluet <mat...@gm...>
  Date:   2023-05-22 (Mon, 22 May 2023)

  Changed paths:
    M .github/workflows/ci.yml

  Log Message:
  -----------
  Install mlton from GitHub release for all GitHub CI OSes

ubuntu-latest (Ubuntu 22.04) does not include MLton


  Commit: fc8c1242ae091972ac0f6df616f27eb68199a1df
      https://github.com/MLton/mlton/commit/fc8c1242ae091972ac0f6df616f27eb68199a1df
  Author: Matthew Fluet <mat...@gm...>
  Date:   2023-05-22 (Mon, 22 May 2023)

  Changed paths:
    M .github/workflows/ci.yml

  Log Message:
  -----------
  Experiment with `pacboy` for Windows/MSYS2 CI


  Commit: ebf477b36e6a1b79aafe1ae349cf67ad0b4822df
      https://github.com/MLton/mlton/commit/ebf477b36e6a1b79aafe1ae349cf67ad0b4822df
  Author: Matthew Fluet <Mat...@gm...>
  Date:   2023-05-22 (Mon, 22 May 2023)

  Changed paths:
    M .github/workflows/ci.yml

  Log Message:
  -----------
  Merge pull request #490 from MatthewFluet/ci-updates

CI updates


Compare: https://github.com/MLton/mlton/compare/082087f7f820...ebf477b36e6a

  Branch: refs/heads/master
  Home:   https://github.com/MLton/mltonlib
  Commit: 92095e1fd1f05021071bbd7d5d50d2f828786725
      https://github.com/MLton/mltonlib/commit/92095e1fd1f05021071bbd7d5d50d2f828786725
  Author: Ariel Davis <ari...@ic...>
  Date:   2023-04-03 (Mon, 03 Apr 2023)

  Changed paths:
    M com/ssh/extended-basis/unstable/detail/bootstrap.sml

  Log Message:
  -----------
  Replace abstype with datatype


  Commit: c79683d8cb8a5ce76a79d165fae76cb4ac767f2c
      https://github.com/MLton/mltonlib/commit/c79683d8cb8a5ce76a79d165fae76cb4ac767f2c
  Author: Matthew Fluet <Mat...@gm...>
  Date:   2023-04-03 (Mon, 03 Apr 2023)

  Changed paths:
    M com/ssh/extended-basis/unstable/detail/bootstrap.sml

  Log Message:
  -----------
  Merge pull request #5 from azdavis/no-abstype

Replace abstype with datatype


Compare: https://github.com/MLton/mltonlib/compare/cad7f2693a7e...c79683d8cb8a

  Branch: refs/heads/master
  Home:   https://github.com/MLton/mltonlib
  Commit: 9e919a070772f51ff7c380ba142775c334c2424a
      https://github.com/MLton/mltonlib/commit/9e919a070772f51ff7c380ba142775c334c2424a
  Author: Ariel Davis <ari...@ic...>
  Date:   2023-04-03 (Mon, 03 Apr 2023)

  Changed paths:
    M com/ssh/extended-basis/unstable/public/debug/contract.sig
    M com/ssh/extended-basis/unstable/public/lazy/lazy.sig
    M com/ssh/generic/unstable/README
    M org/mlton/vesak/tech/generics/lgd.sml
    M org/mlton/vesak/tech/generics/syb.sml
    M org/mlton/vesak/toys/simplify/bench.sml

  Log Message:
  -----------
  Use UTF-8


  Commit: cad7f2693a7ed2d6d76931ebc0d97ad487e4be34
      https://github.com/MLton/mltonlib/commit/cad7f2693a7ed2d6d76931ebc0d97ad487e4be34
  Author: Matthew Fluet <Mat...@gm...>
  Date:   2023-04-03 (Mon, 03 Apr 2023)

  Changed paths:
    M com/ssh/extended-basis/unstable/public/debug/contract.sig
    M com/ssh/extended-basis/unstable/public/lazy/lazy.sig
    M com/ssh/generic/unstable/README
    M org/mlton/vesak/tech/generics/lgd.sml
    M org/mlton/vesak/tech/generics/syb.sml
    M org/mlton/vesak/toys/simplify/bench.sml

  Log Message:
  -----------
  Merge pull request #4 from azdavis/master

Use UTF-8


Compare: https://github.com/MLton/mltonlib/compare/3aa0be582203...cad7f2693a7e

  Branch: refs/heads/master
  Home:   https://github.com/MLton/mlton
  Commit: 533fcdafac57974facf84fd2e407de3807416030
      https://github.com/MLton/mlton/commit/533fcdafac57974facf84fd2e407de3807416030
  Author: Matthew Fluet <mat...@gm...>
  Date:   2022-11-16 (Wed, 16 Nov 2022)

  Changed paths:
    M CHANGELOG.adoc
    M runtime/gc/sequence.c

  Log Message:
  -----------
  Fix bug in `GC_sequenceCopy` failing to update card map

Thanks to Chris Cannam for the bug report and debugging.


  Commit: 9b7bf9be3b68c67c320843312b691ccadc4c5940
      https://github.com/MLton/mlton/commit/9b7bf9be3b68c67c320843312b691ccadc4c5940
  Author: Matthew Fluet <mat...@gm...>
  Date:   2022-11-16 (Wed, 16 Nov 2022)

  Changed paths:
    M runtime/gc/invariant.c

  Log Message:
  -----------
  Update comment regarding disabled check

Both stacks and sequences mark the card containing the beginning of the object,
but intergenerational pointers may be found in the object at addresses
corresponding to subsequent cards.


  Commit: 082087f7f82021a5a84eac0a593b98ba7b16f7fe
      https://github.com/MLton/mlton/commit/082087f7f82021a5a84eac0a593b98ba7b16f7fe
  Author: Matthew Fluet <Mat...@gm...>
  Date:   2022-11-16 (Wed, 16 Nov 2022)

  Changed paths:
    M CHANGELOG.adoc
    M runtime/gc/invariant.c
    M runtime/gc/sequence.c

  Log Message:
  -----------
  Merge pull request #487 from MatthewFluet/sequence-copy-card-mark

Fix bug in GC_sequenceCopy failing to update card map


Compare: https://github.com/MLton/mlton/compare/d6080abbacfd...082087f7f820