From 6c90221396cc3c37e5cf9a41b70182ceb2cd9486 Mon Sep 17 00:00:00 2001 From: Matthew Fluet Date: Tue, 6 Feb 2018 15:13:23 -0500 Subject: [PATCH] Create and link pages for 20180206 release --- CHANGELOG.adoc | 4 +- doc/guide/src/Bugs20180206.adoc | 5 ++ doc/guide/src/Home.adoc | 29 +-------- doc/guide/src/Release20130715.adoc | 3 +- doc/guide/src/Release20180206.adoc | 100 +++++++++++++++++++++++++++++ doc/guide/src/Releases.adoc | 1 + 6 files changed, 112 insertions(+), 30 deletions(-) create mode 100644 doc/guide/src/Bugs20180206.adoc create mode 100644 doc/guide/src/Release20180206.adoc diff --git a/CHANGELOG.adoc b/CHANGELOG.adoc index 7084219905..9875d2a457 100644 --- a/CHANGELOG.adoc +++ b/CHANGELOG.adoc @@ -1,8 +1,8 @@ = CHANGELOG -== Version YYYYMMDD +== Version 20180206 -Here are the changes from version 20130715 to version YYYYMMDD. +Here are the changes from version 20130715 to version 20180206. === Summary diff --git a/doc/guide/src/Bugs20180206.adoc b/doc/guide/src/Bugs20180206.adoc new file mode 100644 index 0000000000..0b0f6301c1 --- /dev/null +++ b/doc/guide/src/Bugs20180206.adoc @@ -0,0 +1,5 @@ +Bugs20180206 +============ + +Here are the known bugs in <:Release20180206:MLton 20180206>, listed +in reverse chronological order of date reported. diff --git a/doc/guide/src/Home.adoc b/doc/guide/src/Home.adoc index 4af970d80c..e2b7f7afad 100644 --- a/doc/guide/src/Home.adoc +++ b/doc/guide/src/Home.adoc @@ -8,6 +8,8 @@ MLton is an open-source, whole-program, optimizing == What's new? == +* 20180206: Please try out our latest release, <:Release20180206:MLton 20180206>. + * 20140730: http://www.cs.rit.edu/%7emtf[Matthew Fluet] and http://www.cse.buffalo.edu/%7elziarek[Lukasz Ziarek] have been awarded an http://www.nsf.gov/funding/pgm_summ.jsp?pims_id=12810[NSF @@ -19,37 +21,12 @@ MLton is an open-source, whole-program, optimizing http://www.nsf.gov/awardsearch/showAward?AWD_ID=1405614[Award{nbsp}#1405614]) for more details. -* 20130715: Please try out our latest release, <:Release20130715:MLton 20130715>. - -* 20130308: Subversion repository on - http://www.sourceforge.net[SourceForge] converted and migrated to a - Git repository on http://github.com[GitHub]; see <:Sources:> for - current details. - -* 20130227: http://www.sourceforge.net[SourceForge] hosted resources - have been upgraded to the - https://sourceforge.net/create/[new SourceForge platform], resulting - in a migration of the Subversion repository; see <:Sources:> for - current details. - -* 20120422: http://www.mlton.org[www.mlton.org] content converted to - be rendered as HTML using - http://www.methods.co.nz/asciidoc/index.html[AsciiDoc]. - -* 20120129: Subversion repository migrated to - http://www.sourceforge.net[SourceForge]; see <:Sources:> for current - details. - -* 20120129: Mailing lists migrated to - http://www.sourceforge.net[SourceForge]; see <:Contact:> for current - details. - == Next steps == * Read about MLton's <:Features:>. * Look at <:Documentation:>. * See some <:Users:> of MLton. -* https://sourceforge.net/projects/mlton/files/mlton/20130715[Download] MLton. +* https://sourceforge.net/projects/mlton/files/mlton/20180206[Download] MLton. * Meet the MLton <:Developers:>. * Get involved with MLton <:Development:>. * User-maintained <:FAQ:>. diff --git a/doc/guide/src/Release20130715.adoc b/doc/guide/src/Release20130715.adoc index 4a5141eada..6bba6cb3be 100644 --- a/doc/guide/src/Release20130715.adoc +++ b/doc/guide/src/Release20130715.adoc @@ -1,8 +1,7 @@ Release20130715 =============== -Here you can download the latest public release of MLton, version 20130715. -Elsewhere you can download newer, <:Experimental:> releases. +This is an archived public release of MLton, version 20130715. == Changes since the last public release == diff --git a/doc/guide/src/Release20180206.adoc b/doc/guide/src/Release20180206.adoc new file mode 100644 index 0000000000..802293b778 --- /dev/null +++ b/doc/guide/src/Release20180206.adoc @@ -0,0 +1,100 @@ +Release20180206 +=============== + +Here you can download the latest public release of MLton, version 20180206. + +== Changes since the last public release == + +* Compiler. + ** Added an experimental LLVM codegen (`-codegen llvm`); requires LLVM tools + (`llvm-as`, `opt`, `llc`) version ≥ 3.7. + ** Made many substantial cosmetic improvements to front-end diagnostic + messages, especially with respect to source location regions, type inference + for `fun` and `val rec` declarations, signature constraints applied to a + structure, `sharing type` specifications and `where type` signature + expressions, type constructor or type variable escaping scope, and + nonexhaustive pattern matching. + ** Fixed minor bugs with exception replication, precedence parsing of function + clauses, and simultaneous `sharing` of multiple structures. + ** Made compilation deterministic (eliminate output executable name from + compile-time specified `@MLton` runtime arguments; deterministically generate + magic constant for executable). + ** Updated `-show-basis` (recursively expand structures in environments, + displaying components with long identifiers; append `(* @ region *)` + annotations to items shown in environment). + ** Forced amd64 codegen to generate PIC on amd64-linux targets. +* Runtime. + ** Added `gc-summary-file file` runtime option. + ** Reorganized runtime support for `IntInf` operations so that programs that + do not use `IntInf` compile to executables with no residual dependency on GMP. + ** Changed heap representation to store forwarding pointer for an object in + the object header (rather than in the object data and setting the header to a + sentinel value). +* Language. + ** Added support for selected SuccessorML features; see + http://mlton.org/SuccessorML for details. + ** Added `(*#showBasis "file" *)` directive; see + http://mlton.org/ShowBasisDirective for details. + ** FFI: + *** Added `pure`, `impure`, and `reentrant` attributes to `_import`. An + unattributed `_import` is treated as `impure`. A `pure` `_import` may be + subject to more aggressive optimizations (common subexpression elimination, + dead-code elimination). An `_import`-ed C function that (directly or + indirectly) calls an `_export`-ed SML function should be attributed + `reentrant`. + ** ML Basis annotations. + *** Added `allowSuccessorML {false|true}` to enable all SuccessorML features + and other annotations to enable specific SuccessorML features; see + http://mlton.org/SuccessorML for details. + *** Split `nonexhaustiveMatch {warn|error|igore}` and `redundantMatch + {warn|error|ignore}` into `nonexhaustiveMatch` and `redundantMatch` + (controls diagnostics for `case` expressions, `fn` expressions, and `fun` + declarations (which may raise `Match` on failure)) and `nonexhaustiveBind` + and `redundantBind` (controls diagnostics for `val` declarations (which may + raise `Bind` on failure)). + *** Added `valrecConstr {warn|error|ignore}` to report when a `val rec` (or + `fun`) declaration redefines an identifier that previously had constructor + status. +* Libraries. + ** Basis Library. + *** Improved performance of `Array.copy`, `Array.copyVec`, `Vector.append`, + `String.^`, `String.concat`, `String.concatWith`, and other related + functions by using `memmove` rather than element-by-element constructions. + ** `Unsafe` structure. + *** Added unsafe operations for array uninitialization and raw arrays; see + https://github.com/MLton/mlton/pull/207 for details. + ** Other libraries. + *** Updated: ckit library, MLLPT library, MLRISC library, SML/NJ library +* Tools. + ** mlnlffigen + *** Updated to warn and skip (rather than abort) when encountering functions + with `struct`/`union` argument or return type. + +For a complete list of changes and bug fixes since +<:Release20130715:>, see the + and +<:Bugs20130715:>. + +== 20180206 binary packages == + +* AMD64 (aka "x86-64" or "x64") +** http://sourceforge.net/projects/mlton/files/mlton/20180206/mlton-20180206-1.amd64-darwin.gmp-homebrew.tgz[Darwin (.tgz)] 16.7 (Mac OS X Sierra), dynamically linked against <:GnuMP:> in `/usr/local/lib` (suitable for https://brew.sh/[Homebrew] install of <:GnuMP:>) +** http://sourceforge.net/projects/mlton/files/mlton/20180206/mlton-20180206-1.amd64-darwin.gmp-static.tgz[Darwin (.tgz)] 16.7 (Mac OS X Sierra), statically linked against <:GnuMP:> (but requires <:GnuMP:> for generated executables) +** http://sourceforge.net/projects/mlton/files/mlton/20180206/mlton-20180206-1.amd64-linux.tgz[Linux], glibc 2.23 +// ** Windows MinGW 32/64 http://sourceforge.net/projects/mlton/files/mlton/20180206/MLton-20180206-1.exe[self-extracting] (28MB) or http://sourceforge.net/projects/mlton/files/mlton/20180206/MLton-20180206-1.msi[MSI] (61MB) installer +// * X86 +// ** http://sourceforge.net/projects/mlton/files/mlton/20180206/mlton-20180206-1.x86-cygwin.tgz[Cygwin] 1.7.5 +// ** http://sourceforge.net/projects/mlton/files/mlton/20180206/mlton-20180206-1.x86-linux.tgz[Linux], glibc 2.23 +// ** http://sourceforge.net/projects/mlton/files/mlton/20180206/mlton-20180206-1.x86-linux.static.tgz[Linux], statically linked +// ** Windows MinGW 32/64 http://sourceforge.net/projects/mlton/files/mlton/20180206/MLton-20180206-1.exe[self-extracting] (28MB) or http://sourceforge.net/projects/mlton/files/mlton/20180206/MLton-20180206-1.msi[MSI] (61MB) installer + +== 20180206 source packages == + + * http://sourceforge.net/projects/mlton/files/mlton/20180206/mlton-20180206.src.tgz[mlton-20180206.src.tgz] + +== Also see == + +* <:Bugs20180206:> +* http://www.mlton.org/guide/20180206/[MLton Guide (20180206)]. ++ +A snapshot of the MLton website at the time of release. diff --git a/doc/guide/src/Releases.adoc b/doc/guide/src/Releases.adoc index cdef6d5f77..1c0310a2e9 100644 --- a/doc/guide/src/Releases.adoc +++ b/doc/guide/src/Releases.adoc @@ -3,6 +3,7 @@ Releases Public releases of MLton: +* <:Release20180206:> * <:Release20130715:> * <:Release20100608:> * <:Release20070826:>