Menu
▾
▴
mlton-commit — [MLton-commit] Code commits
You can subscribe to this list here.
| 2005 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
(56) |
Sep
(40) |
Oct
(30) |
Nov
(144) |
Dec
(23) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2006 |
Jan
(41) |
Feb
(29) |
Mar
(31) |
Apr
(39) |
May
(193) |
Jun
(45) |
Jul
(19) |
Aug
(3) |
Sep
(23) |
Oct
(83) |
Nov
(92) |
Dec
(123) |
| 2007 |
Jan
(90) |
Feb
(267) |
Mar
(120) |
Apr
(51) |
May
(40) |
Jun
(121) |
Jul
(109) |
Aug
(173) |
Sep
(77) |
Oct
(52) |
Nov
(121) |
Dec
(62) |
| 2008 |
Jan
(76) |
Feb
(53) |
Mar
(98) |
Apr
(87) |
May
(26) |
Jun
(27) |
Jul
(23) |
Aug
(136) |
Sep
(79) |
Oct
(68) |
Nov
(29) |
Dec
(14) |
| 2009 |
Jan
(7) |
Feb
(2) |
Mar
(11) |
Apr
(75) |
May
(1) |
Jun
(95) |
Jul
(19) |
Aug
(4) |
Sep
(8) |
Oct
(93) |
Nov
(43) |
Dec
(21) |
| 2010 |
Jan
(20) |
Feb
(23) |
Mar
(18) |
Apr
(6) |
May
(20) |
Jun
(23) |
Jul
(1) |
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
| 2011 |
Jan
(2) |
Feb
(6) |
Mar
(15) |
Apr
(5) |
May
(9) |
Jun
(14) |
Jul
(9) |
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
| 2012 |
Jan
|
Feb
(3) |
Mar
|
Apr
|
May
(2) |
Jun
(17) |
Jul
(37) |
Aug
|
Sep
(1) |
Oct
(6) |
Nov
|
Dec
|
| 2013 |
Jan
|
Feb
|
Mar
(5) |
Apr
(2) |
May
(7) |
Jun
(11) |
Jul
(8) |
Aug
|
Sep
(1) |
Oct
(2) |
Nov
|
Dec
|
| 2014 |
Jan
|
Feb
(2) |
Mar
(1) |
Apr
|
May
(1) |
Jun
(1) |
Jul
(7) |
Aug
(2) |
Sep
|
Oct
(5) |
Nov
(2) |
Dec
(4) |
| 2015 |
Jan
|
Feb
(2) |
Mar
(2) |
Apr
|
May
|
Jun
(9) |
Jul
(1) |
Aug
|
Sep
|
Oct
(4) |
Nov
(1) |
Dec
|
| 2016 |
Jan
(2) |
Feb
(1) |
Mar
(1) |
Apr
(1) |
May
(1) |
Jun
(2) |
Jul
(1) |
Aug
|
Sep
(5) |
Oct
|
Nov
|
Dec
|
| 2017 |
Jan
(1) |
Feb
(3) |
Mar
(3) |
Apr
(7) |
May
(2) |
Jun
(2) |
Jul
(5) |
Aug
(1) |
Sep
(2) |
Oct
(17) |
Nov
(4) |
Dec
(7) |
| 2018 |
Jan
(5) |
Feb
(14) |
Mar
(2) |
Apr
(5) |
May
(2) |
Jun
(5) |
Jul
|
Aug
(2) |
Sep
|
Oct
(3) |
Nov
(5) |
Dec
|
| 2019 |
Jan
(4) |
Feb
(2) |
Mar
(3) |
Apr
(1) |
May
(8) |
Jun
(14) |
Jul
(2) |
Aug
|
Sep
(2) |
Oct
(2) |
Nov
(15) |
Dec
(2) |
| 2020 |
Jan
(10) |
Feb
(3) |
Mar
(1) |
Apr
|
May
(9) |
Jun
(4) |
Jul
(16) |
Aug
(10) |
Sep
(4) |
Oct
(3) |
Nov
|
Dec
|
| 2021 |
Jan
(11) |
Feb
(2) |
Mar
(2) |
Apr
|
May
|
Jun
(1) |
Jul
|
Aug
(5) |
Sep
|
Oct
(6) |
Nov
(4) |
Dec
(4) |
| 2022 |
Jan
(4) |
Feb
(2) |
Mar
(2) |
Apr
|
May
(6) |
Jun
(3) |
Jul
|
Aug
(1) |
Sep
|
Oct
|
Nov
(1) |
Dec
|
| 2023 |
Jan
|
Feb
|
Mar
|
Apr
(2) |
May
(5) |
Jun
(1) |
Jul
(4) |
Aug
(1) |
Sep
|
Oct
(1) |
Nov
(13) |
Dec
|
| 2024 |
Jan
(1) |
Feb
|
Mar
(5) |
Apr
|
May
(10) |
Jun
|
Jul
|
Aug
(3) |
Sep
|
Oct
|
Nov
(1) |
Dec
(14) |
| 2025 |
Jan
(3) |
Feb
|
Mar
(1) |
Apr
|
May
(2) |
Jun
(3) |
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
|
From: GitHub <no...@gi...> - 2017-04-15 22:08:36
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: b7e981f5a1fb58a4b4e2bfafdb7e75389ebff926 https://github.com/MLton/mlton/commit/b7e981f5a1fb58a4b4e2bfafdb7e75389ebff926 Author: Matthew Fluet <mat...@gm...> Date: 2017-04-15 (Sat, 15 Apr 2017) Changed paths: M doc/guide/src/UnresolvedBugs.adoc Log Message: ----------- Make small edits to UnresolvedBugs Commit: 41c9caac4a17cae0ce9c97c524fac038130123cf https://github.com/MLton/mlton/commit/41c9caac4a17cae0ce9c97c524fac038130123cf Author: Matthew Fluet <mat...@gm...> Date: 2017-04-15 (Sat, 15 Apr 2017) Changed paths: M doc/guide/src/LanguageChanges.adoc Log Message: ----------- Make small edits to LanguageChanges Commit: e6d8a4c1411268c47d7d92c7cbfc14d6ebd45a01 https://github.com/MLton/mlton/commit/e6d8a4c1411268c47d7d92c7cbfc14d6ebd45a01 Author: Matthew Fluet <Mat...@gm...> Date: 2017-04-15 (Sat, 15 Apr 2017) Changed paths: M doc/guide/src/LanguageChanges.adoc M doc/guide/src/UnresolvedBugs.adoc Log Message: ----------- Merge pull request #176 from MatthewFluet/guide-updates Guide updates Compare: https://github.com/MLton/mlton/compare/f19760b916be...e6d8a4c14112 |
|
From: GitHub <no...@gi...> - 2017-04-15 21:43:09
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: d4d497d94c2537a36195d39968a0c305216e8cf6 https://github.com/MLton/mlton/commit/d4d497d94c2537a36195d39968a0c305216e8cf6 Author: Matthew Fluet <mat...@gm...> Date: 2017-04-14 (Fri, 14 Apr 2017) Changed paths: M Makefile Log Message: ----------- Rename and add 'smlnj-mlton-x{2,4,8,16}' top-level Makefile targets Commit: c5a005145e0d10413ba47140a55f177c082cdaac https://github.com/MLton/mlton/commit/c5a005145e0d10413ba47140a55f177c082cdaac Author: Matthew Fluet <mat...@gm...> Date: 2017-04-14 (Fri, 14 Apr 2017) Changed paths: M mlton/front-end/mlb.lex Log Message: ----------- Replace `Vector.fromListRev` with `String.fromListRev` Fixes SML/NJ build; `string` and `char vector` types are not equal. Commit: 5da315778c0c7e39ee5af96f41ae66954e9da753 https://github.com/MLton/mlton/commit/5da315778c0c7e39ee5af96f41ae66954e9da753 Author: Matthew Fluet <mat...@gm...> Date: 2017-04-14 (Fri, 14 Apr 2017) Changed paths: 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.patch M lib/ckit-lib/ckit.tgz M lib/mllpt-lib/ml-lpt.patch M lib/mllpt-lib/ml-lpt.tgz M lib/mlrisc-lib/MLRISC.patch 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.80 libraries Commit: 0b4cc84bd748aa82b3a68df3bcd83b8aaa2ea208 https://github.com/MLton/mlton/commit/0b4cc84bd748aa82b3a68df3bcd83b8aaa2ea208 Author: Matthew Fluet <mat...@gm...> Date: 2017-04-15 (Sat, 15 Apr 2017) Changed paths: M doc/guide/src/SuccessorML.adoc Log Message: ----------- Add anchors to SuccessorML feature descriptions Commit: 29b7ffddabfadc7ce8c9045fa559a316d6301f9f https://github.com/MLton/mlton/commit/29b7ffddabfadc7ce8c9045fa559a316d6301f9f Author: Matthew Fluet <mat...@gm...> Date: 2017-04-15 (Sat, 15 Apr 2017) Changed paths: M doc/guide/src/SMLNJDeviations.adoc Log Message: ----------- Note support for SML/NJ extensions via MLB annotations Commit: f19760b916be74c1093912c334c085eb088c6cf4 https://github.com/MLton/mlton/commit/f19760b916be74c1093912c334c085eb088c6cf4 Author: Matthew Fluet <Mat...@gm...> Date: 2017-04-15 (Sat, 15 Apr 2017) Changed paths: M Makefile M doc/guide/src/CKitLibrary.adoc M doc/guide/src/MLLPTLibrary.adoc M doc/guide/src/MLRISCLibrary.adoc M doc/guide/src/SMLNJDeviations.adoc M doc/guide/src/SMLNJLibrary.adoc M doc/guide/src/SuccessorML.adoc M lib/ckit-lib/ckit.patch M lib/ckit-lib/ckit.tgz M lib/mllpt-lib/ml-lpt.patch M lib/mllpt-lib/ml-lpt.tgz M lib/mlrisc-lib/MLRISC.patch M lib/mlrisc-lib/MLRISC.tgz M lib/smlnj-lib/smlnj-lib.patch M lib/smlnj-lib/smlnj-lib.tgz M mlton/front-end/mlb.lex Log Message: ----------- Merge pull request #175 from MatthewFluet/smlnj-updates Small updates relative to SML/NJ: * Rename and add `smlnj-mlton-x{2,4,8,16}` top-level Makefile targets * Fix SML/NJ build (replace `Vector.fromListRev` with `String.fromListRev` in `mlb.lex`) * Update to SML/NJ 110.80 libraries * Note support for SML/NJ extensions via SuccessorML MLB annotations Compare: https://github.com/MLton/mlton/compare/32a6c538e75e...f19760b916be |
|
From: GitHub <no...@gi...> - 2017-04-14 15:22:07
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 25cc8e8edbf034f0b9d731137d8907c1fa21b252 https://github.com/MLton/mlton/commit/25cc8e8edbf034f0b9d731137d8907c1fa21b252 Author: Matthew Fluet <mat...@gm...> Date: 2017-03-30 (Thu, 30 Mar 2017) Changed paths: M mlton/elaborate/elaborate-core.fun M mlton/elaborate/elaborate-sigexp.fun Log Message: ----------- Update error messages for disallowed Successor ML features Commit: 32a6c538e75e8cd976fcf14fce1ffe9016e91d4c https://github.com/MLton/mlton/commit/32a6c538e75e8cd976fcf14fce1ffe9016e91d4c Author: Matthew Fluet <Mat...@gm...> Date: 2017-04-14 (Fri, 14 Apr 2017) Changed paths: M mlton/elaborate/elaborate-core.fun M mlton/elaborate/elaborate-sigexp.fun Log Message: ----------- Merge pull request #174 from MatthewFluet/succ-ml-updates Update error messages for disallowed Successor ML features Compare: https://github.com/MLton/mlton/compare/1c104ac0da54...32a6c538e75e |
|
From: GitHub <no...@gi...> - 2017-04-14 14:46:41
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 68ab647ea9075981d1a45a3c6b3598486e834bf8 https://github.com/MLton/mlton/commit/68ab647ea9075981d1a45a3c6b3598486e834bf8 Author: Krishna Ravikumar <kri...@gm...> Date: 2016-02-06 (Sat, 06 Feb 2016) Changed paths: M mlton/ast/ast-core.fun M mlton/ast/ast-core.sig M mlton/core-ml/core-ml.fun M mlton/core-ml/core-ml.sig M mlton/defunctorize/defunctorize.fun M mlton/elaborate/elaborate-core.fun M mlton/front-end/ml.grm M mlton/front-end/ml.lex Log Message: ----------- Adding vector expressions - stuck at converting to xml Commit: 2caedb117daea1231910109f52efdd7cf658e6be https://github.com/MLton/mlton/commit/2caedb117daea1231910109f52efdd7cf658e6be Author: Krishna Ravikumar <kri...@gm...> Date: 2016-02-14 (Sun, 14 Feb 2016) Changed paths: M mlton/ast/ast-core.fun M mlton/atoms/prim.fun M mlton/atoms/prim.sig M mlton/core-ml/core-ml.fun M mlton/defunctorize/defunctorize.fun Log Message: ----------- changed layout for vectors, still generating XML expressions Commit: 7fa9216ca392af7e6f141fa785133a16bf19a08c https://github.com/MLton/mlton/commit/7fa9216ca392af7e6f141fa785133a16bf19a08c Author: Krishna Ravikumar <kri...@gm...> Date: 2016-02-16 (Tue, 16 Feb 2016) Changed paths: M mlton/atoms/prim.fun M mlton/atoms/prim.sig M mlton/defunctorize/defunctorize.fun M mlton/elaborate/elaborate-core.fun M mlton/elaborate/scope.fun A regression/01vectorExpressionTest.ok A regression/01vectorExpressionTest.sml Log Message: ----------- Milestone 1: Vector expressions recognized and converted to arrays in XML Commit: 40e624bfd557bd6c9792b52a7264d1cc3811ccbd https://github.com/MLton/mlton/commit/40e624bfd557bd6c9792b52a7264d1cc3811ccbd Author: Krishna Ravikumar <kri...@gm...> Date: 2016-03-17 (Thu, 17 Mar 2016) Changed paths: M basis-library/primitive/prim-seq.sml M doc/guide/src/CommonSubexp.adoc M mlton/atoms/prim.fun M mlton/atoms/prim.sig M mlton/backend/ssa-to-rssa.fun M mlton/defunctorize/defunctorize.fun M mlton/ssa/common-subexp.fun M mlton/ssa/constant-propagation.fun A mlton/ssa/implementVectors.fun M mlton/ssa/sources.cm M mlton/ssa/sources.mlb M mlton/ssa/ssa-tree2.fun M mlton/ssa/useless.fun Log Message: ----------- Added Vector_vector primitive. Working on implementVectors pass Commit: 9fbb9d3059afd142c38fe43ed684a4963cbbc5ce https://github.com/MLton/mlton/commit/9fbb9d3059afd142c38fe43ed684a4963cbbc5ce Author: Krishna Ravikumar <kri...@gm...> Date: 2016-03-17 (Thu, 17 Mar 2016) Changed paths: M mlton/ssa/implementVectors.fun M mlton/ssa/simplify.fun Log Message: ----------- ImplementVectors pass breaks build (Remove unused fails) Commit: 5ce856b27d2627200abb2ba1aa51f8c613831958 https://github.com/MLton/mlton/commit/5ce856b27d2627200abb2ba1aa51f8c613831958 Author: Krishna Ravikumar <kri...@gm...> Date: 2016-03-24 (Thu, 24 Mar 2016) Changed paths: M mlton/ssa/implementVectors.fun Log Message: ----------- Milestone 2 - Vector exps eliminated at implementVectors(ssa to ssa2) Commit: 2e00ba1b1083334726bbb1aad35e9d2f1c516cae https://github.com/MLton/mlton/commit/2e00ba1b1083334726bbb1aad35e9d2f1c516cae Author: Krishna Ravikumar <kri...@gm...> Date: 2016-04-01 (Fri, 01 Apr 2016) Changed paths: M mlton/ssa/implementVectors.fun M mlton/ssa/simplify.fun A regression/02vectorExpressionTest.sml Log Message: ----------- Updated implementVectors to not create a globals Pair Commit: 3eac81a4bcab997e24ae0cef09d4bc5af120baf8 https://github.com/MLton/mlton/commit/3eac81a4bcab997e24ae0cef09d4bc5af120baf8 Author: Krishna Ravikumar <kri...@gm...> Date: 2016-04-01 (Fri, 01 Apr 2016) Changed paths: M mlton/closure-convert/abstract-value.fun M mlton/ssa/constant-propagation.fun M mlton/ssa/implementVectors.fun Log Message: ----------- Constant propagation propagates Vector expression length. Closure convert fails(bad primApp) Commit: dd578cc7dd8f1cec91ac01cba0a2e032e7db1a60 https://github.com/MLton/mlton/commit/dd578cc7dd8f1cec91ac01cba0a2e032e7db1a60 Author: Krishna Ravikumar <kri...@gm...> Date: 2016-04-02 (Sat, 02 Apr 2016) Changed paths: M mlton/closure-convert/abstract-value.fun M mlton/closure-convert/abstract-value.sig M mlton/closure-convert/closure-convert.fun Log Message: ----------- ClosureConvert handles Vector expressions containing functions Commit: 6780376c31320f32aa9fcea7c73df892b7917990 https://github.com/MLton/mlton/commit/6780376c31320f32aa9fcea7c73df892b7917990 Author: Krishna Ravikumar <kri...@gm...> Date: 2016-04-22 (Fri, 22 Apr 2016) Changed paths: M lib/mlton/basic/vector.sml M mlton/closure-convert/closure-convert.fun M mlton/ssa/constant-propagation.fun M mlton/ssa/simplify.fun Log Message: ----------- Internal use of VecExps, Moved vectors pass to the end, fixed constantPropagation, changed closureConvert based on feedback Commit: 9880082c1d96c5c50743dd64817b214cedbc07ff https://github.com/MLton/mlton/commit/9880082c1d96c5c50743dd64817b214cedbc07ff Author: Krishna Ravikumar <kri...@gm...> Date: 2016-05-30 (Mon, 30 May 2016) Changed paths: M mlton/backend/backend.fun Log Message: ----------- Fix for the subscript bug Commit: 8be55a8d91ab50d83ac69c25c673a99375b5a517 https://github.com/MLton/mlton/commit/8be55a8d91ab50d83ac69c25c673a99375b5a517 Author: Krishna Ravikumar <kri...@gm...> Date: 2016-05-30 (Mon, 30 May 2016) Changed paths: M lib/mlton/basic/vector.sml M mlton/backend/backend.fun M mlton/control/control-flags.sig M mlton/control/control-flags.sml M mlton/front-end/ml.grm Log Message: ----------- NO internal VecExp use. Added flag 'allowVectorExp' to enable vector expressions Commit: 11a00b4212ca2c7485b1b0896c2246fb37575760 https://github.com/MLton/mlton/commit/11a00b4212ca2c7485b1b0896c2246fb37575760 Author: Matthew Fluet <mat...@gm...> Date: 2017-03-29 (Wed, 29 Mar 2017) Changed paths: M Makefile M basis-library/text/char0.sml M bin/add-cross M bin/mlton-script M bin/regression R bin/upgrade-basis M doc/guide/src/CKitLibrary.adoc M doc/guide/src/CompilingWithSMLNJ.adoc M doc/guide/src/LLVMCodegen.adoc M doc/guide/src/MLBasis.attachments/mlb-formal.pdf M doc/guide/src/MLBasisAnnotations.adoc M doc/guide/src/MLLPTLibrary.adoc M doc/guide/src/MLRISCLibrary.adoc M doc/guide/src/PortingMLton.adoc M doc/guide/src/SMLNJLibrary.adoc M doc/guide/src/SSA.adoc M doc/guide/src/SelfCompiling.adoc M doc/guide/src/SuccessorML.adoc M doc/guide/src/Unicode.adoc M doc/mlb-formal/mlb-formal.tex M lib/ckit-lib/Makefile M lib/ckit-lib/ckit.patch M lib/ckit-lib/ckit.tgz M lib/mllpt-lib/Makefile M lib/mllpt-lib/ml-lpt.patch M lib/mllpt-lib/ml-lpt.tgz M lib/mlrisc-lib/MLRISC.patch M lib/mlrisc-lib/MLRISC.tgz M lib/mlrisc-lib/Makefile M lib/mlyacc-lib/lrtable.sml M lib/smlnj-lib/Makefile M lib/smlnj-lib/smlnj-lib.patch M lib/smlnj-lib/smlnj-lib.tgz M lib/stubs/mlton-stubs/README M mlton/.gitignore M mlton/Makefile M mlton/atoms/prim.fun M mlton/codegen/llvm-codegen/llvm-codegen.fun M mlton/control/control-flags.sig M mlton/control/control-flags.sml M mlton/control/version_sml.src M mlton/elaborate/elaborate-mlbs.fun M mlton/front-end/ml.grm M mlton/front-end/ml.lex M mlton/front-end/mlb.lex M mlton/main/main.fun M mlyacc/examples/calc/README A mlyacc/examples/calc/calc.mlb M mlyacc/examples/calc/calc.sml R mlyacc/examples/calc/sources.cm M mlyacc/examples/fol/README A mlyacc/examples/fol/fol.mlb M mlyacc/examples/fol/parse.sml R mlyacc/examples/fol/sources.cm M mlyacc/examples/pascal/README M mlyacc/examples/pascal/parser.sml A mlyacc/examples/pascal/pascal.mlb R mlyacc/examples/pascal/sources.cm M runtime/Makefile M runtime/gc/signals.c M runtime/platform.h M runtime/platform/aix.h M runtime/platform/darwin.h M runtime/platform/freebsd.h M runtime/platform/hpux.h M runtime/platform/hurd.h M runtime/platform/linux.h M runtime/platform/mmap-protect.c M runtime/platform/netbsd.h M runtime/platform/openbsd.c M runtime/platform/openbsd.h M runtime/platform/solaris.h M util/cm2mlb/cm2mlb-map Log Message: ----------- VectorExps updates: Merge branch 'master' into vector-exps Commit: 35fa07c4a805c823ca48b6ad052082d7cb2ea17b https://github.com/MLton/mlton/commit/35fa07c4a805c823ca48b6ad052082d7cb2ea17b Author: Matthew Fluet <mat...@gm...> Date: 2017-03-29 (Wed, 29 Mar 2017) Changed paths: M mlton/ast/ast-core.fun M mlton/ast/ast-core.sig M mlton/elaborate/elaborate-core.fun M mlton/elaborate/scope.fun Log Message: ----------- VectorExp updates: Cleanup style in AST IR Commit: b8a0cfedd8b1df7b546fcd9a0a8d084f3815f7e6 https://github.com/MLton/mlton/commit/b8a0cfedd8b1df7b546fcd9a0a8d084f3815f7e6 Author: Matthew Fluet <mat...@gm...> Date: 2017-03-29 (Wed, 29 Mar 2017) Changed paths: M mlton/elaborate/elaborate-core.fun M mlton/front-end/ml.grm Log Message: ----------- VectorExp updates: Move allowVectorExp annotation check to elaborate Commit: 545ba8fbbf3ae80125231cd1704e1e501a4980f5 https://github.com/MLton/mlton/commit/545ba8fbbf3ae80125231cd1704e1e501a4980f5 Author: Matthew Fluet <mat...@gm...> Date: 2017-03-30 (Thu, 30 Mar 2017) Changed paths: M mlton/core-ml/core-ml.fun M mlton/core-ml/core-ml.sig M mlton/defunctorize/defunctorize.fun Log Message: ----------- VectorExp updates: Cleanup style in CoreML IR Commit: 2410167d47c1d2bf3f393d276ca2ea63994820b7 https://github.com/MLton/mlton/commit/2410167d47c1d2bf3f393d276ca2ea63994820b7 Author: Matthew Fluet <mat...@gm...> Date: 2017-03-30 (Thu, 30 Mar 2017) Changed paths: M mlton/front-end/ml.grm M mlton/front-end/ml.lex Log Message: ----------- VectorExp updates: Rename HASHBRACKET token to HASHLBRACKET Commit: 87524170dc5ffb6c23d3914369f7153566ee77ae https://github.com/MLton/mlton/commit/87524170dc5ffb6c23d3914369f7153566ee77ae Author: Matthew Fluet <mat...@gm...> Date: 2017-03-30 (Thu, 30 Mar 2017) Changed paths: M mlton/ssa/implementVectors.fun Log Message: ----------- VectorExp updates: Drop unnecessary copied copyright Commit: 323e90df135f5e2f26f2a23d54b04c08b123c12e https://github.com/MLton/mlton/commit/323e90df135f5e2f26f2a23d54b04c08b123c12e Author: Matthew Fluet <mat...@gm...> Date: 2017-03-30 (Thu, 30 Mar 2017) Changed paths: M mlton/atoms/prim.fun M mlton/atoms/prim.sig M mlton/backend/ssa-to-rssa.fun M mlton/closure-convert/abstract-value.fun M mlton/closure-convert/closure-convert.fun M mlton/ssa/common-subexp.fun M mlton/ssa/constant-propagation.fun M mlton/ssa/implementVectors.fun M mlton/ssa/ssa-to-ssa2.fun M mlton/ssa/ssa-tree2.fun M mlton/ssa/useless.fun Log Message: ----------- VectorExp updates: Cleanup style in Prim Commit: 560c113f28c07aa34b3175bd5da7e72c6256ca81 https://github.com/MLton/mlton/commit/560c113f28c07aa34b3175bd5da7e72c6256ca81 Author: Matthew Fluet <mat...@gm...> Date: 2017-03-31 (Fri, 31 Mar 2017) Changed paths: M mlton/backend/backend.fun Log Message: ----------- VectorExps updates: Cleanup style in backend The full change of backend.fun with respect to master is the following: - Bind {dst = (var, _), isMutable, src} => - if isMutable - orelse (case #operand (varInfo var) of - VarOperand.Const _ => false - | _ => true) - then (Vector.new1 - (M.Statement.move {dst = varOperand var, - src = translateOperand src})) - else Vector.new0 () + Bind {dst = (var, _), src, ...} => + Vector.new1 + (M.Statement.move {dst = varOperand var, + src = translateOperand src}) This removes a superflous (and now incorrect) optimization; on a self-compile, the "else" branch is never taken. When a vector expression is globalized then it is quite likely that a corresponding Vector_length of that vector is also globalized. (The Vector_length should be constant-propagated away, since it is known, but that is a separate issue.) After implementing vectors, the following sequence may appear as part of the "globals" sequence: a_16: word32 array = Array_uninit(word32) (global_520) x_2392: unit = Array_update(word32) (a_16, global_19, global_15) x_2394: unit = Array_update(word32) (a_16, global_24, global_212) x_2396: unit = Array_update(word32) (a_16, global_521, global_213) x_2398: unit = Array_update(word32) (a_16, global_522, global_214) x_2400: unit = Array_update(word32) (a_16, global_523, global_215) x_2402: unit = Array_update(word32) (a_16, global_167, global_216) x_2404: unit = Array_update(word32) (a_16, global_524, global_94) x_2406: unit = Array_update(word32) (a_16, global_525, global_78) x_2408: unit = Array_update(word32) (a_16, global_526, global_220) x_2409: word32 vector = Array_toVector(word32) (a_16) v_0: word32 vector = x_2409 x_655: word64 = Vector_length(word32) (v_0) With the "optimization", the x_655: word64 = Vector_length(word32) (v_0) is dropped. Thus, x_655 is uninitialized and subsequently, when the code compares an index to x_655 for a bounds check, it could either erroneously fail (if the uninitialized value were 0, for example) or erroneously succeed (if the uninitialized value were greater than the true length of the array). It may be that the "optimization" is a hold over from a much ealier version of MLton, when the pipeline looked like: AST -> CoreML -> XML -> SXML -> CPS -> Machine Since that time, it has evolved to: AST -> CoreML -> XML -> SXML -> SSA -> SSA2 -> RSSA -> Machine CPS was a predecessor to SSA; for this discussion, the important point is that, like SSA, it had a collection of global declarations, including ones like: x_123 : word32 = 0wxF In the generated code, we don't want to reference an integer constant indirectly through a variable; we want it to be an immediate operand. Since CPS was converted directly to Machine, this propagation happened as part of the conversion. So, the "else" branch drops such declarations under the assumption that the propagation will happen. In this (simple) world, that is a safe optimization. But, it is not necessarily an important one --- the globals are initialized once at the beginning of the program; there would be very little overhead in actually writing that integer constant into a global variable, even if that global variable was never read again. As the compiler evolved, we added the RSSA (representation SSA) intermediate language. In this intermediate language, we are able to explicitly perform propagation of constants and actually drop the corresponding declaration. The "else" branch still exists in the RSSA to Machine translation, but is never taken. It seems that RSSA (and the RSSA to Machine translation) is not performing the propagation of something like: x_20: Word64 = OW64 (Cast (a_0, Objptr (opt_4)), ~16): Word64 which is the explicit reading of the length field from the vector in variable a_0. It should be able to perform this propagation, but the program should also compile without the propagation. (It is also a little more subtle; one cannot simply propagate everything like this, because expressions like the above are also what is used to read elements from a (mutable) array, and it wouldn't be safe to move the reading of an array around, since the array might be modified.) With vector expressions (and consequently vector length calculations) lifted to globals, it is simply not true that every "simple" global is fully propagated through the program and we shouldn't ever take the "else" branch. And, given the optimization of the RSSA intermediate language, we've already explicitly propagated the ones that we can, so we shouldn't ever need to perform the optimization at the RSSA to Machine conversion Commit: 5cc993b07d384199f1b6f4722df7b5c0ef1d0d16 https://github.com/MLton/mlton/commit/5cc993b07d384199f1b6f4722df7b5c0ef1d0d16 Author: Matthew Fluet <mat...@gm...> Date: 2017-03-31 (Fri, 31 Mar 2017) Changed paths: M mlton/closure-convert/abstract-value.fun M mlton/closure-convert/closure-convert.fun Log Message: ----------- VectorExps updates: Cleanup style in closure convert Commit: dc2c439244d074e983b19d55b37234a21314e28e https://github.com/MLton/mlton/commit/dc2c439244d074e983b19d55b37234a21314e28e Author: Matthew Fluet <mat...@gm...> Date: 2017-03-31 (Fri, 31 Mar 2017) Changed paths: M mlton/control/control-flags.sig M mlton/control/control-flags.sml M mlton/elaborate/elaborate-core.fun Log Message: ----------- VectorExps updates: Rename annotation to 'allowVectorExps' Also, include 'allowVectorExps' in 'allowSuccessorML' proxy. Commit: 8a12d529bec7425f1d5b036b63aa0e7353489d5a https://github.com/MLton/mlton/commit/8a12d529bec7425f1d5b036b63aa0e7353489d5a Author: Matthew Fluet <mat...@gm...> Date: 2017-03-31 (Fri, 31 Mar 2017) Changed paths: M mlton/elaborate/elaborate-core.fun Log Message: ----------- VectorExps updates: Cleanup style in elaborate core Commit: 8919496ff0844ed1e7d8454969dd15b00bb73670 https://github.com/MLton/mlton/commit/8919496ff0844ed1e7d8454969dd15b00bb73670 Author: Matthew Fluet <mat...@gm...> Date: 2017-03-31 (Fri, 31 Mar 2017) Changed paths: M mlton/atoms/prim.fun Log Message: ----------- Update Array_sub,Array_update,Vector_length,Vector_sub comments Commit: 59c8b612c2475f729c89e8f5be9a1641c029b091 https://github.com/MLton/mlton/commit/59c8b612c2475f729c89e8f5be9a1641c029b091 Author: Matthew Fluet <mat...@gm...> Date: 2017-03-31 (Fri, 31 Mar 2017) Changed paths: M mlton/atoms/prim.fun M mlton/atoms/prim.sig R mlton/ssa/implementVectors.fun M mlton/ssa/simplify.fun M mlton/ssa/sources.cm M mlton/ssa/sources.mlb M mlton/ssa/ssa-to-ssa2.fun M mlton/ssa/ssa-tree2.fun M mlton/ssa/ssa-tree2.sig Log Message: ----------- VectorExps updates: Implement Vector_vector in toSsa2 Commit: f21a6d23fa46e1745dc347c7c667e95d37b281c7 https://github.com/MLton/mlton/commit/f21a6d23fa46e1745dc347c7c667e95d37b281c7 Author: Matthew Fluet <mat...@gm...> Date: 2017-03-31 (Fri, 31 Mar 2017) Changed paths: M mlton/ssa/constant-propagation.fun Log Message: ----------- VectorExps updates: Cleanup style in constant propagation Commit: 0043100b506feb5d6edbd53f24ca4e7ddb1c6815 https://github.com/MLton/mlton/commit/0043100b506feb5d6edbd53f24ca4e7ddb1c6815 Author: Matthew Fluet <mat...@gm...> Date: 2017-04-01 (Sat, 01 Apr 2017) Changed paths: M mlton/ssa/constant-propagation.fun Log Message: ----------- VectorExps updates: Improve constant propagation optimization Commit: 5e9f445deeea99257b55c104dd7e29228c32d743 https://github.com/MLton/mlton/commit/5e9f445deeea99257b55c104dd7e29228c32d743 Author: Matthew Fluet <mat...@gm...> Date: 2017-04-01 (Sat, 01 Apr 2017) Changed paths: M mlton/ssa/useless.fun Log Message: ----------- VectorExps updates: Improve useless optimization Commit: e59ccc83f653870eb3c67ae1c29b5f1908650f92 https://github.com/MLton/mlton/commit/e59ccc83f653870eb3c67ae1c29b5f1908650f92 Author: Matthew Fluet <mat...@gm...> Date: 2017-04-01 (Sat, 01 Apr 2017) Changed paths: R regression/01vectorExpressionTest.ok R regression/01vectorExpressionTest.sml R regression/02vectorExpressionTest.sml Log Message: ----------- VectorExps updates: Drop vector exp regressions that require ann Commit: 9a9e63497073c914f78cf206b2e715af291c3319 https://github.com/MLton/mlton/commit/9a9e63497073c914f78cf206b2e715af291c3319 Author: Matthew Fluet <mat...@gm...> Date: 2017-04-06 (Thu, 06 Apr 2017) Changed paths: M mlton/atoms/const.fun M mlton/atoms/const.sig M mlton/atoms/prim.fun M mlton/atoms/word-x-vector.fun M mlton/atoms/word-x-vector.sig Log Message: ----------- VectorExps updates: Constant fold Vector_vector to WordXVector const Commit: f766268be08983b7053594b40af125cb6d92fef2 https://github.com/MLton/mlton/commit/f766268be08983b7053594b40af125cb6d92fef2 Author: Matthew Fluet <mat...@gm...> Date: 2017-04-07 (Fri, 07 Apr 2017) Changed paths: M basis-library/arrays-and-vectors/array.sig M basis-library/arrays-and-vectors/array.sml M basis-library/arrays-and-vectors/array2.sml M basis-library/arrays-and-vectors/mono-array.sig M basis-library/arrays-and-vectors/sequence.fun M basis-library/arrays-and-vectors/sequence.sig M basis-library/arrays-and-vectors/sequence0.sig M basis-library/arrays-and-vectors/sequence0.sml M basis-library/integer/int-inf0.sml M basis-library/io/imperative-io.fun M basis-library/mlton/call-stack.sml M basis-library/net/socket.sml M basis-library/platform/mingw.sml M basis-library/posix/file-sys.sml M basis-library/posix/io.sml M basis-library/posix/proc-env.sml M basis-library/primitive/prim-seq.sml M basis-library/real/pack-real.sml M basis-library/real/real.sml M basis-library/sml-nj/unsafe.sml M basis-library/system/date.sml Log Message: ----------- Use 'uninit' for array creation consistently in Basis Library Replace various uses of `arrayUninit` or `newUninit` with `uninit`, to better match the corresponding primitive. Commit: 6f284714f634392ac2e541c066c6892ba2e593cd https://github.com/MLton/mlton/commit/6f284714f634392ac2e541c066c6892ba2e593cd Author: Matthew Fluet <mat...@gm...> Date: 2017-04-07 (Fri, 07 Apr 2017) Changed paths: M basis-library/arrays-and-vectors/sequence.fun M basis-library/arrays-and-vectors/sequence.sig M basis-library/arrays-and-vectors/sequence0.sig M basis-library/arrays-and-vectors/sequence0.sml M basis-library/arrays-and-vectors/vector.sml Log Message: ----------- Rename Sequence.generate to Sequence.create The exported operation has always been named create. Commit: b6deefce3ef2d61cbeeda5b3c72bfc7750a5f724 https://github.com/MLton/mlton/commit/b6deefce3ef2d61cbeeda5b3c72bfc7750a5f724 Author: Matthew Fluet <mat...@gm...> Date: 2017-04-11 (Tue, 11 Apr 2017) Changed paths: M lib/mlton/basic/list.sig M lib/mlton/basic/list.sml Log Message: ----------- Add `val new : int * 'a -> 'a t` to List (MLton library) Commit: 9bee9bb670b2264fffab5bc3ccc38adf8d50b482 https://github.com/MLton/mlton/commit/9bee9bb670b2264fffab5bc3ccc38adf8d50b482 Author: Matthew Fluet <mat...@gm...> Date: 2017-04-11 (Tue, 11 Apr 2017) Changed paths: M mlton/atoms/const.fun M mlton/atoms/const.sig Log Message: ----------- Add `val deWordOpt: t -> WordX.t option` to Const Commit: 46073d6d5dec04fb6e93ba88911a4186fdaafa8d https://github.com/MLton/mlton/commit/46073d6d5dec04fb6e93ba88911a4186fdaafa8d Author: Matthew Fluet <mat...@gm...> Date: 2017-04-11 (Tue, 11 Apr 2017) Changed paths: M mlton/ssa/ssa-tree.fun M mlton/ssa/ssa-tree.sig Log Message: ----------- Add `val deWord{,Opt}: t -> WordSize.t{, option}` to SsaTree.Type Commit: 40527a9cb4fc95ced5f52029064801b769e7f4e4 https://github.com/MLton/mlton/commit/40527a9cb4fc95ced5f52029064801b769e7f4e4 Author: Matthew Fluet <mat...@gm...> Date: 2017-04-11 (Tue, 11 Apr 2017) Changed paths: M mlton/ssa/constant-propagation.fun M mlton/ssa/global.fun Log Message: ----------- VectorExps updates: Improve constant propagation optimization A "constant" vector, with known length and constant element, can be represented by a Vector_vector primitive and lifted to a global. There are two special cases: a zero-length vector (even with (seemingly) non-constant elements) can be represented by a Vector_vector primitive applied to zero arguments; a "constant" vector of Word element type can be represented by a WordXVector constant. Commit: be8c5f5760cb91a126e32e775417b596bee99e9e https://github.com/MLton/mlton/commit/be8c5f5760cb91a126e32e775417b596bee99e9e Author: Matthew Fluet <mat...@gm...> Date: 2017-04-11 (Tue, 11 Apr 2017) Changed paths: M basis-library/arrays-and-vectors/sequence0.sml M basis-library/primitive/prim-seq.sml Log Message: ----------- VectorExps updates: Use (nullary) Vector_vector instead of Array_array0Const Replace the use of Array_array0Const primitive in the Basis Library implementation with a (nullary) Vector_vector primitive. The original motivation for the Array_array0Const primitive was to share the heap space required for zero-length vectors among all vectors (of a given type). It was claimed that this optimization is important, e.g., in a self-compile, where vectors are used for lots of syntax tree elements and many of those vectors are empty. See: http://www.mlton.org/pipermail/mlton-devel/2002-February/021523.html Curiously, the full effect of this optimization has been missing for quite some time (perhaps since the port of ConstantPropagation to the SSA IL). While ConstantPropagation has "globalized" the nullary application of the "Array_array0Const" primitive, it also simultaneously transformed it to an application of the "Array_uninit" (previously, the "Array_array") primitive to the zero constant. The hash-consing of globals, meant to create exactly one global for each distinct constant, treats "Array_uninit" primitives as unequal (appropriately, since "Array_uninit" allocates an array with identity (though the identity may be supressed by a subsequent "Array_toVector")), hence each distinct "Array_array0Const" primitive in the program remained as distinct globals. The limited amount of inlining prior to ConstantPropagation meant that there were typically fewer than a dozen "copies" of the same empty vector in a program for a given type. As a "functional" primitive, a nullary "Vector_vector" is globalized by ClosureConvert, but is further recognized by ConstantPropagation and hash-consed into a unique instance for each type. Commit: df6f48d8200e49ed3ccb0b729270632c26979233 https://github.com/MLton/mlton/commit/df6f48d8200e49ed3ccb0b729270632c26979233 Author: Matthew Fluet <mat...@gm...> Date: 2017-04-11 (Tue, 11 Apr 2017) Changed paths: M mlton/atoms/prim.fun M mlton/atoms/prim.sig M mlton/ssa/constant-propagation.fun M mlton/ssa/global.fun M mlton/ssa/ssa-to-ssa2.fun M mlton/ssa/useless.fun Log Message: ----------- Eliminate unused Array_array0Const primitive Commit: 55c264972a0d98e6b60a64c5fb41efe1c1e2703b https://github.com/MLton/mlton/commit/55c264972a0d98e6b60a64c5fb41efe1c1e2703b Author: Matthew Fluet <mat...@gm...> Date: 2017-04-11 (Tue, 11 Apr 2017) Changed paths: M mlton/ssa/useless.fun Log Message: ----------- VectorExps updates: Fix (and simplify) useless optimization Commit: 687aa86890cef59952a91b3e83f5b614b27986af https://github.com/MLton/mlton/commit/687aa86890cef59952a91b3e83f5b614b27986af Author: Matthew Fluet <mat...@gm...> Date: 2017-04-14 (Fri, 14 Apr 2017) Changed paths: M mlton/ast/ast-core.fun M mlton/ast/ast-core.sig M mlton/control/control-flags.sig M mlton/control/control-flags.sml M mlton/core-ml/core-ml.fun M mlton/core-ml/core-ml.sig M mlton/defunctorize/defunctorize.fun M mlton/elaborate/elaborate-core.fun M mlton/elaborate/scope.fun M mlton/front-end/ml.grm M mlton/match-compile/match-compile.fun M mlton/match-compile/match-compile.sig M mlton/match-compile/nested-pat.fun M mlton/match-compile/nested-pat.sig M mlton/xml/xml-tree.fun M mlton/xml/xml-tree.sig Log Message: ----------- Add support for vector patterns Much of the front-end handles vector patterns as it does list patterns (e.g., parsing, type-checking). However, vector patterns are carried through to match compilation (whereas list patterns are expanded to :: and nil patterns during defunctorize before match compilation). Vector patterns are handled well by the match compiler, taking cues from both match compilation of ConApp and Tuple patterns: a "column" of vector patterns is partitioned according to length; a "case" on the test expression's vector length dispatches to the correct group and a sequence of vector subscripts extracts all of the components for subsequent pattern matching. Non-exhaustive and redundant pattern warnings are naturally supported. The one design choice is how to represent a non-exhaustive pattern match. For example, with the input datatype t = A | B | C | D of t fun f (t: t vector) = case t of #[A, A] => B | #[B, B] => C | #[C, C] => A | #[D _, D _] => D (D A) the warning is: Warning: z.sml 4.4. Case is not exhaustive. missing pattern: (#[] | #[_] | #[_, _, _, ...] | #[A, B | C | D _] | #[C, A | B | D _] | #[D _, A | B | C] | #[B, A | C | D _]) in: case t of #[A, A] => B | #[B, B] ... _, D _] => (D (D A)) All lengths of vectors not covered by the match are included in the non-exhaustive warning; the "#[_, _, _, ...]" is meant to indicate an vector of length greater than or equal to three. Technically, this is not a pattern that the user could write (though, neither were "or"-patterns for quite some time). It might be interesting to support such vector patterns (and possibly similar list patterns) in the future. Commit: f4ef61c883cd39eb61902a1950f194bb2488849b https://github.com/MLton/mlton/commit/f4ef61c883cd39eb61902a1950f194bb2488849b Author: Matthew Fluet <mat...@gm...> Date: 2017-04-14 (Fri, 14 Apr 2017) Changed paths: M doc/guide/src/MLBasisAnnotations.adoc M doc/guide/src/SuccessorML.adoc Log Message: ----------- Document allowVectorExpsAndPats annotation Commit: 173bace2a7ed10ffa7f2eccc7c394c2fb1cfc523 https://github.com/MLton/mlton/commit/173bace2a7ed10ffa7f2eccc7c394c2fb1cfc523 Author: Matthew Fluet <mat...@gm...> Date: 2017-04-14 (Fri, 14 Apr 2017) Changed paths: M lib/mlton/basic/vector.sml Log Message: ----------- Eliminate (commented) use of vector expressions in MLton Library While there are advantages to defining the `Vector.new{0,1,2,3,4,5,6}` functions in terms of vector expressions, it leads to bootstrap difficulties. Commit: 1c104ac0da54e4ae53cf02c571bb0f3bc162de79 https://github.com/MLton/mlton/commit/1c104ac0da54e4ae53cf02c571bb0f3bc162de79 Author: Matthew Fluet <Mat...@gm...> Date: 2017-04-14 (Fri, 14 Apr 2017) Changed paths: M basis-library/arrays-and-vectors/array.sig M basis-library/arrays-and-vectors/array.sml M basis-library/arrays-and-vectors/array2.sml M basis-library/arrays-and-vectors/mono-array.sig M basis-library/arrays-and-vectors/sequence.fun M basis-library/arrays-and-vectors/sequence.sig M basis-library/arrays-and-vectors/sequence0.sig M basis-library/arrays-and-vectors/sequence0.sml M basis-library/arrays-and-vectors/vector.sml M basis-library/integer/int-inf0.sml M basis-library/io/imperative-io.fun M basis-library/mlton/call-stack.sml M basis-library/net/socket.sml M basis-library/platform/mingw.sml M basis-library/posix/file-sys.sml M basis-library/posix/io.sml M basis-library/posix/proc-env.sml M basis-library/primitive/prim-seq.sml M basis-library/real/pack-real.sml M basis-library/real/real.sml M basis-library/sml-nj/unsafe.sml M basis-library/system/date.sml M doc/guide/src/CommonSubexp.adoc M doc/guide/src/MLBasisAnnotations.adoc M doc/guide/src/SuccessorML.adoc M lib/mlton/basic/list.sig M lib/mlton/basic/list.sml M mlton/ast/ast-core.fun M mlton/ast/ast-core.sig M mlton/atoms/const.fun M mlton/atoms/const.sig M mlton/atoms/prim.fun M mlton/atoms/prim.sig M mlton/atoms/word-x-vector.fun M mlton/atoms/word-x-vector.sig M mlton/backend/backend.fun M mlton/backend/ssa-to-rssa.fun M mlton/closure-convert/abstract-value.fun M mlton/closure-convert/abstract-value.sig M mlton/closure-convert/closure-convert.fun M mlton/control/control-flags.sig M mlton/control/control-flags.sml M mlton/core-ml/core-ml.fun M mlton/core-ml/core-ml.sig M mlton/defunctorize/defunctorize.fun M mlton/elaborate/elaborate-core.fun M mlton/elaborate/scope.fun M mlton/front-end/ml.grm M mlton/front-end/ml.lex M mlton/match-compile/match-compile.fun M mlton/match-compile/match-compile.sig M mlton/match-compile/nested-pat.fun M mlton/match-compile/nested-pat.sig M mlton/ssa/common-subexp.fun M mlton/ssa/constant-propagation.fun M mlton/ssa/global.fun M mlton/ssa/ssa-to-ssa2.fun M mlton/ssa/ssa-tree.fun M mlton/ssa/ssa-tree.sig M mlton/ssa/ssa-tree2.fun M mlton/ssa/ssa-tree2.sig M mlton/ssa/useless.fun M mlton/xml/xml-tree.fun M mlton/xml/xml-tree.sig Log Message: ----------- Merge pull request #173 from MatthewFluet/vector-exps-and-pats Vector expressions and patterns and Vector_vector primitive Support vector expressions (`#[e1, e2, ..., en]`) and vector patterns (`#[p1, p2, ..., pn]`), as supported by SML/NJ. Vector patterns are eliminated by match compilation and correctly participate in non-exhaustive and redundant pattern warnings. Vector expressions could be eliminated by defunctorize (CoreML to XML conversion), by expanding a vector expression to an `Array_uninit`, a sequence of `Array_update`s, and an `Array_toVector`. However, it is more powerful to introduce an n-ary `Vector_vector` primitive; in contrast to the `Array_uninit` `Array_update` `Array_toVector` sequence, a `Vector_vector` primitive is pure and can participate in optimizations (e.g., globalization during closure conversion and constant propagation; common subexpression elimination; remove unused). The `Vector_vector` primitive is eliminated by the SSA to SSA2 conversion, by expanding to an `Array_uninit` `Array_update` `Array_toVector` sequence. Note that this vector creation is straight-line code rather than controlled by a loop. The `Vector_vector` primitive is also used in the Basis Library implementation instead of the `Array_array0Const` primitive to share the heap space required for zero-length vectors among all vectors (of a given type); the `Array_array0Const` primitive has been ineffective for some time (see be8c5f5). Future work will develop optimizations to introduce `Vector_vector` expressions. With suitable inlining and loop unrolling, typical uses of `Vector.tabulate` should yield recognizable `Array_uninit` `Array_update` `Array_toVector` sequences that can be replaced by `Vector_vector`; in particular, the various `Vector.new{0,1,2,3,4,5,6}` functions from the MLton library (and used pervasively in the compiler implementation) are good candidates. A more ambitious goal is optimize `Vector.fromList [e1,...,en]` to `Vector_vector (e1,...,en)` (where the difficulty arises from first unroll the `List.length` loop to reveal a manifest constant to unroll the `Vector.unfold` loop). Initial support for vector expressions and the `Vector_vector` primitive were undertaken by Krishna Ravikumar as an RIT CS MS Capstone Project ([report](https://www.cs.rit.edu/usr/local/pub/GraduateProjects/2155/2155/kr5748/Report.pdf) and [poster](https://www.cs.rit.edu/usr/local/pub/GraduateProjects/2155/2155/kr5748/Poster.pdf)). Closes MLton/mlton#118. Compare: https://github.com/MLton/mlton/compare/35196046d7df...1c104ac0da54 |
|
From: GitHub <no...@gi...> - 2017-03-29 17:58:08
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 5be420572be4bf5bbd7f64315505b18825a35c26 https://github.com/MLton/mlton/commit/5be420572be4bf5bbd7f64315505b18825a35c26 Author: Matthew Fluet <mat...@gm...> Date: 2017-03-29 (Wed, 29 Mar 2017) Changed paths: M mlton/front-end/mlb.lex Log Message: ----------- Correct column numbers after DOS line ending While MLton/mlton#171 addressed MLton/mlton#170 for `.sml` files through `ml.lex`, the same bug is present in `mlb.lex` for `.mlb` files. The issue is less severe, since warnings/errors and def-use information is less likely to reference a `.mlb` file, but should be addressed. Commit: 808bcc69d9291c731267916fe11b5cc36c34a30c https://github.com/MLton/mlton/commit/808bcc69d9291c731267916fe11b5cc36c34a30c Author: Matthew Fluet <mat...@gm...> Date: 2017-03-29 (Wed, 29 Mar 2017) Changed paths: M mlton/front-end/ml.lex Log Message: ----------- Refactor patch to correct column number after DOS line ending MLton style prefers uncurried functions over curried functions (reserving curried functions for those with staging). Rename 'newLinePos' to 'lastPos', since the function simply calculates the last position of the matched text. Commit: 7d8bf811783165395344a0039296e277b872f462 https://github.com/MLton/mlton/commit/7d8bf811783165395344a0039296e277b872f462 Author: Matthew Fluet <mat...@gm...> Date: 2017-03-29 (Wed, 29 Mar 2017) Changed paths: M mlton/front-end/ml.lex M mlton/front-end/mlb.lex Log Message: ----------- Tweak lexer error messages Minor tweaks to error messages originating in lexer: * Use eol position for "Unclosed text constant at eol"; must be careful to compute error position before calling Source.newline. * Fake eof position. Commit: 35196046d7dfdd371432b10bf8af88bba22ce7bd https://github.com/MLton/mlton/commit/35196046d7dfdd371432b10bf8af88bba22ce7bd Author: Matthew Fluet <Mat...@gm...> Date: 2017-03-29 (Wed, 29 Mar 2017) Changed paths: M mlton/front-end/ml.lex M mlton/front-end/mlb.lex Log Message: ----------- Merge pull request #172 from MatthewFluet/dos-eol Update DOS eol handling and tweak lexer error messages Compare: https://github.com/MLton/mlton/compare/f0784eb141ab...35196046d7df |
|
From: GitHub <no...@gi...> - 2017-03-27 13:37:34
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 5aed17f729976403b2af894feeab2b5e8c29e09f https://github.com/MLton/mlton/commit/5aed17f729976403b2af894feeab2b5e8c29e09f Author: Jacob Zimmerman <zim...@gm...> Date: 2017-03-23 (Thu, 23 Mar 2017) Changed paths: M mlton/front-end/ml.lex Log Message: ----------- Correct off-by-one error in column numbers When files were encoded with Windows-style `\r\n` line endings, we were incorrectly including the `\n` when computing the column number. Closes #170. Commit: f660fe8532b924742dd64266ad379bbf4d227c7a https://github.com/MLton/mlton/commit/f660fe8532b924742dd64266ad379bbf4d227c7a Author: Jacob Zimmerman <zim...@gm...> Date: 2017-03-26 (Sun, 26 Mar 2017) Changed paths: M mlton/front-end/ml.lex Log Message: ----------- fixup: Correctly handle \\{eol} Commit: f0784eb141abc446ee2bf87d5580e1097a30eeeb https://github.com/MLton/mlton/commit/f0784eb141abc446ee2bf87d5580e1097a30eeeb Author: Matthew Fluet <Mat...@gm...> Date: 2017-03-27 (Mon, 27 Mar 2017) Changed paths: M mlton/front-end/ml.lex Log Message: ----------- Merge pull request #171 from jez/jez-dos-line-endings Correct off-by-one error in column numbers Compare: https://github.com/MLton/mlton/compare/62825159c14a...f0784eb141ab |
|
From: GitHub <no...@gi...> - 2017-03-16 02:23:21
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 26669a64cefc5bc38a61112a90110def3e8fb591 https://github.com/MLton/mlton/commit/26669a64cefc5bc38a61112a90110def3e8fb591 Author: Matthew Fluet <mat...@gm...> Date: 2016-10-04 (Tue, 04 Oct 2016) Changed paths: M mlton/control/control-flags.sml Log Message: ----------- Consolidate SuccessorML annotations Commit: 9d7bf09bee92f91abb114311448c35126d061359 https://github.com/MLton/mlton/commit/9d7bf09bee92f91abb114311448c35126d061359 Author: Matthew Fluet <mat...@gm...> Date: 2016-10-04 (Tue, 04 Oct 2016) Changed paths: M mlton/control/control-flags.sml Log Message: ----------- Simplify MLB annotation parsing Avoid repeated tokenization during accumulation of the parseIdAndArgs function. Commit: bbbbd0e8c78eda6f414c91b3cc6995fa7b581777 https://github.com/MLton/mlton/commit/bbbbd0e8c78eda6f414c91b3cc6995fa7b581777 Author: Matthew Fluet <mat...@gm...> Date: 2016-10-04 (Tue, 04 Oct 2016) Changed paths: M mlton/control/control-flags.sig Log Message: ----------- Consolidate SuccessorML annotations Commit: 99b543737f37cacdbb3901920ecea8762fc6bca5 https://github.com/MLton/mlton/commit/99b543737f37cacdbb3901920ecea8762fc6bca5 Author: Matthew Fluet <mat...@gm...> Date: 2016-10-04 (Tue, 04 Oct 2016) Changed paths: M mlton/control/control-flags.sig M mlton/control/control-flags.sml M mlton/elaborate/elaborate-mlbs.fun M mlton/main/main.fun Log Message: ----------- Generalize Control.Elaborate.parseResult Change datatype ('a, 'b) parseResult = Bad | Deprecated of 'a | Good of 'b | Other to datatype 'a parseResult = Bad | Good of 'a | Other | Proxy of 'a list * {deprecated: bool} allowing a Proxy to serve either as replacements for a deprecated annotation or as replacements for an aggregate annotation. Commit: 58b9605a34a001b3d74dff4bd2b656f9d8d53719 https://github.com/MLton/mlton/commit/58b9605a34a001b3d74dff4bd2b656f9d8d53719 Author: Matthew Fluet <mat...@gm...> Date: 2016-10-07 (Fri, 07 Oct 2016) Changed paths: M mlton/control/control-flags.sml Log Message: ----------- Generalize makeDeprecated to makeProxy Introduce a makeProxy function to create proxy annotations, replacing the previous makeDeprecated function. Commit: e7d456533966fa4bcc25aaf1e45f9f22a5cb26b1 https://github.com/MLton/mlton/commit/e7d456533966fa4bcc25aaf1e45f9f22a5cb26b1 Author: Matthew Fluet <mat...@gm...> Date: 2016-10-07 (Fri, 07 Oct 2016) Changed paths: M doc/guide/src/MLBasisAnnotations.adoc M doc/guide/src/SuccessorML.adoc M mlton/control/control-flags.sml Log Message: ----------- Introduce allowSuccessorML proxy annotation Add and document an `allowSuccessorML {false|true}` MLB annotation to enable all Successor ML features with a single annotation. Closes MLton/mlton#143. Commit: d228218cc1d69fc80a339f9d4516873297e05de6 https://github.com/MLton/mlton/commit/d228218cc1d69fc80a339f9d4516873297e05de6 Author: Matthew Fluet <mat...@gm...> Date: 2016-10-10 (Mon, 10 Oct 2016) Changed paths: M mlton/front-end/ml.lex Log Message: ----------- Simplify reg exps for extended numeric literals Commit: 2f3bfe483273a5f1281b65ada4ac7721101952d2 https://github.com/MLton/mlton/commit/2f3bfe483273a5f1281b65ada4ac7721101952d2 Author: Matthew Fluet <mat...@gm...> Date: 2016-10-10 (Mon, 10 Oct 2016) Changed paths: M mlton/front-end/ml.lex Log Message: ----------- Refactor ext. numeric literals check in scanner Commit: 988ce4de51c968b6d9974b7b6d17901333cc24d3 https://github.com/MLton/mlton/commit/988ce4de51c968b6d9974b7b6d17901333cc24d3 Author: Matthew Fluet <mat...@gm...> Date: 2016-10-10 (Mon, 10 Oct 2016) Changed paths: M mlton/front-end/ml.grm M mlton/front-end/ml.lex Log Message: ----------- Fix parsing of numeric labels MLton has (erroneously) allowed any integer constant denoting a positive value to be used as numeric label; e.g., val r = {001 = "a", 0xFF = "b"} However, the Definition states > The class Lab is extended to include the *numeric* labels `1` `2` `3` > ..., i.e., any numeral not starting with `0`. No other SML compiler allows a hex integer constant and only the MLKit allows a dec integer constant with a leading zero. With the introduction of extended literal constants, it is more important to disallow invalid numeric labels, else there is unnecessary ambiguity in: val r = {10 = "a", 1_0 = "b", 1__0 = "c"} This commit continues to use the INT token for numeric labels, but (like the handling of a digit for infix declarations) checks that the representation of the INT token does not begin with 0, is not an extended literal, is not negative, and is decimal. An alternate strategy would be to introduce a NUMERIC token into the scanner (and parse the integer expressions via: int = INT | NUMERIC). Commit: 65968f6ec179b665c1ea6ff777435f243e688a15 https://github.com/MLton/mlton/commit/65968f6ec179b665c1ea6ff777435f243e688a15 Author: Matthew Fluet <mat...@gm...> Date: 2016-10-10 (Mon, 10 Oct 2016) Changed paths: M doc/guide/src/SuccessorML.adoc M mlton/front-end/ml.lex Log Message: ----------- Drop 0xwF and 0bw1 extended numeric constants The alternate word prefixes ("0xw" and "0bw") seem minor and are not incorporated into the extensions at https://github.com/SMLFamily/Successor-ML Commit: c5f30c24db6be940866b1afaea3a5bda71d142d6 https://github.com/MLton/mlton/commit/c5f30c24db6be940866b1afaea3a5bda71d142d6 Author: Matthew Fluet <mat...@gm...> Date: 2016-10-10 (Mon, 10 Oct 2016) Changed paths: M doc/guide/src/MLBasisAnnotations.adoc M doc/guide/src/SuccessorML.adoc M mlton/control/control-flags.sig M mlton/control/control-flags.sml M mlton/front-end/ml.lex Log Message: ----------- Rename allowExtendedLiterals to allowExtendedNumConsts Also introduce "allowExtendedConsts" as a proxy for "allowExtendedNumConsts". This is preparation for a future "allowExtendedTextConsts". Commit: e9474422f009d336d179159f565aa3c2a11734ef https://github.com/MLton/mlton/commit/e9474422f009d336d179159f565aa3c2a11734ef Author: Matthew Fluet <mat...@gm...> Date: 2016-10-10 (Mon, 10 Oct 2016) Changed paths: M mlton/front-end/ml.lex Log Message: ----------- Process newline of line comment in block comment A line comment within a block comment failed to call Source.newline and would assign incorrect source positions to subsequent tokens. Commit: 3f29db2dbf2e95adb897983d53374bdda02f26aa https://github.com/MLton/mlton/commit/3f29db2dbf2e95adb897983d53374bdda02f26aa Author: Matthew Fluet <mat...@gm...> Date: 2016-10-10 (Mon, 10 Oct 2016) Changed paths: M mlton/front-end/ml.lex Log Message: ----------- Use {eol} regexp for newline in block comment All other calls to Source.newline are triggered by the {eol} regexp. Commit: f70f6887abb2c2b41a4d305a3809c9f2f2037276 https://github.com/MLton/mlton/commit/f70f6887abb2c2b41a4d305a3809c9f2f2037276 Author: Matthew Fluet <mat...@gm...> Date: 2016-10-10 (Mon, 10 Oct 2016) Changed paths: M mlton/front-end/ml.lex Log Message: ----------- Format code for line comment in block comment Commit: 166cff1ea2584f7c5d176f90ebbb2fd7c1df6640 https://github.com/MLton/mlton/commit/166cff1ea2584f7c5d176f90ebbb2fd7c1df6640 Author: Matthew Fluet <mat...@gm...> Date: 2016-10-10 (Mon, 10 Oct 2016) Changed paths: M mlton/front-end/ml.lex Log Message: ----------- Separate comment states from string states Commit: 5ea0a1f778419ebbc9ca67e936df78a7ffba85a8 https://github.com/MLton/mlton/commit/5ea0a1f778419ebbc9ca67e936df78a7ffba85a8 Author: Matthew Fluet <mat...@gm...> Date: 2016-10-10 (Mon, 10 Oct 2016) Changed paths: M mlton/front-end/mlb.lex Log Message: ----------- Allow line comments in MLB files Since the MLB annotations of an MLB file are processed after parsing, there is no way to only support line comments after seeing an appropriate enabling annotation. Therefore, simply unconditionally allow line comments in MLB files. Commit: a8a8932572530868c7981c5b52b3135b0fb345f7 https://github.com/MLton/mlton/commit/a8a8932572530868c7981c5b52b3135b0fb345f7 Author: Matthew Fluet <mat...@gm...> Date: 2016-10-10 (Mon, 10 Oct 2016) Changed paths: M mlton/front-end/ml.lex Log Message: ----------- Fix error message for extended num consts Commit: 6b1006c37b8c44c9028166b68ee2e90259323ed3 https://github.com/MLton/mlton/commit/6b1006c37b8c44c9028166b68ee2e90259323ed3 Author: Matthew Fluet <mat...@gm...> Date: 2016-10-11 (Tue, 11 Oct 2016) Changed paths: M mlton/control/control-flags.sig M mlton/control/control-flags.sml Log Message: ----------- Introduce allowExtendedTextConsts annotation Commit: d8c83ffef9a18ece3eed95b95931aff56d4cfa92 https://github.com/MLton/mlton/commit/d8c83ffef9a18ece3eed95b95931aff56d4cfa92 Author: Matthew Fluet <mat...@gm...> Date: 2016-10-11 (Tue, 11 Oct 2016) Changed paths: M mlton/front-end/ml.lex Log Message: ----------- Unify lexing of numeric escapes in strings Would like to use allowExtendedTextConsts to enable/disable \Uxxxxxxxx escapes, but there are a few uses of \Uxxxxxxxx in the Basis Library implementation and the regression suite. Commit: 46b04c714e7c2d036c1b950800bed30d79f39e6b https://github.com/MLton/mlton/commit/46b04c714e7c2d036c1b950800bed30d79f39e6b Author: Matthew Fluet <mat...@gm...> Date: 2016-10-11 (Tue, 11 Oct 2016) Changed paths: M mlton/front-end/ml.lex Log Message: ----------- Support UTF8 in text constants. Use allowExtendedTextConsts to allow syntactically well-formed UTF8 byte sequences in text constants. Technically, allows any 1, 2, 3, or 4 byte sequence that can be properly decoded to a binary number according to the UTF8 encoding/decoding scheme, but does not explicitly reject invalid sequences. Closes MLton/mlton#117. Commit: f7afaee4403527cd35c80b9f6b2400d4b210245a https://github.com/MLton/mlton/commit/f7afaee4403527cd35c80b9f6b2400d4b210245a Author: Matthew Fluet <mat...@gm...> Date: 2016-10-11 (Tue, 11 Oct 2016) Changed paths: M mlton/front-end/ml.lex Log Message: ----------- Improve lexer error messages Commit: 8cce7f39eaea17c9929624627416b620df9dd397 https://github.com/MLton/mlton/commit/8cce7f39eaea17c9929624627416b620df9dd397 Author: Matthew Fluet <mat...@gm...> Date: 2017-02-17 (Fri, 17 Feb 2017) Changed paths: M doc/guide/src/MLBasisAnnotations.adoc M doc/guide/src/SuccessorML.adoc Log Message: ----------- Document allowExtendedTextConsts annotation Commit: a2606d088b6729eed9fcf404b98e1a499d17f806 https://github.com/MLton/mlton/commit/a2606d088b6729eed9fcf404b98e1a499d17f806 Author: Matthew Fluet <mat...@gm...> Date: 2017-03-14 (Tue, 14 Mar 2017) Changed paths: M mlton/front-end/ml.lex M mlton/front-end/mlb.lex Log Message: ----------- Major refactoring of ml.lex and mlb.lex Refactor ml.lex and mlb.lex to be more maintainable: * Rename lexer states to be more descriptive. * Mediate access to references (used comments, line directives, and text constants) with functions. * Produce better error messages (e.g., unclosed text constant at eof, illegal line directive) * Tweak regular expressions, especially ones using double quotes, to make the files compatible with sml-mode highlighting. * Minor semantic changes: allow vertical tab as white space; allow white space after file name in line directives. Commit: 8a47e878ee9f3553128a2ef67e1f102a061cbb7e https://github.com/MLton/mlton/commit/8a47e878ee9f3553128a2ef67e1f102a061cbb7e Author: Matthew Fluet <mat...@gm...> Date: 2017-03-14 (Tue, 14 Mar 2017) Changed paths: M basis-library/text/char0.sml M bin/regression M mlton/front-end/ml.lex Log Message: ----------- Use allowExtendedTextConsts to enable \Uxxxxxxxx escapes Eliminate one use of \Uxxxxxxxx in Basis Library implementation and use 'allowExtendedTextConsts true' in regression script. Commit: c96e5508d368fd7308d501a2a02e5fd2e2679461 https://github.com/MLton/mlton/commit/c96e5508d368fd7308d501a2a02e5fd2e2679461 Author: Matthew Fluet <mat...@gm...> Date: 2017-03-15 (Wed, 15 Mar 2017) Changed paths: M mlton/control/control-flags.sig M mlton/control/control-flags.sml M mlton/front-end/ml.grm Log Message: ----------- Update record punning expressions extension Rename 'allowRecPunning' annotation to 'allowRecordPunExps'. Allow an optional type constraint in a record punning expression, as an optional type constraint is allowed in a record punning pattern. Commit: a342cbff410b393975828f28a3e1d2a9b2b72034 https://github.com/MLton/mlton/commit/a342cbff410b393975828f28a3e1d2a9b2b72034 Author: Matthew Fluet <mat...@gm...> Date: 2017-03-15 (Wed, 15 Mar 2017) Changed paths: M doc/guide/src/MLBasisAnnotations.adoc M doc/guide/src/SuccessorML.adoc Log Message: ----------- Update documentation on Successor ML features Commit: 27dc5a1d82d983ab17367a6311b5f2b6e71c3fb6 https://github.com/MLton/mlton/commit/27dc5a1d82d983ab17367a6311b5f2b6e71c3fb6 Author: Matthew Fluet <mat...@gm...> Date: 2017-03-15 (Wed, 15 Mar 2017) Changed paths: M doc/guide/src/SuccessorML.adoc M doc/guide/src/Unicode.adoc Log Message: ----------- Update Unicode page in guide Commit: 228fe969edc0a194a04c912486ac4b7551b7731f https://github.com/MLton/mlton/commit/228fe969edc0a194a04c912486ac4b7551b7731f Author: Matthew Fluet <mat...@gm...> Date: 2017-03-15 (Wed, 15 Mar 2017) Changed paths: M mlton/front-end/ml.grm Log Message: ----------- Update ml.grm for allowOptBar and allowOptSemicolon Unify annotation check and error messages for allowOptBar and allowOptSemicolon with dedicated non-terminals. Tweak grammar to allow let decs in exp ; end and ( exp ; ) with allowOptSemiclon; i.e., a single expression followed by a semicolon. Commit: 62825159c14aa5be53e0fbef9ddca36e7a4d9bdd https://github.com/MLton/mlton/commit/62825159c14aa5be53e0fbef9ddca36e7a4d9bdd Author: Matthew Fluet <Mat...@gm...> Date: 2017-03-15 (Wed, 15 Mar 2017) Changed paths: M basis-library/text/char0.sml M bin/regression M doc/guide/src/MLBasisAnnotations.adoc M doc/guide/src/SuccessorML.adoc M doc/guide/src/Unicode.adoc M mlton/control/control-flags.sig M mlton/control/control-flags.sml M mlton/elaborate/elaborate-mlbs.fun M mlton/front-end/ml.grm M mlton/front-end/ml.lex M mlton/front-end/mlb.lex M mlton/main/main.fun Log Message: ----------- Merge pull request #169 from MatthewFluet/succ-ml-updates Various SuccessorML updates * Add an `allowSuccessorML {false|true}` MLB annotation to enable all Successor ML features with a single annotation. Closes MLton/mlton#143. * Fix parsing of numeric labels to only accept an INT token that does not begin with 0, is not an extended literal, is not negative, and is decimal. * Drop the alternate word prefixes (`0xw` and `0bw`). * Unconditionally allow line comments in MLB files. * Allow UTF-8 byte sequences in text constants. Closes MLton/mlton#117. * Refactor ml.lex and mlb.lex to be more maintainable. * Rename `allowRecPunning` annotation to `allowRecordPunExps`. * Update documentation. Compare: https://github.com/MLton/mlton/compare/73846f0efdb2...62825159c14a |
|
From: GitHub <no...@gi...> - 2017-02-27 19:19:05
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: cb739b2b5d788e0d610fa8c8112bb5bf146e5ce7 https://github.com/MLton/mlton/commit/cb739b2b5d788e0d610fa8c8112bb5bf146e5ce7 Author: Hai Nguyen Van <hai...@lr...> Date: 2017-02-27 (Mon, 27 Feb 2017) Changed paths: M mlyacc/examples/calc/README A mlyacc/examples/calc/calc.mlb M mlyacc/examples/calc/calc.sml R mlyacc/examples/calc/sources.cm M mlyacc/examples/fol/README A mlyacc/examples/fol/fol.mlb M mlyacc/examples/fol/parse.sml R mlyacc/examples/fol/sources.cm M mlyacc/examples/pascal/README M mlyacc/examples/pascal/parser.sml A mlyacc/examples/pascal/pascal.mlb R mlyacc/examples/pascal/sources.cm Log Message: ----------- Updated ML-Yacc examples (calc, fol, pascal) to comply with MLton build process. See issue #167 on GitHub. Commit: 73846f0efdb22426dcc5dbca862b936fba600be9 https://github.com/MLton/mlton/commit/73846f0efdb22426dcc5dbca862b936fba600be9 Author: Matthew Fluet <Mat...@gm...> Date: 2017-02-27 (Mon, 27 Feb 2017) Changed paths: M mlyacc/examples/calc/README A mlyacc/examples/calc/calc.mlb M mlyacc/examples/calc/calc.sml R mlyacc/examples/calc/sources.cm M mlyacc/examples/fol/README A mlyacc/examples/fol/fol.mlb M mlyacc/examples/fol/parse.sml R mlyacc/examples/fol/sources.cm M mlyacc/examples/pascal/README M mlyacc/examples/pascal/parser.sml A mlyacc/examples/pascal/pascal.mlb R mlyacc/examples/pascal/sources.cm Log Message: ----------- Merge pull request #168 from EmptyStackExn/master Updated ML-Yacc examples (calc, fol, pascal) to comply with MLton build process. Closes MLton/mlton#167. Compare: https://github.com/MLton/mlton/compare/7f6ba34271ed...73846f0efdb2 |
|
From: GitHub <no...@gi...> - 2017-02-03 19:30:32
|
Branch: refs/heads/master Home: https://github.com/MLton/mltonlib Commit: 9cefa9eb0c4fc0c48c2dd1d687e3ef756037782a https://github.com/MLton/mltonlib/commit/9cefa9eb0c4fc0c48c2dd1d687e3ef756037782a Author: Ville Laurikari <ville@susi.local> Date: 2017-01-31 (Tue, 31 Jan 2017) Changed paths: A org/mlton/ville/misc/unstable/GNUmakefile A org/mlton/ville/misc/unstable/README A org/mlton/ville/misc/unstable/common.mk A org/mlton/ville/misc/unstable/detail/bit-field.sml A org/mlton/ville/misc/unstable/detail/histogram.sml A org/mlton/ville/misc/unstable/detail/mk-deck.sml A org/mlton/ville/misc/unstable/detail/mk-random.sml A org/mlton/ville/misc/unstable/detail/probability-vector.sml A org/mlton/ville/misc/unstable/detail/subsets.sml A org/mlton/ville/misc/unstable/detail/time-limit.sml A org/mlton/ville/misc/unstable/generic.mlb A org/mlton/ville/misc/unstable/lib.mlb A org/mlton/ville/misc/unstable/mlb-path-map A org/mlton/ville/misc/unstable/public/bit-field.sig A org/mlton/ville/misc/unstable/public/deck.sig A org/mlton/ville/misc/unstable/public/export.sml A org/mlton/ville/misc/unstable/public/histogram.sig A org/mlton/ville/misc/unstable/public/option-parser.sig A org/mlton/ville/misc/unstable/public/probability-vector.sig A org/mlton/ville/misc/unstable/public/random.sig A org/mlton/ville/misc/unstable/public/subsets.sig A org/mlton/ville/misc/unstable/public/time-limit.sig A org/mlton/ville/misc/unstable/tests/histogram-test.mlb A org/mlton/ville/misc/unstable/tests/histogram-test.sml Log Message: ----------- Add an ad-hoc collection of tools used in my projects. Commit: 4fd8611270ade02034b82edc3682154a153d0d06 https://github.com/MLton/mltonlib/commit/4fd8611270ade02034b82edc3682154a153d0d06 Author: Matthew Fluet <Mat...@gm...> Date: 2017-02-03 (Fri, 03 Feb 2017) Changed paths: A org/mlton/ville/misc/unstable/GNUmakefile A org/mlton/ville/misc/unstable/README A org/mlton/ville/misc/unstable/common.mk A org/mlton/ville/misc/unstable/detail/bit-field.sml A org/mlton/ville/misc/unstable/detail/histogram.sml A org/mlton/ville/misc/unstable/detail/mk-deck.sml A org/mlton/ville/misc/unstable/detail/mk-random.sml A org/mlton/ville/misc/unstable/detail/probability-vector.sml A org/mlton/ville/misc/unstable/detail/subsets.sml A org/mlton/ville/misc/unstable/detail/time-limit.sml A org/mlton/ville/misc/unstable/generic.mlb A org/mlton/ville/misc/unstable/lib.mlb A org/mlton/ville/misc/unstable/mlb-path-map A org/mlton/ville/misc/unstable/public/bit-field.sig A org/mlton/ville/misc/unstable/public/deck.sig A org/mlton/ville/misc/unstable/public/export.sml A org/mlton/ville/misc/unstable/public/histogram.sig A org/mlton/ville/misc/unstable/public/option-parser.sig A org/mlton/ville/misc/unstable/public/probability-vector.sig A org/mlton/ville/misc/unstable/public/random.sig A org/mlton/ville/misc/unstable/public/subsets.sig A org/mlton/ville/misc/unstable/public/time-limit.sig A org/mlton/ville/misc/unstable/tests/histogram-test.mlb A org/mlton/ville/misc/unstable/tests/histogram-test.sml Log Message: ----------- Merge pull request #2 from laurikari/master Add an ad-hoc collection of tools used in my projects. Compare: https://github.com/MLton/mltonlib/compare/92450815c771...4fd8611270ad |
|
From: GitHub <no...@gi...> - 2017-02-03 18:27:51
|
Branch: refs/heads/master Home: https://github.com/MLton/mltonlib Commit: f1f56ec85daf18c4188ee7165c78b4ff25211b41 https://github.com/MLton/mltonlib/commit/f1f56ec85daf18c4188ee7165c78b4ff25211b41 Author: Armando Doval <arm...@gm...> Date: 2015-02-17 (Tue, 17 Feb 2015) Changed paths: M com/ssh/extended-basis/unstable/public/concept/flags.sig Log Message: ----------- Added "none" to FLAGS signature in Extended Basis. Commit: 04477d37e709c3bcff9c26a9b00494ee85469f34 https://github.com/MLton/mltonlib/commit/04477d37e709c3bcff9c26a9b00494ee85469f34 Author: Matthew Fluet <Mat...@gm...> Date: 2017-02-03 (Fri, 03 Feb 2017) Changed paths: M com/ssh/extended-basis/unstable/public/concept/flags.sig Log Message: ----------- Merge pull request #1 from InquisitiveCoder/extended-basis-flags Added "none" to FLAGS signature in Extended Basis. Compare: https://github.com/MLton/mltonlib/compare/4fd8611270ad...04477d37e709 |
|
From: GitHub <no...@gi...> - 2017-01-25 19:56:33
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 122908e84d37f74228c44811306ea009acc10934 https://github.com/MLton/mlton/commit/122908e84d37f74228c44811306ea009acc10934 Author: Daniel Moerner <dmo...@gm...> Date: 2017-01-24 (Tue, 24 Jan 2017) Changed paths: M bin/add-cross Log Message: ----------- Use "$src"/bin for $PATH. Using dirname to set the $PATH of the bin directory, when add-cross is invoked from the bin directory itself, results in '.' being added to $PATH. This causes add-cross to fail. Using a relative path from "$src" picks up the full path of the bin directory from pwd. Commit: 46beff87e9b7a8190ad6c1fc60484fa395b66061 https://github.com/MLton/mlton/commit/46beff87e9b7a8190ad6c1fc60484fa395b66061 Author: Daniel Moerner <dmo...@gm...> Date: 2017-01-24 (Tue, 24 Jan 2017) Changed paths: M doc/guide/src/PortingMLton.adoc Log Message: ----------- Update PortingMLton documentation with includes, mlyacc Bootstrapping of MLton on Fedora aarch64 revealed a few changes need to be made in the PortMLton documentation. First, the user needs to be reminded to make sure all includes are in place in the build/ directory on the target machine. Second, bootstrapping mlyacc requires a few extra steps. Commit: 3e70872d4accb0822704a0e3fb4aa92239cd2a92 https://github.com/MLton/mlton/commit/3e70872d4accb0822704a0e3fb4aa92239cd2a92 Author: Daniel Moerner <dmo...@gm...> Date: 2017-01-25 (Wed, 25 Jan 2017) Changed paths: M doc/guide/src/PortingMLton.adoc Log Message: ----------- Remove outdated targetmap make target from PortingMLton docs. Commit: 7f6ba34271ed07910621b308d5c6fb3d3e889fca https://github.com/MLton/mlton/commit/7f6ba34271ed07910621b308d5c6fb3d3e889fca Author: Matthew Fluet <Mat...@gm...> Date: 2017-01-25 (Wed, 25 Jan 2017) Changed paths: M bin/add-cross M doc/guide/src/PortingMLton.adoc Log Message: ----------- Merge pull request #166 from dmoerner/master Fixes to bootstrapping script and documentation Compare: https://github.com/MLton/mlton/compare/49e68e391cc3...7f6ba34271ed |
|
From: GitHub <no...@gi...> - 2016-09-29 17:53:29
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 93597ba9895e7349848ede5ed294bbf18f21b618 https://github.com/MLton/mlton/commit/93597ba9895e7349848ede5ed294bbf18f21b618 Author: Matthew Fluet <mat...@gm...> Date: 2016-09-29 (Thu, 29 Sep 2016) Changed paths: M mlton/atoms/prim.fun Log Message: ----------- Constant fold CPointer_equal(NULL, NULL) to true See discussion at https://sourceforge.net/p/mlton/mailman/message/34493424/. Closes MLton/mlton#119. Commit: 49e68e391cc3106522bd4cc2bd24c7f8d6d1caaf https://github.com/MLton/mlton/commit/49e68e391cc3106522bd4cc2bd24c7f8d6d1caaf Author: Matthew Fluet <Mat...@gm...> Date: 2016-09-29 (Thu, 29 Sep 2016) Changed paths: M mlton/atoms/prim.fun Log Message: ----------- Merge pull request #163 from MatthewFluet/cpointer-const-folding Constant fold CPointer_equal(NULL, NULL) to true Compare: https://github.com/MLton/mlton/compare/043d4141f5f3...49e68e391cc3 |
|
From: GitHub <no...@gi...> - 2016-09-29 13:43:17
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: e49b7ff79a065b6c405cf911e0fa90ec53510926 https://github.com/MLton/mlton/commit/e49b7ff79a065b6c405cf911e0fa90ec53510926 Author: Matthew Fluet <mat...@gm...> Date: 2016-09-29 (Thu, 29 Sep 2016) Changed paths: M runtime/gc/signals.c Log Message: ----------- Fix args to GC_mmapAnon_safe_protect Commit g6435e0e erroneously passed the `prot` as the last, rather than the third, argument to GC_mmapAnon_safe_protect. Commit: 043d4141f5f38f90f591606858b6673f19e02ee7 https://github.com/MLton/mlton/commit/043d4141f5f38f90f591606858b6673f19e02ee7 Author: Matthew Fluet <Mat...@gm...> Date: 2016-09-29 (Thu, 29 Sep 2016) Changed paths: M runtime/gc/signals.c Log Message: ----------- Merge pull request #162 from MatthewFluet/config-needs-sigaltstack-exec-bugfix Fix args to GC_mmapAnon_safe_protect Compare: https://github.com/MLton/mlton/compare/db19554378d6...043d4141f5f3 |
|
From: GitHub <no...@gi...> - 2016-09-29 12:51:56
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 6435e0ee2e590c22932741bfe6ffcf484b7d5666 https://github.com/MLton/mlton/commit/6435e0ee2e590c22932741bfe6ffcf484b7d5666 Author: Matthew Fluet <mat...@gm...> Date: 2016-09-29 (Thu, 29 Sep 2016) Changed paths: M runtime/gc/signals.c M runtime/platform.h M runtime/platform/aix.h M runtime/platform/darwin.h M runtime/platform/freebsd.h M runtime/platform/hpux.h M runtime/platform/hurd.h M runtime/platform/linux.h M runtime/platform/mmap-protect.c M runtime/platform/netbsd.h M runtime/platform/openbsd.h M runtime/platform/solaris.h Log Message: ----------- Introduce NEEDS_SIGALTSTACK_EXEC config Rare platforms have required readable, writable, and executable memory for an alternate signal stack. However, modern platforms frown on memory that is both writable and executable as a security issue. A new NEEDS_SIGALTSTACK_EXEC config parameter is introduced to allow a platform to select whether or not to make the sigaltstack memory executable. See: * http://www.mlton.org/pipermail/mlton-devel/2004-December/026512.html * http://www.mlton.org/pipermail/mlton-devel/2008-February/030169.html * http://www.mlton.org/pipermail/mlton-devel/2008-February/030175.html Closes MLton/mlton#151. Commit: db19554378d64625d4ff650f0481eb46929f3e78 https://github.com/MLton/mlton/commit/db19554378d64625d4ff650f0481eb46929f3e78 Author: Matthew Fluet <Mat...@gm...> Date: 2016-09-29 (Thu, 29 Sep 2016) Changed paths: M runtime/gc/signals.c M runtime/platform.h M runtime/platform/aix.h M runtime/platform/darwin.h M runtime/platform/freebsd.h M runtime/platform/hpux.h M runtime/platform/hurd.h M runtime/platform/linux.h M runtime/platform/mmap-protect.c M runtime/platform/netbsd.h M runtime/platform/openbsd.h M runtime/platform/solaris.h Log Message: ----------- Merge pull request #161 from MatthewFluet/config-needs-sigaltstack-exec Introduce NEEDS_SIGALTSTACK_EXEC config Compare: https://github.com/MLton/mlton/compare/e9b962cc8cce...db19554378d6 |
|
From: GitHub <no...@gi...> - 2016-09-27 19:56:59
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: eb1348fc8a75627c8da5241d4b670896383c4e64 https://github.com/MLton/mlton/commit/eb1348fc8a75627c8da5241d4b670896383c4e64 Author: Matthew Fluet <mat...@gm...> Date: 2016-09-13 (Tue, 13 Sep 2016) Changed paths: M mlton/Makefile Log Message: ----------- Improve version string for devel builds Construct a development build version string from last commit time and last commit hash. Requires git 2.8.1 or later. Closes MLton/mlton#120. Commit: 030d5df10f6b1150daee9d5551578aa7789e1a49 https://github.com/MLton/mlton/commit/030d5df10f6b1150daee9d5551578aa7789e1a49 Author: Matthew Fluet <mat...@gm...> Date: 2016-09-13 (Tue, 13 Sep 2016) Changed paths: M mlton/Makefile M mlton/control/version_sml.src Log Message: ----------- Omit build date and build node from version banner Due to embedding the build date and build node into the version banner, a self-compile is not deterministic, which is a problem on platforms that value reproducible builds. In the past, the build date and build node may have been used to triangulate the source revision and target platform of a build, but have not been used meaningfully in recent memory. Closes MLton/mlton#108. Commit: e34459d49531f7571f26021cf51b870d497b175a https://github.com/MLton/mlton/commit/e34459d49531f7571f26021cf51b870d497b175a Author: Matthew Fluet <mat...@gm...> Date: 2016-09-15 (Thu, 15 Sep 2016) Changed paths: M lib/stubs/mlton-stubs/README Log Message: ----------- Update mlton-stubs/README Commit: 2c38416b23a7d6aa6187a832f0a3fa0eb836a7e3 https://github.com/MLton/mlton/commit/2c38416b23a7d6aa6187a832f0a3fa0eb836a7e3 Author: Matthew Fluet <mat...@gm...> Date: 2016-09-15 (Thu, 15 Sep 2016) Changed paths: R bin/upgrade-basis M mlton/.gitignore M mlton/Makefile Log Message: ----------- Remove upgrade-basis.sml from build The generated `upgrade-basis.sml` was introduced to handle incompatibilities in the Basis Library provided by an old version of MLton and the Basis Library assumed by the current sources. However, there are no incompatibilities with MLton 20130715, MLton 20100608, or MLton 20070826. Nonetheless, the feature testing performed by `bin/upgrade-basis` to generate `upgrade-basis.sml` is time consuming, especially when trying to simply type check the compiler sources. Commit: ee74e4a4c79325afab9719142d73e635a3d7a94d https://github.com/MLton/mlton/commit/ee74e4a4c79325afab9719142d73e635a3d7a94d Author: Matthew Fluet <mat...@gm...> Date: 2016-09-15 (Thu, 15 Sep 2016) Changed paths: M doc/guide/src/CompilingWithSMLNJ.adoc M doc/guide/src/SelfCompiling.adoc Log Message: ----------- Drop references to `upgrade-basis.sml` from guide Commit: e9b962cc8ccef4e7968d5d47aa3ea5b5544a6681 https://github.com/MLton/mlton/commit/e9b962cc8ccef4e7968d5d47aa3ea5b5544a6681 Author: Matthew Fluet <Mat...@gm...> Date: 2016-09-27 (Tue, 27 Sep 2016) Changed paths: R bin/upgrade-basis M doc/guide/src/CompilingWithSMLNJ.adoc M doc/guide/src/SelfCompiling.adoc M lib/stubs/mlton-stubs/README M mlton/.gitignore M mlton/Makefile M mlton/control/version_sml.src Log Message: ----------- Merge pull request #160 from MatthewFluet/build-updates * Improve version string for devel builds (closes MLton/mlton#120) * Omit build date and build note from version banner (closes MLton/mlton#108) * Remove upgrade-basis.sml from build Compare: https://github.com/MLton/mlton/compare/d201ca9a2318...e9b962cc8cce |
|
From: GitHub <no...@gi...> - 2016-09-13 18:40:10
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: e56276a13c4767229b3abaf405d863e1afde3aa6 https://github.com/MLton/mlton/commit/e56276a13c4767229b3abaf405d863e1afde3aa6 Author: Matthew Fluet <mat...@gm...> Date: 2016-09-13 (Tue, 13 Sep 2016) Changed paths: M lib/mlyacc-lib/lrtable.sml Log Message: ----------- Remove use of open in lrtable.sml of MLYacc lib Recent versions of SML/NJ (and, hopefully, future versions of MLton) have implemented proposed Basis Library improvements, including adding `List.sub` as an alias for `List.nth`. In the MLYacc library, a declaration of the form open Array List results in `List.sub` shadowing `Array.sub`, leading to subsequent type errors at the use of `sub`. As the only unqualified name needed is `sub`, replace the declaration with val sub = Array.sub as has been done in the SML/NJ sources (see https://smlnj-gforge.cs.uchicago.edu/scm/viewvc.php?view=rev&root=smlnj&revision=4133). Commit: d201ca9a23188a58993c6d30d2eac1162dae5a85 https://github.com/MLton/mlton/commit/d201ca9a23188a58993c6d30d2eac1162dae5a85 Author: Matthew Fluet <Mat...@gm...> Date: 2016-09-13 (Tue, 13 Sep 2016) Changed paths: M lib/mlyacc-lib/lrtable.sml Log Message: ----------- Merge pull request #159 from MatthewFluet/smlnj-build Remove use of open in lrtable.sml of MLYacc lib Compare: https://github.com/MLton/mlton/compare/2f6cbbd3e087...d201ca9a2318 |
|
From: GitHub <no...@gi...> - 2016-07-21 13:06:26
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 84fccd17d6a5613852d00d96696e4abee16364e3 https://github.com/MLton/mlton/commit/84fccd17d6a5613852d00d96696e4abee16364e3 Author: Matthew Fluet <mat...@gm...> Date: 2016-07-21 (Thu, 21 Jul 2016) Changed paths: M doc/guide/src/SSA.adoc Log Message: ----------- Add another SSA discussion thread Commit: 2f6cbbd3e08757432d88aca80c5ccd73b900f186 https://github.com/MLton/mlton/commit/2f6cbbd3e08757432d88aca80c5ccd73b900f186 Author: Matthew Fluet <Mat...@gm...> Date: 2016-07-21 (Thu, 21 Jul 2016) Changed paths: M doc/guide/src/SSA.adoc Log Message: ----------- Merge pull request #154 from MatthewFluet/guide-updates Add another SSA discussion thread Compare: https://github.com/MLton/mlton/compare/2830a6e018c9...2f6cbbd3e087 |
|
From: GitHub <no...@gi...> - 2016-06-20 11:22:34
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 8c97afed578453023c05c51d071855fc9e64ecdf https://github.com/MLton/mlton/commit/8c97afed578453023c05c51d071855fc9e64ecdf Author: Alexander Abushkevich <al...@ab...> Date: 2016-06-17 (Fri, 17 Jun 2016) Changed paths: M Makefile Log Message: ----------- Do not gzip man pages on OpenBSD Commit: 2830a6e018c905a4fb45813976e43bd314ceafbf https://github.com/MLton/mlton/commit/2830a6e018c905a4fb45813976e43bd314ceafbf Author: Matthew Fluet <Mat...@gm...> Date: 2016-06-20 (Mon, 20 Jun 2016) Changed paths: M Makefile Log Message: ----------- Merge pull request #152 from extensibl/manpages Do not gzip man pages on OpenBSD Compare: https://github.com/MLton/mlton/compare/c656c0a8367f...2830a6e018c9 |
|
From: GitHub <no...@gi...> - 2016-06-15 22:43:23
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 5a580cc3d8d34910e8d39d95c2a47e21548dc403 https://github.com/MLton/mlton/commit/5a580cc3d8d34910e8d39d95c2a47e21548dc403 Author: Alexander Abushkevich <al...@ab...> Date: 2016-06-15 (Wed, 15 Jun 2016) Changed paths: M mlton/main/main.fun Log Message: ----------- Generate position independent code for OpenBSD Commit: c656c0a8367f94017cd30cc996fca951bdf8254a https://github.com/MLton/mlton/commit/c656c0a8367f94017cd30cc996fca951bdf8254a Author: Matthew Fluet <Mat...@gm...> Date: 2016-06-15 (Wed, 15 Jun 2016) Changed paths: M mlton/main/main.fun Log Message: ----------- Merge pull request #150 from extensibl/PIC Generate position independent code for OpenBSD Compare: https://github.com/MLton/mlton/compare/dc7e297afe50...c656c0a8367f |
|
From: GitHub <no...@gi...> - 2016-05-26 17:48:55
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 028a9fc396053ed9ed2135cc84bee85af87b7374 https://github.com/MLton/mlton/commit/028a9fc396053ed9ed2135cc84bee85af87b7374 Author: Alexander Abushkevich <al...@ab...> Date: 2016-05-26 (Thu, 26 May 2016) Changed paths: M runtime/platform/openbsd.c Log Message: ----------- Profiling handler for OpenBSD Commit: dc7e297afe507d226d67effb1686f921706629d5 https://github.com/MLton/mlton/commit/dc7e297afe507d226d67effb1686f921706629d5 Author: Matthew Fluet <Mat...@gm...> Date: 2016-05-26 (Thu, 26 May 2016) Changed paths: M runtime/platform/openbsd.c Log Message: ----------- Merge pull request #149 from extensibl/profiling-handler Profiling handler for OpenBSD Compare: https://github.com/MLton/mlton/compare/dc182ecde85f...dc7e297afe50 |
|
From: GitHub <no...@gi...> - 2016-04-06 18:48:50
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: bd852610c84cf401381e222ec40fc796dfe18570 https://github.com/MLton/mlton/commit/bd852610c84cf401381e222ec40fc796dfe18570 Author: Matthew Fluet <mat...@gm...> Date: 2016-04-06 (Wed, 06 Apr 2016) Changed paths: 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/Makefile M lib/ckit-lib/ckit.tgz M lib/mllpt-lib/Makefile M lib/mllpt-lib/ml-lpt.patch M lib/mllpt-lib/ml-lpt.tgz M lib/mlrisc-lib/MLRISC.patch M lib/mlrisc-lib/MLRISC.tgz M lib/mlrisc-lib/Makefile M lib/smlnj-lib/Makefile M lib/smlnj-lib/smlnj-lib.patch M lib/smlnj-lib/smlnj-lib.tgz Log Message: ----------- Update to SML/NJ 110.79 libraries Commit: dc182ecde85f5cb4171cf4209a551617fa16c582 https://github.com/MLton/mlton/commit/dc182ecde85f5cb4171cf4209a551617fa16c582 Author: Matthew Fluet <Mat...@gm...> Date: 2016-04-06 (Wed, 06 Apr 2016) Changed paths: 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/Makefile M lib/ckit-lib/ckit.tgz M lib/mllpt-lib/Makefile M lib/mllpt-lib/ml-lpt.patch M lib/mllpt-lib/ml-lpt.tgz M lib/mlrisc-lib/MLRISC.patch M lib/mlrisc-lib/MLRISC.tgz M lib/mlrisc-lib/Makefile M lib/smlnj-lib/Makefile M lib/smlnj-lib/smlnj-lib.patch M lib/smlnj-lib/smlnj-lib.tgz Log Message: ----------- Merge pull request #142 from MatthewFluet/smlnj-110.79-libraries Update to SML/NJ 110.79 libraries Compare: https://github.com/MLton/mlton/compare/f3a7a8e44cac...dc182ecde85f |
|
From: GitHub <no...@gi...> - 2016-03-22 20:56:26
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 00ab6e26cc7b9ea8bd93562536278e6b2023f5c6 https://github.com/MLton/mlton/commit/00ab6e26cc7b9ea8bd93562536278e6b2023f5c6 Author: Eugene Akentyev <ak...@gm...> Date: 2016-03-20 (Sun, 20 Mar 2016) Changed paths: M mlton/codegen/llvm-codegen/llvm-codegen.fun Log Message: ----------- Update mkload and mkgep functions to llvm-3.7. Fixes #138. Commit: 57a7131c8c2e1553b39a09c1e08250f2e1925745 https://github.com/MLton/mlton/commit/57a7131c8c2e1553b39a09c1e08250f2e1925745 Author: Eugene Akentyev <ak...@gm...> Date: 2016-03-20 (Sun, 20 Mar 2016) Changed paths: M mlton/codegen/llvm-codegen/llvm-codegen.fun Log Message: ----------- Fix mkload and mkgep comments. Commit: 6740bcf27c9831c2e9a169db8e93d0acbd2b192b https://github.com/MLton/mlton/commit/6740bcf27c9831c2e9a169db8e93d0acbd2b192b Author: Eugene Akentyev <ak...@gm...> Date: 2016-03-22 (Tue, 22 Mar 2016) Changed paths: M doc/guide/src/LLVMCodegen.adoc Log Message: ----------- Update minimum required LLVM version. Commit: f3a7a8e44cac8fc7971bf9ab3e55f8e10e68a072 https://github.com/MLton/mlton/commit/f3a7a8e44cac8fc7971bf9ab3e55f8e10e68a072 Author: Matthew Fluet <Mat...@gm...> Date: 2016-03-22 (Tue, 22 Mar 2016) Changed paths: M doc/guide/src/LLVMCodegen.adoc M mlton/codegen/llvm-codegen/llvm-codegen.fun Log Message: ----------- Merge pull request #139 from ak3n/add_llvm_config_flag Update mkload and mkgep functions to llvm-3.7. Fix #138 Compare: https://github.com/MLton/mlton/compare/a3331b74a46b...f3a7a8e44cac |
|
From: GitHub <no...@gi...> - 2016-02-26 22:10:16
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 6e79342cdcf2e15193d95fcd3a46d164b783aed4 https://github.com/MLton/mlton/commit/6e79342cdcf2e15193d95fcd3a46d164b783aed4 Author: Matthew Fluet <mat...@gm...> Date: 2016-02-26 (Fri, 26 Feb 2016) Changed paths: M Makefile M bin/mlton-script M runtime/Makefile Log Message: ----------- Configure GMP location via Makefile Use a WITH_GMP Makefile variable to specify the GMP location. The GMP location is propagated to the bin/mlton script. Configuring the GMP location is only necessary if gmp.h and/or libgmp are not found on the default include and/or library paths. See MLton/mlton#134. Commit: a3331b74a46b7e6c4c6a85d1a6f1823f42d5e22a https://github.com/MLton/mlton/commit/a3331b74a46b7e6c4c6a85d1a6f1823f42d5e22a Author: Matthew Fluet <mat...@gm...> Date: 2016-02-26 (Fri, 26 Feb 2016) Changed paths: M Makefile M bin/mlton-script M runtime/Makefile Log Message: ----------- Merge pull request #136 from MatthewFluet/with-gmp-config Configure GMP location via Makefile Compare: https://github.com/MLton/mlton/compare/57ccd8ce83a7...a3331b74a46b |
|
From: GitHub <no...@gi...> - 2016-01-16 02:47:29
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 9dcca6a9ca3805ad94bf621360d3ebbf67892b79 https://github.com/MLton/mlton/commit/9dcca6a9ca3805ad94bf621360d3ebbf67892b79 Author: Matthew Fluet <mat...@gm...> Date: 2016-01-15 (Fri, 15 Jan 2016) Changed paths: M doc/guide/src/MLBasis.attachments/mlb-formal.pdf M doc/mlb-formal/mlb-formal.tex Log Message: ----------- Fix typo in mlb-formal ("showin" ==> "shown") Commit: 57ccd8ce83a7026fb5a3ad739a702cd92b4df17b https://github.com/MLton/mlton/commit/57ccd8ce83a7026fb5a3ad739a702cd92b4df17b Author: Matthew Fluet <Mat...@gm...> Date: 2016-01-15 (Fri, 15 Jan 2016) Changed paths: M doc/guide/src/MLBasis.attachments/mlb-formal.pdf M doc/mlb-formal/mlb-formal.tex Log Message: ----------- Merge pull request #130 from MatthewFluet/guide-updates Fix typo in mlb-formal ("showin" ==> "shown") Compare: https://github.com/MLton/mlton/compare/9d74a9a97382...57ccd8ce83a7 |
|
From: GitHub <no...@gi...> - 2016-01-11 01:32:00
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: b9b8838f307d9fb9252fc059375014e26a8d1f3d https://github.com/MLton/mlton/commit/b9b8838f307d9fb9252fc059375014e26a8d1f3d Author: Jonathan Sterling <jon...@us...> Date: 2016-01-10 (Sun, 10 Jan 2016) Changed paths: M doc/mlb-formal/mlb-formal.tex Log Message: ----------- Fix minor typo in mlb-formal.tex Commit: a58a9e9116ec0f8549e116b011e0da6dfd9af953 https://github.com/MLton/mlton/commit/a58a9e9116ec0f8549e116b011e0da6dfd9af953 Author: Jonathan Sterling <jo...@jo...> Date: 2016-01-10 (Sun, 10 Jan 2016) Changed paths: M doc/mlb-formal/mlb-formal.tex Log Message: ----------- mlb-formal: Grammatical fix (it's => its) Commit: 2e9adba6b3e7b9fe3ea96586878950ad7d91f7b0 https://github.com/MLton/mlton/commit/2e9adba6b3e7b9fe3ea96586878950ad7d91f7b0 Author: Jonathan Sterling <jo...@jo...> Date: 2016-01-10 (Sun, 10 Jan 2016) Changed paths: M doc/guide/src/MLBasis.attachments/mlb-formal.pdf Log Message: ----------- Update mlb-formal.pdf Commit: 9d74a9a9738228d0395568ae338b6733c5f29398 https://github.com/MLton/mlton/commit/9d74a9a9738228d0395568ae338b6733c5f29398 Author: Matthew Fluet <Mat...@gm...> Date: 2016-01-10 (Sun, 10 Jan 2016) Changed paths: M doc/guide/src/MLBasis.attachments/mlb-formal.pdf M doc/mlb-formal/mlb-formal.tex Log Message: ----------- Merge pull request #129 from jonsterling/patch-1 Fix minor typos in mlb-formal.tex and update mlb-formal.pdf in guide. Compare: https://github.com/MLton/mlton/compare/50e61ffa6097...9d74a9a97382 |
