Re: [MLton] MLton 20200722 release

--===============7106738048509289019==
Content-Type: multipart/alternative; boundary="000000000000d7933d05ab201749"

--000000000000d7933d05ab201749
Content-Type: text/plain; charset="UTF-8"

Oops, cut and paste error; should be:

... available at http://mlton.org/Release20200722 (and
https://github.com/MLton/mlton/releases/tag/on-20200722-release).

On Thu, Jul 23, 2020 at 1:54 PM Matthew Fluet <[email protected]>
wrote:

> I'm pleased to announce a new release of MLton, the whole-program
> optimizing compiler for Standard ML, available at
> http://mlton.org/Release20180207 (and
> https://github.com/MLton/mlton/releases/tag/on-20200722-release).
>
> * Compiler.
>   * Added expert `-pi-style {default|npi|pic|pie}` and `-native-pic
> {false|true}` options, which can be used to override a target-determined
> default.
>   * Fix a number of instances of excessive live data during compilation.
>   * Disable `Zone` SSA optimization pass by default; the `Zone` pass is
> known to not be safe-for-space.
>   * Statically allocate and initialize some global objects.
>   * Many updates and improvements to C and LLVM codegens.
>   * Add new `BounceVars` RSSA optimization pass to split the live ranges
> of RSSA variables.
>   * Improve `RssaShrink` optimization.
>   * Add support for alternate globalization strategies in
> `ConstantPropagation`.
>   * Strengthen `Useless` optimization with respect to a number of
> primitives.
>   * Add new `DuplicateGlobals` and `SplitTypes` SSA optimization passes.
>   * Introduce new `Overflow`-checking primitives and remove old
> `Overflow`-checking primitives and special-case code required (e.g.,
> `Arith` transfers in IRs) to support them.
>   * Add parsers for XML, SXML, SSA, and SSA2 IRs.
> * Runtime.
>   * Detect and report incompatible use of ASLR/PIE on `load-world`.
>   * Added support for RISC-V architecture.
> * Language.
> * Libraries.
>   * Basis Library.
>     * Change `OS.IO.poll` to not be restarted when interrupted by a
> signal.  (This is consistent with `Socket.select`.)
>     * Add `MLton.sizeAll: unit -> IntInf.int` that returns the size of
> reachable live data.
>     * Change type of `MLton.size` from `'a -> int` to `'a -> IntInf.int`,
> because with 64-bit systems, the size of a single object can exceed that
> representable by a signed 32-bit integer.
>   * Other libraries.
>     * Updated: ckit library, MLLPT library, MLRISC library, SML/NJ library
> * Tools.
> * Other.
>   * Updates to simplify porting MLton.
>   * Support parallel build (i.e., `make -j`).  This mainly supports
> platforms/packagers that use a parallel `make` by default; it does not
> obtain significant build speedups.
>   * Various updates to `Makefile`s.  See `Makefile.config` for common and
> user-customizable configuration.
>   * Characterize MLton-LICENSE as an instance of the Historical Permission
> Notice and Disclaimer (HPND) license, rather than BSD-style.
>
> Binary packages for amd64-linux and amd64-darwin are currently available
> from the release page (and are the platforms tested).  Additional binary
> packages will be made available as they are contributed by users.  We'd
> like to encourage downstream maintainers for the various Linux and *BSD
> distributions to update to the new release.
>
>

--000000000000d7933d05ab201749
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div dir=3D"ltr"><div class=3D"gmail_default" style=3D"fon=
t-family:courier new,monospace;font-size:large">Oops, cut and paste error; =
should be:</div><div class=3D"gmail_default" style=3D"font-family:courier n=
ew,monospace;font-size:large"><br></div><div class=3D"gmail_default" style=
=3D"font-family:courier new,monospace;font-size:large">... available at <a =
href=3D"http://mlton.org/Release20200722">http://mlton.org/Release20200722<=
/a> (and <a href=3D"https://github.com/MLton/mlton/releases/tag/on-20200722=
-release">https://github.com/MLton/mlton/releases/tag/on-20200722-release</=
a>).<br></div></div><br><div class=3D"gmail_quote"><div dir=3D"ltr" class=
=3D"gmail_attr">On Thu, Jul 23, 2020 at 1:54 PM Matthew Fluet &lt;<a href=
=3D"mailto:[email protected]">[email protected]</a>&gt; wrote:<=
br></div><blockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8e=
x;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir=3D"ltr"=
><div style=3D"font-family:&quot;courier new&quot;,monospace;font-size:larg=
e">I&#39;m pleased to announce a new release of MLton, the whole-program op=
timizing compiler for Standard ML, available at <a href=3D"http://mlton.org=
/Release20180207" target=3D"_blank">http://mlton.org/Release20180207</a> (a=
nd <a href=3D"https://github.com/MLton/mlton/releases/tag/on-20200722-relea=
se" target=3D"_blank">https://github.com/MLton/mlton/releases/tag/on-202007=
22-release</a>).<br></div><div style=3D"font-family:&quot;courier new&quot;=
,monospace;font-size:large"><br></div><div style=3D"font-family:&quot;couri=
er new&quot;,monospace;font-size:large">* Compiler.<br>=C2=A0 * Added exper=
t `-pi-style {default|npi|pic|pie}` and `-native-pic {false|true}` options,=
 which can be used to override a target-determined default.<br>=C2=A0 * Fix=
 a number of instances of excessive live data during compilation.<br>=C2=A0=
 * Disable `Zone` SSA optimization pass by default; the `Zone` pass is know=
n to not be safe-for-space.<br>=C2=A0 * Statically allocate and initialize =
some global objects.<br>=C2=A0 * Many updates and improvements to C and LLV=
M codegens.<br>=C2=A0 * Add new `BounceVars` RSSA optimization pass to spli=
t the live ranges of RSSA variables.<br>=C2=A0 * Improve `RssaShrink` optim=
ization.<br>=C2=A0 * Add support for alternate globalization strategies in =
`ConstantPropagation`.<br>=C2=A0 * Strengthen `Useless` optimization with r=
espect to a number of primitives.<br>=C2=A0 * Add new `DuplicateGlobals` an=
d `SplitTypes` SSA optimization passes.<br>=C2=A0 * Introduce new `Overflow=
`-checking primitives and remove old `Overflow`-checking primitives and spe=
cial-case code required (e.g., `Arith` transfers in IRs) to support them.<b=
r>=C2=A0 * Add parsers for XML, SXML, SSA, and SSA2 IRs.<br>* Runtime.<br>=
=C2=A0 * Detect and report incompatible use of ASLR/PIE on `load-world`.<br=
>=C2=A0 * Added support for RISC-V architecture.<br>* Language.<br>* Librar=
ies.<br>=C2=A0 * Basis Library.<br>=C2=A0 =C2=A0 * Change `OS.IO.poll` to n=
ot be restarted when interrupted by a signal. =C2=A0(This is consistent wit=
h `Socket.select`.)<br>=C2=A0 =C2=A0 * Add `MLton.sizeAll: unit -&gt; IntIn=
f.int` that returns the size of reachable live data.<br>=C2=A0 =C2=A0 * Cha=
nge type of `MLton.size` from `&#39;a -&gt; int` to `&#39;a -&gt; IntInf.in=
t`, because with 64-bit systems, the size of a single object can exceed tha=
t representable by a signed 32-bit integer.<br>=C2=A0 * Other libraries.<br=
>=C2=A0 =C2=A0 * Updated: ckit library, MLLPT library, MLRISC library, SML/=
NJ library<br>* Tools.<br>* Other.<br>=C2=A0 * Updates to simplify porting =
MLton.<br>=C2=A0 * Support parallel build (i.e., `make -j`).=C2=A0 This mai=
nly supports platforms/packagers that use a parallel `make` by default; it =
does not obtain significant build speedups.<br>=C2=A0 * Various updates to =
`Makefile`s.=C2=A0 See `Makefile.config` for common and user-customizable c=
onfiguration.<br>=C2=A0 * Characterize MLton-LICENSE as an instance of the =
Historical Permission Notice and Disclaimer (HPND) license, rather than BSD=
-style.</div><div style=3D"font-family:&quot;courier new&quot;,monospace;fo=
nt-size:large"><br></div><div style=3D"font-family:&quot;courier new&quot;,=
monospace;font-size:large">Binary packages for amd64-linux and amd64-darwin=
 are currently available from the release page (and are the platforms teste=
d).=C2=A0=C2=A0Additional binary packages will be made available as they ar=
e=C2=A0contributed by users.=C2=A0 We&#39;d like to encourage downstream ma=
intainers for the various Linux and *BSD distributions to update to the new=
=C2=A0release.<br></div><div style=3D"font-family:&quot;courier new&quot;,m=
onospace;font-size:large"><br></div></div>
</blockquote></div></div>

--000000000000d7933d05ab201749--


--===============7106738048509289019==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline


--===============7106738048509289019==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
MLton-devel mailing list
[email protected]; [email protected]
https://lists.sourceforge.net/lists/listinfo/mlton-devel

--===============7106738048509289019==--