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: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2021-10-22 22:14:28
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 007a06b42ffa0a53a740d08c7cb109d9363e1c4c https://github.com/MLton/mlton/commit/007a06b42ffa0a53a740d08c7cb109d9363e1c4c Author: Matthew Fluet <mat...@gm...> Date: 2021-09-09 (Thu, 09 Sep 2021) Changed paths: M doc/guide/src/SuccessorML.adoc Log Message: ----------- Make cosmetic change to formatting of anchored list item Commit: ad050e0fa31bdf43d3bb599d8f168650da068a2f https://github.com/MLton/mlton/commit/ad050e0fa31bdf43d3bb599d8f168650da068a2f Author: Matthew Fluet <mat...@gm...> Date: 2021-09-09 (Thu, 09 Sep 2021) Changed paths: M doc/guide/src/LineDirective.adoc Log Message: ----------- Update link to Norman Ramsey's Noweb Commit: 1ecf751d28099ce006052d575aefe7bdcc5605e0 https://github.com/MLton/mlton/commit/1ecf751d28099ce006052d575aefe7bdcc5605e0 Author: Matthew Fluet <mat...@gm...> Date: 2021-09-09 (Thu, 09 Sep 2021) Changed paths: M doc/guide/src/ShowBasisDirective.adoc Log Message: ----------- Put `showBasis` directive example in a listing block Commit: 37fbd12cc1217d64068c833cbd6beb65c1f9d0bc https://github.com/MLton/mlton/commit/37fbd12cc1217d64068c833cbd6beb65c1f9d0bc Author: Matthew Fluet <mat...@gm...> Date: 2021-09-09 (Thu, 09 Sep 2021) Changed paths: M doc/guide/src/CompileTimeOptions.adoc Log Message: ----------- Replace references to `gcc` to `cc` Commit: 3245e0d6c8730f9b8d513e13088f4e944d8202ad https://github.com/MLton/mlton/commit/3245e0d6c8730f9b8d513e13088f4e944d8202ad Author: Matthew Fluet <mat...@gm...> Date: 2021-09-15 (Wed, 15 Sep 2021) Changed paths: M doc/guide/src/AST.adoc Log Message: ----------- Fix lines included from `ast-core.sig` on `AST` page Commit: 030265d5367ccb985ea3b4d51e66d6b23d002831 https://github.com/MLton/mlton/commit/030265d5367ccb985ea3b4d51e66d6b23d002831 Author: Matthew Fluet <mat...@gm...> Date: 2021-10-21 (Thu, 21 Oct 2021) Changed paths: M doc/guide/src/ValueRestriction.adoc Log Message: ----------- Fix typo in referenced expression on ValueRestriction page Commit: e56b4c9b3801ae927d2a03dc035ffb9395a3b613 https://github.com/MLton/mlton/commit/e56b4c9b3801ae927d2a03dc035ffb9395a3b613 Author: Matthew Fluet <mat...@gm...> Date: 2021-10-21 (Thu, 21 Oct 2021) Changed paths: M doc/guide/src/Fold.adoc Log Message: ----------- Fix link to ValueRestriction page from Fold page Commit: 57c8173b702ea91930fa6718317b269148a5ecf1 https://github.com/MLton/mlton/commit/57c8173b702ea91930fa6718317b269148a5ecf1 Author: Matthew Fluet <mat...@gm...> Date: 2021-10-21 (Thu, 21 Oct 2021) Changed paths: M doc/guide/src/Printf.adoc Log Message: ----------- Add missing `[source,sml]` style to listing blocks on Printf page Commit: f26f55c2b0f1d9209525d5fa79f854e3aa272054 https://github.com/MLton/mlton/commit/f26f55c2b0f1d9209525d5fa79f854e3aa272054 Author: Matthew Fluet <mat...@gm...> Date: 2021-10-21 (Thu, 21 Oct 2021) Changed paths: M doc/guide/src/CommonSubexp.adoc Log Message: ----------- Remove references to `Arith` transfer on `CommonSubexp` page Commit: d7dc8d68193837993b54a697c1b6b163df4415f0 https://github.com/MLton/mlton/commit/d7dc8d68193837993b54a697c1b6b163df4415f0 Author: Matthew Fluet <mat...@gm...> Date: 2021-10-21 (Thu, 21 Oct 2021) Changed paths: M doc/guide/src/Bug.adoc Log Message: ----------- Add additional `BugsYYYYMMDD` pages to `Bug` page Commit: 467a07553d18920d5065f9d1e45f68e18ad66b02 https://github.com/MLton/mlton/commit/467a07553d18920d5065f9d1e45f68e18ad66b02 Author: Matthew Fluet <mat...@gm...> Date: 2021-10-21 (Thu, 21 Oct 2021) Changed paths: M doc/guide/src/HowProfilingWorks.adoc Log Message: ----------- Update `HowProfilingWorksPage` The same technique is used for all codegens for time profiling. Commit: 3358defdb84bdd7ffa2277565ea8dd231da390ca https://github.com/MLton/mlton/commit/3358defdb84bdd7ffa2277565ea8dd231da390ca Author: Matthew Fluet <mat...@gm...> Date: 2021-10-21 (Thu, 21 Oct 2021) Changed paths: M doc/guide/src/License.adoc Log Message: ----------- Fix link to `LICENSE` file on `License` page Commit: 255ea242d9a2cc34fe75bf9bfeca75c4054c9fd5 https://github.com/MLton/mlton/commit/255ea242d9a2cc34fe75bf9bfeca75c4054c9fd5 Author: Matthew Fluet <mat...@gm...> Date: 2021-10-21 (Thu, 21 Oct 2021) Changed paths: M doc/guide/src/BasisLibrary.adoc M doc/guide/src/Bugs20070826.adoc M doc/guide/src/CombineConversions.adoc M doc/guide/src/CompileTimeOptions.adoc M doc/guide/src/ForeignFunctionInterfaceSyntax.adoc M doc/guide/src/Identifier.adoc M doc/guide/src/MLBasisAnnotations.adoc M doc/guide/src/MLBasisSyntaxAndSemantics.adoc M doc/guide/src/MLNLFFIImplementation.adoc M doc/guide/src/PortingMLton.adoc M doc/guide/src/StandardMLGotchas.adoc M doc/guide/src/SuccessorML.adoc Log Message: ----------- Tweak some AsciiDoc formatting This is in preparation of a scripted mass conversion to AsciiDoctor (see https://docs.asciidoctor.org/asciidoctor/latest/migrate/asciidoc-py/#updated-and-deprecated-asciidoc-syntax). Commit: 367ed63dfdf2b58a8531651190bd5deb280c5396 https://github.com/MLton/mlton/commit/367ed63dfdf2b58a8531651190bd5deb280c5396 Author: Matthew Fluet <mat...@gm...> Date: 2021-10-21 (Thu, 21 Oct 2021) Changed paths: M doc/guide/.gitignore M doc/guide/Makefile R doc/guide/bin/InclGitFile.py A doc/guide/bin/asciidoc-to-asciidoctor.sh R doc/guide/bin/check-git-links.sh M doc/guide/bin/mk-git-attribute-entity-flags.sh R doc/guide/bin/mk-html5-footer-conf.sh R doc/guide/bin/mk-html5-header-conf.sh M doc/guide/bin/mk-index.sh R doc/guide/bin/mk-specialsections-conf.sh R doc/guide/conf/asciidoc-docbook45.flags R doc/guide/conf/asciidoc-html5.flags R doc/guide/conf/asciidoc-mlton.flags A doc/guide/conf/html5/docinfo A doc/guide/conf/html5/docinfo-footer.inc A doc/guide/conf/html5/docinfo-header.inc A doc/guide/conf/html5/mlton.css R doc/guide/conf/mlton-asciidoc.conf R doc/guide/conf/mlton-dblatex.sty R doc/guide/conf/mlton-dblatex.xsl R doc/guide/conf/mlton-gcse.js R doc/guide/conf/mlton-html5.conf R doc/guide/conf/mlton.css A doc/guide/lib/asciidoc-docinfoprocessor.rb A doc/guide/lib/preprocess-docinfoprocessor.rb Log Message: ----------- Convert guide to AsciiDoctor Commit: 05711ab42ea97d6323d4dc7885aee6776b030c2c https://github.com/MLton/mlton/commit/05711ab42ea97d6323d4dc7885aee6776b030c2c Author: Matthew Fluet <mat...@gm...> Date: 2021-10-21 (Thu, 21 Oct 2021) Changed paths: M doc/guide/.gitignore M doc/guide/Makefile R doc/guide/bin/asciidoc-to-asciidoctor.sh M doc/guide/src/AST.adoc M doc/guide/src/AdamGoode.adoc M doc/guide/src/AdmitsEquality.adoc M doc/guide/src/Alice.adoc M doc/guide/src/AllocateVariables.adoc M doc/guide/src/AndreiFormiga.adoc M doc/guide/src/ArrayLiteral.adoc M doc/guide/src/BasisLibrary.adoc M doc/guide/src/BounceVars.adoc M doc/guide/src/Bug.adoc M doc/guide/src/Bugs20041109.adoc M doc/guide/src/Bugs20051202.adoc M doc/guide/src/Bugs20070826.adoc M doc/guide/src/Bugs20100608.adoc M doc/guide/src/Bugs20130715.adoc M doc/guide/src/Bugs20180207.adoc M doc/guide/src/Bugs20200722.adoc M doc/guide/src/Bugs20200817.adoc M doc/guide/src/Bugs20201002.adoc M doc/guide/src/Bugs20210117.adoc M doc/guide/src/CCodegen.adoc M doc/guide/src/CKitLibrary.adoc M doc/guide/src/CMinusMinus.adoc M doc/guide/src/CVS.adoc M doc/guide/src/CallGraph.adoc M doc/guide/src/CallingFromCToSML.adoc M doc/guide/src/CallingFromSMLToC.adoc M doc/guide/src/CallingFromSMLToCFunctionPointer.adoc M doc/guide/src/Changelog.adoc M doc/guide/src/ChrisClearwater.adoc M doc/guide/src/Chunkify.adoc M doc/guide/src/Closure.adoc M doc/guide/src/ClosureConvert.adoc M doc/guide/src/Codegen.adoc M doc/guide/src/CollectStatics.adoc M doc/guide/src/CombineConversions.adoc M doc/guide/src/CommonArg.adoc M doc/guide/src/CommonBlock.adoc M doc/guide/src/CommonSubexp.adoc M doc/guide/src/CompilationManager.adoc M doc/guide/src/CompileTimeOptions.adoc M doc/guide/src/CompilerOverview.adoc M doc/guide/src/CompilerPassTemplate.adoc M doc/guide/src/CompilingWithSMLNJ.adoc M doc/guide/src/ConcurrentML.adoc M doc/guide/src/ConcurrentMLImplementation.adoc M doc/guide/src/ConstantPropagation.adoc M doc/guide/src/Contact.adoc M doc/guide/src/Contify.adoc M doc/guide/src/CoreML.adoc M doc/guide/src/CoreMLSimplify.adoc M doc/guide/src/Credits.adoc M doc/guide/src/CrossCompiling.adoc M doc/guide/src/DeadCode.adoc M doc/guide/src/DeepFlatten.adoc M doc/guide/src/DefineTypeBeforeUse.adoc M doc/guide/src/DefinitionOfStandardML.adoc M doc/guide/src/Defunctorize.adoc M doc/guide/src/Developers.adoc M doc/guide/src/Development.adoc M doc/guide/src/Documentation.adoc M doc/guide/src/Drawbacks.adoc M doc/guide/src/DuplicateGlobals.adoc M doc/guide/src/Eclipse.adoc M doc/guide/src/Elaborate.adoc M doc/guide/src/Emacs.adoc M doc/guide/src/EmacsBgBuildMode.adoc M doc/guide/src/EmacsDefUseMode.adoc M doc/guide/src/Enscript.adoc M doc/guide/src/EqualityType.adoc M doc/guide/src/EqualityTypeVariable.adoc M doc/guide/src/EtaExpansion.adoc M doc/guide/src/FAQ.adoc M doc/guide/src/FSharp.adoc M doc/guide/src/Features.adoc M doc/guide/src/FirstClassPolymorphism.adoc M doc/guide/src/Fixpoints.adoc M doc/guide/src/Flatten.adoc M doc/guide/src/Fold.adoc M doc/guide/src/Fold01N.adoc M doc/guide/src/ForLoops.adoc M doc/guide/src/ForeignFunctionInterface.adoc M doc/guide/src/ForeignFunctionInterfaceSyntax.adoc M doc/guide/src/ForeignFunctionInterfaceTypes.adoc M doc/guide/src/FrontEnd.adoc M doc/guide/src/FunctionalRecordUpdate.adoc M doc/guide/src/GMP.adoc M doc/guide/src/GarbageCollection.adoc M doc/guide/src/GenerativeDatatype.adoc M doc/guide/src/GenerativeException.adoc M doc/guide/src/Git.adoc M doc/guide/src/Glade.adoc M doc/guide/src/Globalize.adoc M doc/guide/src/GoogleSummerOfCode2013.adoc M doc/guide/src/GoogleSummerOfCode2014.adoc M doc/guide/src/GoogleSummerOfCode2015.adoc M doc/guide/src/HaMLet.adoc M doc/guide/src/HenryCejtin.adoc M doc/guide/src/History.adoc M doc/guide/src/Home.adoc M doc/guide/src/HowProfilingWorks.adoc M doc/guide/src/Identifier.adoc M doc/guide/src/Immutable.adoc M doc/guide/src/ImperativeTypeVariable.adoc M doc/guide/src/ImplementExceptions.adoc M doc/guide/src/ImplementHandlers.adoc M doc/guide/src/ImplementProfiling.adoc M doc/guide/src/ImplementSuffix.adoc M doc/guide/src/InfixingOperators.adoc M doc/guide/src/Inline.adoc M doc/guide/src/InsertLimitChecks.adoc M doc/guide/src/InsertSignalChecks.adoc M doc/guide/src/Installation.adoc M doc/guide/src/IntermediateLanguage.adoc M doc/guide/src/IntroduceLoops.adoc M doc/guide/src/JesperLouisAndersen.adoc M doc/guide/src/JohnnyAndersen.adoc M doc/guide/src/KnownCase.adoc M doc/guide/src/LLVM.adoc M doc/guide/src/LLVMCodegen.adoc M doc/guide/src/LambdaCalculus.adoc M doc/guide/src/LambdaFree.adoc M doc/guide/src/LanguageChanges.adoc M doc/guide/src/Lazy.adoc M doc/guide/src/Libraries.adoc M doc/guide/src/LibrarySupport.adoc M doc/guide/src/License.adoc M doc/guide/src/LineDirective.adoc M doc/guide/src/LocalFlatten.adoc M doc/guide/src/LocalRef.adoc M doc/guide/src/Logo.adoc M doc/guide/src/LoopInvariant.adoc M doc/guide/src/LoopUnroll.adoc M doc/guide/src/LoopUnswitch.adoc M doc/guide/src/ML.adoc M doc/guide/src/MLAntlr.adoc M doc/guide/src/MLBasis.adoc M doc/guide/src/MLBasisAnnotationExamples.adoc M doc/guide/src/MLBasisAnnotations.adoc M doc/guide/src/MLBasisAvailableLibraries.adoc M doc/guide/src/MLBasisExamples.adoc M doc/guide/src/MLBasisPathMap.adoc M doc/guide/src/MLBasisSyntaxAndSemantics.adoc M doc/guide/src/MLKit.adoc M doc/guide/src/MLLPTLibrary.adoc M doc/guide/src/MLLex.adoc M doc/guide/src/MLNLFFI.adoc M doc/guide/src/MLNLFFIGen.adoc M doc/guide/src/MLNLFFIImplementation.adoc M doc/guide/src/MLRISCLibrary.adoc M doc/guide/src/MLULex.adoc M doc/guide/src/MLYacc.adoc M doc/guide/src/MLj.adoc M doc/guide/src/MLmon.adoc M doc/guide/src/MLtonArray.adoc M doc/guide/src/MLtonBinIO.adoc M doc/guide/src/MLtonCont.adoc M doc/guide/src/MLtonContIsolateImplementation.adoc M doc/guide/src/MLtonCross.adoc M doc/guide/src/MLtonExn.adoc M doc/guide/src/MLtonFinalizable.adoc M doc/guide/src/MLtonGC.adoc M doc/guide/src/MLtonIO.adoc M doc/guide/src/MLtonIntInf.adoc M doc/guide/src/MLtonItimer.adoc M doc/guide/src/MLtonLibraryProject.adoc M doc/guide/src/MLtonMonoArray.adoc M doc/guide/src/MLtonMonoVector.adoc M doc/guide/src/MLtonPlatform.adoc M doc/guide/src/MLtonPointer.adoc M doc/guide/src/MLtonProcEnv.adoc M doc/guide/src/MLtonProcess.adoc M doc/guide/src/MLtonProfile.adoc M doc/guide/src/MLtonRandom.adoc M doc/guide/src/MLtonReal.adoc M doc/guide/src/MLtonRlimit.adoc M doc/guide/src/MLtonRusage.adoc M doc/guide/src/MLtonSignal.adoc M doc/guide/src/MLtonStructure.adoc M doc/guide/src/MLtonSyslog.adoc M doc/guide/src/MLtonTextIO.adoc M doc/guide/src/MLtonThread.adoc M doc/guide/src/MLtonVector.adoc M doc/guide/src/MLtonWeak.adoc M doc/guide/src/MLtonWord.adoc M doc/guide/src/MLtonWorld.adoc M doc/guide/src/Machine.adoc M doc/guide/src/ManualPage.adoc M doc/guide/src/MatchCompilation.adoc M doc/guide/src/MatchCompile.adoc M doc/guide/src/MatthewFluet.adoc M doc/guide/src/MichaelNorrish.adoc M doc/guide/src/MikeThomas.adoc M doc/guide/src/Monomorphise.adoc M doc/guide/src/MoscowML.adoc M doc/guide/src/Multi.adoc M doc/guide/src/Mutable.adoc M doc/guide/src/NeedsReview.adoc M doc/guide/src/NumericLiteral.adoc M doc/guide/src/OCaml.adoc M doc/guide/src/ObjectOrientedProgramming.adoc M doc/guide/src/OpenGL.adoc M doc/guide/src/OperatorPrecedence.adoc M doc/guide/src/OptionalArguments.adoc M doc/guide/src/Overloading.adoc M doc/guide/src/PackedRepresentation.adoc M doc/guide/src/ParallelMove.adoc M doc/guide/src/Performance.adoc M doc/guide/src/PhantomType.adoc M doc/guide/src/PlatformSpecificNotes.adoc M doc/guide/src/PolyEqual.adoc M doc/guide/src/PolyHash.adoc M doc/guide/src/PolyML.adoc M doc/guide/src/PolymorphicEquality.adoc M doc/guide/src/Polyvariance.adoc M doc/guide/src/Poplog.adoc M doc/guide/src/PortingMLton.adoc M doc/guide/src/PrecedenceParse.adoc M doc/guide/src/Printf.adoc M doc/guide/src/PrintfGentle.adoc M doc/guide/src/ProductType.adoc M doc/guide/src/Profiling.adoc M doc/guide/src/ProfilingAllocation.adoc M doc/guide/src/ProfilingCounts.adoc M doc/guide/src/ProfilingTheStack.adoc M doc/guide/src/ProfilingTime.adoc M doc/guide/src/Projects.adoc M doc/guide/src/Pronounce.adoc M doc/guide/src/PropertyList.adoc M doc/guide/src/Pygments.adoc M doc/guide/src/RSSA.adoc M doc/guide/src/RSSAShrink.adoc M doc/guide/src/RSSASimplify.adoc M doc/guide/src/RayRacine.adoc M doc/guide/src/Reachability.adoc M doc/guide/src/Redundant.adoc M doc/guide/src/RedundantTests.adoc M doc/guide/src/RefFlatten.adoc M doc/guide/src/References.adoc M doc/guide/src/Regions.adoc M doc/guide/src/Release20041109.adoc M doc/guide/src/Release20051202.adoc M doc/guide/src/Release20070826.adoc M doc/guide/src/Release20100608.adoc M doc/guide/src/Release20130715.adoc M doc/guide/src/Release20180207.adoc M doc/guide/src/Release20200722.adoc M doc/guide/src/Release20200817.adoc M doc/guide/src/Release20201002.adoc M doc/guide/src/Release20210117.adoc M doc/guide/src/ReleaseChecklist.adoc M doc/guide/src/Releases.adoc M doc/guide/src/RemoveUnused.adoc M doc/guide/src/Restore.adoc M doc/guide/src/ReturnStatement.adoc M doc/guide/src/RunTimeOptions.adoc M doc/guide/src/RunningOnAIX.adoc M doc/guide/src/RunningOnAMD64.adoc M doc/guide/src/RunningOnARM.adoc M doc/guide/src/RunningOnAlpha.adoc M doc/guide/src/RunningOnCygwin.adoc M doc/guide/src/RunningOnDarwin.adoc M doc/guide/src/RunningOnFreeBSD.adoc M doc/guide/src/RunningOnHPPA.adoc M doc/guide/src/RunningOnHPUX.adoc M doc/guide/src/RunningOnIA64.adoc M doc/guide/src/RunningOnLinux.adoc M doc/guide/src/RunningOnMinGW.adoc M doc/guide/src/RunningOnNetBSD.adoc M doc/guide/src/RunningOnOpenBSD.adoc M doc/guide/src/RunningOnPowerPC.adoc M doc/guide/src/RunningOnPowerPC64.adoc M doc/guide/src/RunningOnS390.adoc M doc/guide/src/RunningOnSolaris.adoc M doc/guide/src/RunningOnSparc.adoc M doc/guide/src/RunningOnX86.adoc M doc/guide/src/SML3d.adoc M doc/guide/src/SMLNET.adoc M doc/guide/src/SMLNJ.adoc M doc/guide/src/SMLNJDeviations.adoc M doc/guide/src/SMLNJLibrary.adoc M doc/guide/src/SMLSharp.adoc M doc/guide/src/SMLofNJStructure.adoc M doc/guide/src/SSA.adoc M doc/guide/src/SSA2.adoc M doc/guide/src/SSA2Simplify.adoc M doc/guide/src/SSASimplify.adoc M doc/guide/src/SXML.adoc M doc/guide/src/SXMLShrink.adoc M doc/guide/src/SXMLSimplify.adoc M doc/guide/src/ScopeInference.adoc M doc/guide/src/SelfCompiling.adoc M doc/guide/src/Serialization.adoc M doc/guide/src/ShareZeroVec.adoc M doc/guide/src/ShowBasis.adoc M doc/guide/src/ShowBasisDirective.adoc M doc/guide/src/ShowProf.adoc M doc/guide/src/Shrink.adoc M doc/guide/src/SimplifyTypes.adoc M doc/guide/src/Sources.adoc M doc/guide/src/SpaceSafety.adoc M doc/guide/src/SplitTypes.adoc M doc/guide/src/Stabilizers.adoc M doc/guide/src/StandardML.adoc M doc/guide/src/StandardMLBooks.adoc M doc/guide/src/StandardMLGotchas.adoc M doc/guide/src/StandardMLHistory.adoc M doc/guide/src/StandardMLImplementations.adoc M doc/guide/src/StandardMLPortability.adoc M doc/guide/src/StandardMLTutorials.adoc M doc/guide/src/StaticSum.adoc M doc/guide/src/StephenWeeks.adoc M doc/guide/src/StyleGuide.adoc M doc/guide/src/Subversion.adoc M doc/guide/src/SuccessorML.adoc M doc/guide/src/SureshJagannathan.adoc M doc/guide/src/Swerve.adoc M doc/guide/src/SyntacticConventions.adoc M doc/guide/src/TILT.adoc M doc/guide/src/Talk.adoc M doc/guide/src/TalkDiveIn.adoc M doc/guide/src/TalkFolkLore.adoc M doc/guide/src/TalkFromSMLTo.adoc M doc/guide/src/TalkHowHigherOrder.adoc M doc/guide/src/TalkHowModules.adoc M doc/guide/src/TalkHowPolymorphism.adoc M doc/guide/src/TalkMLtonApproach.adoc M doc/guide/src/TalkMLtonFeatures.adoc M doc/guide/src/TalkMLtonHistory.adoc M doc/guide/src/TalkStandardML.adoc M doc/guide/src/TalkTemplate.adoc M doc/guide/src/TalkWholeProgram.adoc M doc/guide/src/TipsForWritingConciseSML.adoc M doc/guide/src/ToMachine.adoc M doc/guide/src/ToRSSA.adoc M doc/guide/src/ToSSA2.adoc M doc/guide/src/TomMurphy.adoc M doc/guide/src/TypeChecking.adoc M doc/guide/src/TypeConstructor.adoc M doc/guide/src/TypeIndexedValues.adoc M doc/guide/src/TypeVariableScope.adoc M doc/guide/src/Unicode.adoc M doc/guide/src/UniversalType.adoc M doc/guide/src/UnresolvedBugs.adoc M doc/guide/src/UnsafeStructure.adoc M doc/guide/src/Useless.adoc M doc/guide/src/Users.adoc M doc/guide/src/Utilities.adoc M doc/guide/src/ValueRestriction.adoc M doc/guide/src/VariableArityPolymorphism.adoc M doc/guide/src/Variant.adoc M doc/guide/src/VesaKarvonen.adoc M doc/guide/src/WarnUnusedAnomalies.adoc M doc/guide/src/WesleyTerpstra.adoc M doc/guide/src/WholeProgramOptimization.adoc M doc/guide/src/WishList.adoc M doc/guide/src/XML.adoc M doc/guide/src/XMLShrink.adoc M doc/guide/src/XMLSimplify.adoc M doc/guide/src/XMLSimplifyTypes.adoc M doc/guide/src/ZZZOrphanedPages.adoc M doc/guide/src/Zone.adoc M doc/guide/src/eXene.adoc M doc/guide/src/fxp.adoc M doc/guide/src/mGTK.adoc Log Message: ----------- Commit scripted AsciiDoc.py to AsciiDoctor conversion Commit: a3fb1ee2e0b63ece60e5676e344ed6da5a7d494d https://github.com/MLton/mlton/commit/a3fb1ee2e0b63ece60e5676e344ed6da5a7d494d Author: Matthew Fluet <mat...@gm...> Date: 2021-10-21 (Thu, 21 Oct 2021) Changed paths: M CHANGELOG.adoc Log Message: ----------- Update `CHANGELOG.adoc` to AsciiDoctor syntax Commit: ece76d789d542a009bb4f01891cdc9a10cff6711 https://github.com/MLton/mlton/commit/ece76d789d542a009bb4f01891cdc9a10cff6711 Author: Matthew Fluet <mat...@gm...> Date: 2021-10-21 (Thu, 21 Oct 2021) Changed paths: M README.adoc Log Message: ----------- Mention AsciiDoctor/Rouge rather than AsciiDoc/Pygments in `README.adoc` Commit: 08522dfeb34bfdf076f4ecddbc57b281e528433f https://github.com/MLton/mlton/commit/08522dfeb34bfdf076f4ecddbc57b281e528433f Author: Matthew Fluet <Mat...@gm...> Date: 2021-10-22 (Fri, 22 Oct 2021) Changed paths: M CHANGELOG.adoc M README.adoc M doc/guide/.gitignore M doc/guide/Makefile R doc/guide/bin/InclGitFile.py R doc/guide/bin/check-git-links.sh M doc/guide/bin/mk-git-attribute-entity-flags.sh R doc/guide/bin/mk-html5-footer-conf.sh R doc/guide/bin/mk-html5-header-conf.sh M doc/guide/bin/mk-index.sh R doc/guide/bin/mk-specialsections-conf.sh R doc/guide/conf/asciidoc-docbook45.flags R doc/guide/conf/asciidoc-html5.flags R doc/guide/conf/asciidoc-mlton.flags A doc/guide/conf/html5/docinfo A doc/guide/conf/html5/docinfo-footer.inc A doc/guide/conf/html5/docinfo-header.inc A doc/guide/conf/html5/mlton.css R doc/guide/conf/mlton-asciidoc.conf R doc/guide/conf/mlton-dblatex.sty R doc/guide/conf/mlton-dblatex.xsl R doc/guide/conf/mlton-gcse.js R doc/guide/conf/mlton-html5.conf R doc/guide/conf/mlton.css A doc/guide/lib/asciidoc-docinfoprocessor.rb A doc/guide/lib/preprocess-docinfoprocessor.rb M doc/guide/src/AST.adoc M doc/guide/src/AdamGoode.adoc M doc/guide/src/AdmitsEquality.adoc M doc/guide/src/Alice.adoc M doc/guide/src/AllocateVariables.adoc M doc/guide/src/AndreiFormiga.adoc M doc/guide/src/ArrayLiteral.adoc M doc/guide/src/BasisLibrary.adoc M doc/guide/src/BounceVars.adoc M doc/guide/src/Bug.adoc M doc/guide/src/Bugs20041109.adoc M doc/guide/src/Bugs20051202.adoc M doc/guide/src/Bugs20070826.adoc M doc/guide/src/Bugs20100608.adoc M doc/guide/src/Bugs20130715.adoc M doc/guide/src/Bugs20180207.adoc M doc/guide/src/Bugs20200722.adoc M doc/guide/src/Bugs20200817.adoc M doc/guide/src/Bugs20201002.adoc M doc/guide/src/Bugs20210117.adoc M doc/guide/src/CCodegen.adoc M doc/guide/src/CKitLibrary.adoc M doc/guide/src/CMinusMinus.adoc M doc/guide/src/CVS.adoc M doc/guide/src/CallGraph.adoc M doc/guide/src/CallingFromCToSML.adoc M doc/guide/src/CallingFromSMLToC.adoc M doc/guide/src/CallingFromSMLToCFunctionPointer.adoc M doc/guide/src/Changelog.adoc M doc/guide/src/ChrisClearwater.adoc M doc/guide/src/Chunkify.adoc M doc/guide/src/Closure.adoc M doc/guide/src/ClosureConvert.adoc M doc/guide/src/Codegen.adoc M doc/guide/src/CollectStatics.adoc M doc/guide/src/CombineConversions.adoc M doc/guide/src/CommonArg.adoc M doc/guide/src/CommonBlock.adoc M doc/guide/src/CommonSubexp.adoc M doc/guide/src/CompilationManager.adoc M doc/guide/src/CompileTimeOptions.adoc M doc/guide/src/CompilerOverview.adoc M doc/guide/src/CompilerPassTemplate.adoc M doc/guide/src/CompilingWithSMLNJ.adoc M doc/guide/src/ConcurrentML.adoc M doc/guide/src/ConcurrentMLImplementation.adoc M doc/guide/src/ConstantPropagation.adoc M doc/guide/src/Contact.adoc M doc/guide/src/Contify.adoc M doc/guide/src/CoreML.adoc M doc/guide/src/CoreMLSimplify.adoc M doc/guide/src/Credits.adoc M doc/guide/src/CrossCompiling.adoc M doc/guide/src/DeadCode.adoc M doc/guide/src/DeepFlatten.adoc M doc/guide/src/DefineTypeBeforeUse.adoc M doc/guide/src/DefinitionOfStandardML.adoc M doc/guide/src/Defunctorize.adoc M doc/guide/src/Developers.adoc M doc/guide/src/Development.adoc M doc/guide/src/Documentation.adoc M doc/guide/src/Drawbacks.adoc M doc/guide/src/DuplicateGlobals.adoc M doc/guide/src/Eclipse.adoc M doc/guide/src/Elaborate.adoc M doc/guide/src/Emacs.adoc M doc/guide/src/EmacsBgBuildMode.adoc M doc/guide/src/EmacsDefUseMode.adoc M doc/guide/src/Enscript.adoc M doc/guide/src/EqualityType.adoc M doc/guide/src/EqualityTypeVariable.adoc M doc/guide/src/EtaExpansion.adoc M doc/guide/src/FAQ.adoc M doc/guide/src/FSharp.adoc M doc/guide/src/Features.adoc M doc/guide/src/FirstClassPolymorphism.adoc M doc/guide/src/Fixpoints.adoc M doc/guide/src/Flatten.adoc M doc/guide/src/Fold.adoc M doc/guide/src/Fold01N.adoc M doc/guide/src/ForLoops.adoc M doc/guide/src/ForeignFunctionInterface.adoc M doc/guide/src/ForeignFunctionInterfaceSyntax.adoc M doc/guide/src/ForeignFunctionInterfaceTypes.adoc M doc/guide/src/FrontEnd.adoc M doc/guide/src/FunctionalRecordUpdate.adoc M doc/guide/src/GMP.adoc M doc/guide/src/GarbageCollection.adoc M doc/guide/src/GenerativeDatatype.adoc M doc/guide/src/GenerativeException.adoc M doc/guide/src/Git.adoc M doc/guide/src/Glade.adoc M doc/guide/src/Globalize.adoc M doc/guide/src/GoogleSummerOfCode2013.adoc M doc/guide/src/GoogleSummerOfCode2014.adoc M doc/guide/src/GoogleSummerOfCode2015.adoc M doc/guide/src/HaMLet.adoc M doc/guide/src/HenryCejtin.adoc M doc/guide/src/History.adoc M doc/guide/src/Home.adoc M doc/guide/src/HowProfilingWorks.adoc M doc/guide/src/Identifier.adoc M doc/guide/src/Immutable.adoc M doc/guide/src/ImperativeTypeVariable.adoc M doc/guide/src/ImplementExceptions.adoc M doc/guide/src/ImplementHandlers.adoc M doc/guide/src/ImplementProfiling.adoc M doc/guide/src/ImplementSuffix.adoc M doc/guide/src/InfixingOperators.adoc M doc/guide/src/Inline.adoc M doc/guide/src/InsertLimitChecks.adoc M doc/guide/src/InsertSignalChecks.adoc M doc/guide/src/Installation.adoc M doc/guide/src/IntermediateLanguage.adoc M doc/guide/src/IntroduceLoops.adoc M doc/guide/src/JesperLouisAndersen.adoc M doc/guide/src/JohnnyAndersen.adoc M doc/guide/src/KnownCase.adoc M doc/guide/src/LLVM.adoc M doc/guide/src/LLVMCodegen.adoc M doc/guide/src/LambdaCalculus.adoc M doc/guide/src/LambdaFree.adoc M doc/guide/src/LanguageChanges.adoc M doc/guide/src/Lazy.adoc M doc/guide/src/Libraries.adoc M doc/guide/src/LibrarySupport.adoc M doc/guide/src/License.adoc M doc/guide/src/LineDirective.adoc M doc/guide/src/LocalFlatten.adoc M doc/guide/src/LocalRef.adoc M doc/guide/src/Logo.adoc M doc/guide/src/LoopInvariant.adoc M doc/guide/src/LoopUnroll.adoc M doc/guide/src/LoopUnswitch.adoc M doc/guide/src/ML.adoc M doc/guide/src/MLAntlr.adoc M doc/guide/src/MLBasis.adoc M doc/guide/src/MLBasisAnnotationExamples.adoc M doc/guide/src/MLBasisAnnotations.adoc M doc/guide/src/MLBasisAvailableLibraries.adoc M doc/guide/src/MLBasisExamples.adoc M doc/guide/src/MLBasisPathMap.adoc M doc/guide/src/MLBasisSyntaxAndSemantics.adoc M doc/guide/src/MLKit.adoc M doc/guide/src/MLLPTLibrary.adoc M doc/guide/src/MLLex.adoc M doc/guide/src/MLNLFFI.adoc M doc/guide/src/MLNLFFIGen.adoc M doc/guide/src/MLNLFFIImplementation.adoc M doc/guide/src/MLRISCLibrary.adoc M doc/guide/src/MLULex.adoc M doc/guide/src/MLYacc.adoc M doc/guide/src/MLj.adoc M doc/guide/src/MLmon.adoc M doc/guide/src/MLtonArray.adoc M doc/guide/src/MLtonBinIO.adoc M doc/guide/src/MLtonCont.adoc M doc/guide/src/MLtonContIsolateImplementation.adoc M doc/guide/src/MLtonCross.adoc M doc/guide/src/MLtonExn.adoc M doc/guide/src/MLtonFinalizable.adoc M doc/guide/src/MLtonGC.adoc M doc/guide/src/MLtonIO.adoc M doc/guide/src/MLtonIntInf.adoc M doc/guide/src/MLtonItimer.adoc M doc/guide/src/MLtonLibraryProject.adoc M doc/guide/src/MLtonMonoArray.adoc M doc/guide/src/MLtonMonoVector.adoc M doc/guide/src/MLtonPlatform.adoc M doc/guide/src/MLtonPointer.adoc M doc/guide/src/MLtonProcEnv.adoc M doc/guide/src/MLtonProcess.adoc M doc/guide/src/MLtonProfile.adoc M doc/guide/src/MLtonRandom.adoc M doc/guide/src/MLtonReal.adoc M doc/guide/src/MLtonRlimit.adoc M doc/guide/src/MLtonRusage.adoc M doc/guide/src/MLtonSignal.adoc M doc/guide/src/MLtonStructure.adoc M doc/guide/src/MLtonSyslog.adoc M doc/guide/src/MLtonTextIO.adoc M doc/guide/src/MLtonThread.adoc M doc/guide/src/MLtonVector.adoc M doc/guide/src/MLtonWeak.adoc M doc/guide/src/MLtonWord.adoc M doc/guide/src/MLtonWorld.adoc M doc/guide/src/Machine.adoc M doc/guide/src/ManualPage.adoc M doc/guide/src/MatchCompilation.adoc M doc/guide/src/MatchCompile.adoc M doc/guide/src/MatthewFluet.adoc M doc/guide/src/MichaelNorrish.adoc M doc/guide/src/MikeThomas.adoc M doc/guide/src/Monomorphise.adoc M doc/guide/src/MoscowML.adoc M doc/guide/src/Multi.adoc M doc/guide/src/Mutable.adoc M doc/guide/src/NeedsReview.adoc M doc/guide/src/NumericLiteral.adoc M doc/guide/src/OCaml.adoc M doc/guide/src/ObjectOrientedProgramming.adoc M doc/guide/src/OpenGL.adoc M doc/guide/src/OperatorPrecedence.adoc M doc/guide/src/OptionalArguments.adoc M doc/guide/src/Overloading.adoc M doc/guide/src/PackedRepresentation.adoc M doc/guide/src/ParallelMove.adoc M doc/guide/src/Performance.adoc M doc/guide/src/PhantomType.adoc M doc/guide/src/PlatformSpecificNotes.adoc M doc/guide/src/PolyEqual.adoc M doc/guide/src/PolyHash.adoc M doc/guide/src/PolyML.adoc M doc/guide/src/PolymorphicEquality.adoc M doc/guide/src/Polyvariance.adoc M doc/guide/src/Poplog.adoc M doc/guide/src/PortingMLton.adoc M doc/guide/src/PrecedenceParse.adoc M doc/guide/src/Printf.adoc M doc/guide/src/PrintfGentle.adoc M doc/guide/src/ProductType.adoc M doc/guide/src/Profiling.adoc M doc/guide/src/ProfilingAllocation.adoc M doc/guide/src/ProfilingCounts.adoc M doc/guide/src/ProfilingTheStack.adoc M doc/guide/src/ProfilingTime.adoc M doc/guide/src/Projects.adoc M doc/guide/src/Pronounce.adoc M doc/guide/src/PropertyList.adoc M doc/guide/src/Pygments.adoc M doc/guide/src/RSSA.adoc M doc/guide/src/RSSAShrink.adoc M doc/guide/src/RSSASimplify.adoc M doc/guide/src/RayRacine.adoc M doc/guide/src/Reachability.adoc M doc/guide/src/Redundant.adoc M doc/guide/src/RedundantTests.adoc M doc/guide/src/RefFlatten.adoc M doc/guide/src/References.adoc M doc/guide/src/Regions.adoc M doc/guide/src/Release20041109.adoc M doc/guide/src/Release20051202.adoc M doc/guide/src/Release20070826.adoc M doc/guide/src/Release20100608.adoc M doc/guide/src/Release20130715.adoc M doc/guide/src/Release20180207.adoc M doc/guide/src/Release20200722.adoc M doc/guide/src/Release20200817.adoc M doc/guide/src/Release20201002.adoc M doc/guide/src/Release20210117.adoc M doc/guide/src/ReleaseChecklist.adoc M doc/guide/src/Releases.adoc M doc/guide/src/RemoveUnused.adoc M doc/guide/src/Restore.adoc M doc/guide/src/ReturnStatement.adoc M doc/guide/src/RunTimeOptions.adoc M doc/guide/src/RunningOnAIX.adoc M doc/guide/src/RunningOnAMD64.adoc M doc/guide/src/RunningOnARM.adoc M doc/guide/src/RunningOnAlpha.adoc M doc/guide/src/RunningOnCygwin.adoc M doc/guide/src/RunningOnDarwin.adoc M doc/guide/src/RunningOnFreeBSD.adoc M doc/guide/src/RunningOnHPPA.adoc M doc/guide/src/RunningOnHPUX.adoc M doc/guide/src/RunningOnIA64.adoc M doc/guide/src/RunningOnLinux.adoc M doc/guide/src/RunningOnMinGW.adoc M doc/guide/src/RunningOnNetBSD.adoc M doc/guide/src/RunningOnOpenBSD.adoc M doc/guide/src/RunningOnPowerPC.adoc M doc/guide/src/RunningOnPowerPC64.adoc M doc/guide/src/RunningOnS390.adoc M doc/guide/src/RunningOnSolaris.adoc M doc/guide/src/RunningOnSparc.adoc M doc/guide/src/RunningOnX86.adoc M doc/guide/src/SML3d.adoc M doc/guide/src/SMLNET.adoc M doc/guide/src/SMLNJ.adoc M doc/guide/src/SMLNJDeviations.adoc M doc/guide/src/SMLNJLibrary.adoc M doc/guide/src/SMLSharp.adoc M doc/guide/src/SMLofNJStructure.adoc M doc/guide/src/SSA.adoc M doc/guide/src/SSA2.adoc M doc/guide/src/SSA2Simplify.adoc M doc/guide/src/SSASimplify.adoc M doc/guide/src/SXML.adoc M doc/guide/src/SXMLShrink.adoc M doc/guide/src/SXMLSimplify.adoc M doc/guide/src/ScopeInference.adoc M doc/guide/src/SelfCompiling.adoc M doc/guide/src/Serialization.adoc M doc/guide/src/ShareZeroVec.adoc M doc/guide/src/ShowBasis.adoc M doc/guide/src/ShowBasisDirective.adoc M doc/guide/src/ShowProf.adoc M doc/guide/src/Shrink.adoc M doc/guide/src/SimplifyTypes.adoc M doc/guide/src/Sources.adoc M doc/guide/src/SpaceSafety.adoc M doc/guide/src/SplitTypes.adoc M doc/guide/src/Stabilizers.adoc M doc/guide/src/StandardML.adoc M doc/guide/src/StandardMLBooks.adoc M doc/guide/src/StandardMLGotchas.adoc M doc/guide/src/StandardMLHistory.adoc M doc/guide/src/StandardMLImplementations.adoc M doc/guide/src/StandardMLPortability.adoc M doc/guide/src/StandardMLTutorials.adoc M doc/guide/src/StaticSum.adoc M doc/guide/src/StephenWeeks.adoc M doc/guide/src/StyleGuide.adoc M doc/guide/src/Subversion.adoc M doc/guide/src/SuccessorML.adoc M doc/guide/src/SureshJagannathan.adoc M doc/guide/src/Swerve.adoc M doc/guide/src/SyntacticConventions.adoc M doc/guide/src/TILT.adoc M doc/guide/src/Talk.adoc M doc/guide/src/TalkDiveIn.adoc M doc/guide/src/TalkFolkLore.adoc M doc/guide/src/TalkFromSMLTo.adoc M doc/guide/src/TalkHowHigherOrder.adoc M doc/guide/src/TalkHowModules.adoc M doc/guide/src/TalkHowPolymorphism.adoc M doc/guide/src/TalkMLtonApproach.adoc M doc/guide/src/TalkMLtonFeatures.adoc M doc/guide/src/TalkMLtonHistory.adoc M doc/guide/src/TalkStandardML.adoc M doc/guide/src/TalkTemplate.adoc M doc/guide/src/TalkWholeProgram.adoc M doc/guide/src/TipsForWritingConciseSML.adoc M doc/guide/src/ToMachine.adoc M doc/guide/src/ToRSSA.adoc M doc/guide/src/ToSSA2.adoc M doc/guide/src/TomMurphy.adoc M doc/guide/src/TypeChecking.adoc M doc/guide/src/TypeConstructor.adoc M doc/guide/src/TypeIndexedValues.adoc M doc/guide/src/TypeVariableScope.adoc M doc/guide/src/Unicode.adoc M doc/guide/src/UniversalType.adoc M doc/guide/src/UnresolvedBugs.adoc M doc/guide/src/UnsafeStructure.adoc M doc/guide/src/Useless.adoc M doc/guide/src/Users.adoc M doc/guide/src/Utilities.adoc M doc/guide/src/ValueRestriction.adoc M doc/guide/src/VariableArityPolymorphism.adoc M doc/guide/src/Variant.adoc M doc/guide/src/VesaKarvonen.adoc M doc/guide/src/WarnUnusedAnomalies.adoc M doc/guide/src/WesleyTerpstra.adoc M doc/guide/src/WholeProgramOptimization.adoc M doc/guide/src/WishList.adoc M doc/guide/src/XML.adoc M doc/guide/src/XMLShrink.adoc M doc/guide/src/XMLSimplify.adoc M doc/guide/src/XMLSimplifyTypes.adoc M doc/guide/src/ZZZOrphanedPages.adoc M doc/guide/src/Zone.adoc M doc/guide/src/eXene.adoc M doc/guide/src/fxp.adoc M doc/guide/src/mGTK.adoc Log Message: ----------- Merge pull request #451 from MatthewFluet/asciidoctor Convert website/guide from AsciiDoc.py to AsciiDoctor Closes MLton/mlton#48. Compare: https://github.com/MLton/mlton/compare/dfd664c1f21a...08522dfeb34b |
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2021-10-21 21:29:07
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton |
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2021-10-21 20:23:41
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 007a06b42ffa0a53a740d08c7cb109d9363e1c4c https://github.com/MLton/mlton/commit/007a06b42ffa0a53a740d08c7cb109d9363e1c4c Author: Matthew Fluet <mat...@gm...> Date: 2021-09-09 (Thu, 09 Sep 2021) Changed paths: M doc/guide/src/SuccessorML.adoc Log Message: ----------- Make cosmetic change to formatting of anchored list item Commit: ad050e0fa31bdf43d3bb599d8f168650da068a2f https://github.com/MLton/mlton/commit/ad050e0fa31bdf43d3bb599d8f168650da068a2f Author: Matthew Fluet <mat...@gm...> Date: 2021-09-09 (Thu, 09 Sep 2021) Changed paths: M doc/guide/src/LineDirective.adoc Log Message: ----------- Update link to Norman Ramsey's Noweb Commit: 1ecf751d28099ce006052d575aefe7bdcc5605e0 https://github.com/MLton/mlton/commit/1ecf751d28099ce006052d575aefe7bdcc5605e0 Author: Matthew Fluet <mat...@gm...> Date: 2021-09-09 (Thu, 09 Sep 2021) Changed paths: M doc/guide/src/ShowBasisDirective.adoc Log Message: ----------- Put `showBasis` directive example in a listing block Commit: 37fbd12cc1217d64068c833cbd6beb65c1f9d0bc https://github.com/MLton/mlton/commit/37fbd12cc1217d64068c833cbd6beb65c1f9d0bc Author: Matthew Fluet <mat...@gm...> Date: 2021-09-09 (Thu, 09 Sep 2021) Changed paths: M doc/guide/src/CompileTimeOptions.adoc Log Message: ----------- Replace references to `gcc` to `cc` Commit: 3245e0d6c8730f9b8d513e13088f4e944d8202ad https://github.com/MLton/mlton/commit/3245e0d6c8730f9b8d513e13088f4e944d8202ad Author: Matthew Fluet <mat...@gm...> Date: 2021-09-15 (Wed, 15 Sep 2021) Changed paths: M doc/guide/src/AST.adoc Log Message: ----------- Fix lines included from `ast-core.sig` on `AST` page Commit: 030265d5367ccb985ea3b4d51e66d6b23d002831 https://github.com/MLton/mlton/commit/030265d5367ccb985ea3b4d51e66d6b23d002831 Author: Matthew Fluet <mat...@gm...> Date: 2021-10-21 (Thu, 21 Oct 2021) Changed paths: M doc/guide/src/ValueRestriction.adoc Log Message: ----------- Fix typo in referenced expression on ValueRestriction page Commit: e56b4c9b3801ae927d2a03dc035ffb9395a3b613 https://github.com/MLton/mlton/commit/e56b4c9b3801ae927d2a03dc035ffb9395a3b613 Author: Matthew Fluet <mat...@gm...> Date: 2021-10-21 (Thu, 21 Oct 2021) Changed paths: M doc/guide/src/Fold.adoc Log Message: ----------- Fix link to ValueRestriction page from Fold page Commit: 57c8173b702ea91930fa6718317b269148a5ecf1 https://github.com/MLton/mlton/commit/57c8173b702ea91930fa6718317b269148a5ecf1 Author: Matthew Fluet <mat...@gm...> Date: 2021-10-21 (Thu, 21 Oct 2021) Changed paths: M doc/guide/src/Printf.adoc Log Message: ----------- Add missing `[source,sml]` style to listing blocks on Printf page Commit: f26f55c2b0f1d9209525d5fa79f854e3aa272054 https://github.com/MLton/mlton/commit/f26f55c2b0f1d9209525d5fa79f854e3aa272054 Author: Matthew Fluet <mat...@gm...> Date: 2021-10-21 (Thu, 21 Oct 2021) Changed paths: M doc/guide/src/CommonSubexp.adoc Log Message: ----------- Remove references to `Arith` transfer on `CommonSubexp` page Commit: d7dc8d68193837993b54a697c1b6b163df4415f0 https://github.com/MLton/mlton/commit/d7dc8d68193837993b54a697c1b6b163df4415f0 Author: Matthew Fluet <mat...@gm...> Date: 2021-10-21 (Thu, 21 Oct 2021) Changed paths: M doc/guide/src/Bug.adoc Log Message: ----------- Add additional `BugsYYYYMMDD` pages to `Bug` page Commit: 467a07553d18920d5065f9d1e45f68e18ad66b02 https://github.com/MLton/mlton/commit/467a07553d18920d5065f9d1e45f68e18ad66b02 Author: Matthew Fluet <mat...@gm...> Date: 2021-10-21 (Thu, 21 Oct 2021) Changed paths: M doc/guide/src/HowProfilingWorks.adoc Log Message: ----------- Update `HowProfilingWorksPage` The same technique is used for all codegens for time profiling. Commit: 3358defdb84bdd7ffa2277565ea8dd231da390ca https://github.com/MLton/mlton/commit/3358defdb84bdd7ffa2277565ea8dd231da390ca Author: Matthew Fluet <mat...@gm...> Date: 2021-10-21 (Thu, 21 Oct 2021) Changed paths: M doc/guide/src/License.adoc Log Message: ----------- Fix link to `LICENSE` file on `License` page Commit: 255ea242d9a2cc34fe75bf9bfeca75c4054c9fd5 https://github.com/MLton/mlton/commit/255ea242d9a2cc34fe75bf9bfeca75c4054c9fd5 Author: Matthew Fluet <mat...@gm...> Date: 2021-10-21 (Thu, 21 Oct 2021) Changed paths: M doc/guide/src/BasisLibrary.adoc M doc/guide/src/Bugs20070826.adoc M doc/guide/src/CombineConversions.adoc M doc/guide/src/CompileTimeOptions.adoc M doc/guide/src/ForeignFunctionInterfaceSyntax.adoc M doc/guide/src/Identifier.adoc M doc/guide/src/MLBasisAnnotations.adoc M doc/guide/src/MLBasisSyntaxAndSemantics.adoc M doc/guide/src/MLNLFFIImplementation.adoc M doc/guide/src/PortingMLton.adoc M doc/guide/src/StandardMLGotchas.adoc M doc/guide/src/SuccessorML.adoc Log Message: ----------- Tweak some AsciiDoc formatting This is in preparation of a scripted mass conversion to AsciiDoctor (see https://docs.asciidoctor.org/asciidoctor/latest/migrate/asciidoc-py/#updated-and-deprecated-asciidoc-syntax). Commit: 367ed63dfdf2b58a8531651190bd5deb280c5396 https://github.com/MLton/mlton/commit/367ed63dfdf2b58a8531651190bd5deb280c5396 Author: Matthew Fluet <mat...@gm...> Date: 2021-10-21 (Thu, 21 Oct 2021) Changed paths: M doc/guide/.gitignore M doc/guide/Makefile R doc/guide/bin/InclGitFile.py A doc/guide/bin/asciidoc-to-asciidoctor.sh R doc/guide/bin/check-git-links.sh M doc/guide/bin/mk-git-attribute-entity-flags.sh R doc/guide/bin/mk-html5-footer-conf.sh R doc/guide/bin/mk-html5-header-conf.sh M doc/guide/bin/mk-index.sh R doc/guide/bin/mk-specialsections-conf.sh R doc/guide/conf/asciidoc-docbook45.flags R doc/guide/conf/asciidoc-html5.flags R doc/guide/conf/asciidoc-mlton.flags A doc/guide/conf/html5/docinfo A doc/guide/conf/html5/docinfo-footer.inc A doc/guide/conf/html5/docinfo-header.inc A doc/guide/conf/html5/mlton.css R doc/guide/conf/mlton-asciidoc.conf R doc/guide/conf/mlton-dblatex.sty R doc/guide/conf/mlton-dblatex.xsl R doc/guide/conf/mlton-gcse.js R doc/guide/conf/mlton-html5.conf R doc/guide/conf/mlton.css A doc/guide/lib/asciidoc-docinfoprocessor.rb A doc/guide/lib/preprocess-docinfoprocessor.rb Log Message: ----------- Convert guide to AsciiDoctor Commit: 8217b333f366a0350c70292ed48427316e36d6a7 https://github.com/MLton/mlton/commit/8217b333f366a0350c70292ed48427316e36d6a7 Author: Matthew Fluet <mat...@gm...> Date: 2021-10-21 (Thu, 21 Oct 2021) Changed paths: M doc/guide/Makefile R doc/guide/bin/asciidoc-to-asciidoctor.sh M doc/guide/src/AST.adoc M doc/guide/src/AdamGoode.adoc M doc/guide/src/AdmitsEquality.adoc M doc/guide/src/Alice.adoc M doc/guide/src/AllocateVariables.adoc M doc/guide/src/AndreiFormiga.adoc M doc/guide/src/ArrayLiteral.adoc M doc/guide/src/BasisLibrary.adoc M doc/guide/src/BounceVars.adoc M doc/guide/src/Bug.adoc M doc/guide/src/Bugs20041109.adoc M doc/guide/src/Bugs20051202.adoc M doc/guide/src/Bugs20070826.adoc M doc/guide/src/Bugs20100608.adoc M doc/guide/src/Bugs20130715.adoc M doc/guide/src/Bugs20180207.adoc M doc/guide/src/Bugs20200722.adoc M doc/guide/src/Bugs20200817.adoc M doc/guide/src/Bugs20201002.adoc M doc/guide/src/Bugs20210117.adoc M doc/guide/src/CCodegen.adoc M doc/guide/src/CKitLibrary.adoc M doc/guide/src/CMinusMinus.adoc M doc/guide/src/CVS.adoc M doc/guide/src/CallGraph.adoc M doc/guide/src/CallingFromCToSML.adoc M doc/guide/src/CallingFromSMLToC.adoc M doc/guide/src/CallingFromSMLToCFunctionPointer.adoc M doc/guide/src/Changelog.adoc M doc/guide/src/ChrisClearwater.adoc M doc/guide/src/Chunkify.adoc M doc/guide/src/Closure.adoc M doc/guide/src/ClosureConvert.adoc M doc/guide/src/Codegen.adoc M doc/guide/src/CollectStatics.adoc M doc/guide/src/CombineConversions.adoc M doc/guide/src/CommonArg.adoc M doc/guide/src/CommonBlock.adoc M doc/guide/src/CommonSubexp.adoc M doc/guide/src/CompilationManager.adoc M doc/guide/src/CompileTimeOptions.adoc M doc/guide/src/CompilerOverview.adoc M doc/guide/src/CompilerPassTemplate.adoc M doc/guide/src/CompilingWithSMLNJ.adoc M doc/guide/src/ConcurrentML.adoc M doc/guide/src/ConcurrentMLImplementation.adoc M doc/guide/src/ConstantPropagation.adoc M doc/guide/src/Contact.adoc M doc/guide/src/Contify.adoc M doc/guide/src/CoreML.adoc M doc/guide/src/CoreMLSimplify.adoc M doc/guide/src/Credits.adoc M doc/guide/src/CrossCompiling.adoc M doc/guide/src/DeadCode.adoc M doc/guide/src/DeepFlatten.adoc M doc/guide/src/DefineTypeBeforeUse.adoc M doc/guide/src/DefinitionOfStandardML.adoc M doc/guide/src/Defunctorize.adoc M doc/guide/src/Developers.adoc M doc/guide/src/Development.adoc M doc/guide/src/Documentation.adoc M doc/guide/src/Drawbacks.adoc M doc/guide/src/DuplicateGlobals.adoc M doc/guide/src/Eclipse.adoc M doc/guide/src/Elaborate.adoc M doc/guide/src/Emacs.adoc M doc/guide/src/EmacsBgBuildMode.adoc M doc/guide/src/EmacsDefUseMode.adoc M doc/guide/src/Enscript.adoc M doc/guide/src/EqualityType.adoc M doc/guide/src/EqualityTypeVariable.adoc M doc/guide/src/EtaExpansion.adoc M doc/guide/src/FAQ.adoc M doc/guide/src/FSharp.adoc M doc/guide/src/Features.adoc M doc/guide/src/FirstClassPolymorphism.adoc M doc/guide/src/Fixpoints.adoc M doc/guide/src/Flatten.adoc M doc/guide/src/Fold.adoc M doc/guide/src/Fold01N.adoc M doc/guide/src/ForLoops.adoc M doc/guide/src/ForeignFunctionInterface.adoc M doc/guide/src/ForeignFunctionInterfaceSyntax.adoc M doc/guide/src/ForeignFunctionInterfaceTypes.adoc M doc/guide/src/FrontEnd.adoc M doc/guide/src/FunctionalRecordUpdate.adoc M doc/guide/src/GMP.adoc M doc/guide/src/GarbageCollection.adoc M doc/guide/src/GenerativeDatatype.adoc M doc/guide/src/GenerativeException.adoc M doc/guide/src/Git.adoc M doc/guide/src/Glade.adoc M doc/guide/src/Globalize.adoc M doc/guide/src/GoogleSummerOfCode2013.adoc M doc/guide/src/GoogleSummerOfCode2014.adoc M doc/guide/src/GoogleSummerOfCode2015.adoc M doc/guide/src/HaMLet.adoc M doc/guide/src/HenryCejtin.adoc M doc/guide/src/History.adoc M doc/guide/src/Home.adoc M doc/guide/src/HowProfilingWorks.adoc M doc/guide/src/Identifier.adoc M doc/guide/src/Immutable.adoc M doc/guide/src/ImperativeTypeVariable.adoc M doc/guide/src/ImplementExceptions.adoc M doc/guide/src/ImplementHandlers.adoc M doc/guide/src/ImplementProfiling.adoc M doc/guide/src/ImplementSuffix.adoc M doc/guide/src/InfixingOperators.adoc M doc/guide/src/Inline.adoc M doc/guide/src/InsertLimitChecks.adoc M doc/guide/src/InsertSignalChecks.adoc M doc/guide/src/Installation.adoc M doc/guide/src/IntermediateLanguage.adoc M doc/guide/src/IntroduceLoops.adoc M doc/guide/src/JesperLouisAndersen.adoc M doc/guide/src/JohnnyAndersen.adoc M doc/guide/src/KnownCase.adoc M doc/guide/src/LLVM.adoc M doc/guide/src/LLVMCodegen.adoc M doc/guide/src/LambdaCalculus.adoc M doc/guide/src/LambdaFree.adoc M doc/guide/src/LanguageChanges.adoc M doc/guide/src/Lazy.adoc M doc/guide/src/Libraries.adoc M doc/guide/src/LibrarySupport.adoc M doc/guide/src/License.adoc M doc/guide/src/LineDirective.adoc M doc/guide/src/LocalFlatten.adoc M doc/guide/src/LocalRef.adoc M doc/guide/src/Logo.adoc M doc/guide/src/LoopInvariant.adoc M doc/guide/src/LoopUnroll.adoc M doc/guide/src/LoopUnswitch.adoc M doc/guide/src/ML.adoc M doc/guide/src/MLAntlr.adoc M doc/guide/src/MLBasis.adoc M doc/guide/src/MLBasisAnnotationExamples.adoc M doc/guide/src/MLBasisAnnotations.adoc M doc/guide/src/MLBasisAvailableLibraries.adoc M doc/guide/src/MLBasisExamples.adoc M doc/guide/src/MLBasisPathMap.adoc M doc/guide/src/MLBasisSyntaxAndSemantics.adoc M doc/guide/src/MLKit.adoc M doc/guide/src/MLLPTLibrary.adoc M doc/guide/src/MLLex.adoc M doc/guide/src/MLNLFFI.adoc M doc/guide/src/MLNLFFIGen.adoc M doc/guide/src/MLNLFFIImplementation.adoc M doc/guide/src/MLRISCLibrary.adoc M doc/guide/src/MLULex.adoc M doc/guide/src/MLYacc.adoc M doc/guide/src/MLj.adoc M doc/guide/src/MLmon.adoc M doc/guide/src/MLtonArray.adoc M doc/guide/src/MLtonBinIO.adoc M doc/guide/src/MLtonCont.adoc M doc/guide/src/MLtonContIsolateImplementation.adoc M doc/guide/src/MLtonCross.adoc M doc/guide/src/MLtonExn.adoc M doc/guide/src/MLtonFinalizable.adoc M doc/guide/src/MLtonGC.adoc M doc/guide/src/MLtonIO.adoc M doc/guide/src/MLtonIntInf.adoc M doc/guide/src/MLtonItimer.adoc M doc/guide/src/MLtonLibraryProject.adoc M doc/guide/src/MLtonMonoArray.adoc M doc/guide/src/MLtonMonoVector.adoc M doc/guide/src/MLtonPlatform.adoc M doc/guide/src/MLtonPointer.adoc M doc/guide/src/MLtonProcEnv.adoc M doc/guide/src/MLtonProcess.adoc M doc/guide/src/MLtonProfile.adoc M doc/guide/src/MLtonRandom.adoc M doc/guide/src/MLtonReal.adoc M doc/guide/src/MLtonRlimit.adoc M doc/guide/src/MLtonRusage.adoc M doc/guide/src/MLtonSignal.adoc M doc/guide/src/MLtonStructure.adoc M doc/guide/src/MLtonSyslog.adoc M doc/guide/src/MLtonTextIO.adoc M doc/guide/src/MLtonThread.adoc M doc/guide/src/MLtonVector.adoc M doc/guide/src/MLtonWeak.adoc M doc/guide/src/MLtonWord.adoc M doc/guide/src/MLtonWorld.adoc M doc/guide/src/Machine.adoc M doc/guide/src/ManualPage.adoc M doc/guide/src/MatchCompilation.adoc M doc/guide/src/MatchCompile.adoc M doc/guide/src/MatthewFluet.adoc M doc/guide/src/MichaelNorrish.adoc M doc/guide/src/MikeThomas.adoc M doc/guide/src/Monomorphise.adoc M doc/guide/src/MoscowML.adoc M doc/guide/src/Multi.adoc M doc/guide/src/Mutable.adoc M doc/guide/src/NeedsReview.adoc M doc/guide/src/NumericLiteral.adoc M doc/guide/src/OCaml.adoc M doc/guide/src/ObjectOrientedProgramming.adoc M doc/guide/src/OpenGL.adoc M doc/guide/src/OperatorPrecedence.adoc M doc/guide/src/OptionalArguments.adoc M doc/guide/src/Overloading.adoc M doc/guide/src/PackedRepresentation.adoc M doc/guide/src/ParallelMove.adoc M doc/guide/src/Performance.adoc M doc/guide/src/PhantomType.adoc M doc/guide/src/PlatformSpecificNotes.adoc M doc/guide/src/PolyEqual.adoc M doc/guide/src/PolyHash.adoc M doc/guide/src/PolyML.adoc M doc/guide/src/PolymorphicEquality.adoc M doc/guide/src/Polyvariance.adoc M doc/guide/src/Poplog.adoc M doc/guide/src/PortingMLton.adoc M doc/guide/src/PrecedenceParse.adoc M doc/guide/src/Printf.adoc M doc/guide/src/PrintfGentle.adoc M doc/guide/src/ProductType.adoc M doc/guide/src/Profiling.adoc M doc/guide/src/ProfilingAllocation.adoc M doc/guide/src/ProfilingCounts.adoc M doc/guide/src/ProfilingTheStack.adoc M doc/guide/src/ProfilingTime.adoc M doc/guide/src/Projects.adoc M doc/guide/src/Pronounce.adoc M doc/guide/src/PropertyList.adoc M doc/guide/src/Pygments.adoc M doc/guide/src/RSSA.adoc M doc/guide/src/RSSAShrink.adoc M doc/guide/src/RSSASimplify.adoc M doc/guide/src/RayRacine.adoc M doc/guide/src/Reachability.adoc M doc/guide/src/Redundant.adoc M doc/guide/src/RedundantTests.adoc M doc/guide/src/RefFlatten.adoc M doc/guide/src/References.adoc M doc/guide/src/Regions.adoc M doc/guide/src/Release20041109.adoc M doc/guide/src/Release20051202.adoc M doc/guide/src/Release20070826.adoc M doc/guide/src/Release20100608.adoc M doc/guide/src/Release20130715.adoc M doc/guide/src/Release20180207.adoc M doc/guide/src/Release20200722.adoc M doc/guide/src/Release20200817.adoc M doc/guide/src/Release20201002.adoc M doc/guide/src/Release20210117.adoc M doc/guide/src/ReleaseChecklist.adoc M doc/guide/src/Releases.adoc M doc/guide/src/RemoveUnused.adoc M doc/guide/src/Restore.adoc M doc/guide/src/ReturnStatement.adoc M doc/guide/src/RunTimeOptions.adoc M doc/guide/src/RunningOnAIX.adoc M doc/guide/src/RunningOnAMD64.adoc M doc/guide/src/RunningOnARM.adoc M doc/guide/src/RunningOnAlpha.adoc M doc/guide/src/RunningOnCygwin.adoc M doc/guide/src/RunningOnDarwin.adoc M doc/guide/src/RunningOnFreeBSD.adoc M doc/guide/src/RunningOnHPPA.adoc M doc/guide/src/RunningOnHPUX.adoc M doc/guide/src/RunningOnIA64.adoc M doc/guide/src/RunningOnLinux.adoc M doc/guide/src/RunningOnMinGW.adoc M doc/guide/src/RunningOnNetBSD.adoc M doc/guide/src/RunningOnOpenBSD.adoc M doc/guide/src/RunningOnPowerPC.adoc M doc/guide/src/RunningOnPowerPC64.adoc M doc/guide/src/RunningOnS390.adoc M doc/guide/src/RunningOnSolaris.adoc M doc/guide/src/RunningOnSparc.adoc M doc/guide/src/RunningOnX86.adoc M doc/guide/src/SML3d.adoc M doc/guide/src/SMLNET.adoc M doc/guide/src/SMLNJ.adoc M doc/guide/src/SMLNJDeviations.adoc M doc/guide/src/SMLNJLibrary.adoc M doc/guide/src/SMLSharp.adoc M doc/guide/src/SMLofNJStructure.adoc M doc/guide/src/SSA.adoc M doc/guide/src/SSA2.adoc M doc/guide/src/SSA2Simplify.adoc M doc/guide/src/SSASimplify.adoc M doc/guide/src/SXML.adoc M doc/guide/src/SXMLShrink.adoc M doc/guide/src/SXMLSimplify.adoc M doc/guide/src/ScopeInference.adoc M doc/guide/src/SelfCompiling.adoc M doc/guide/src/Serialization.adoc M doc/guide/src/ShareZeroVec.adoc M doc/guide/src/ShowBasis.adoc M doc/guide/src/ShowBasisDirective.adoc M doc/guide/src/ShowProf.adoc M doc/guide/src/Shrink.adoc M doc/guide/src/SimplifyTypes.adoc M doc/guide/src/Sources.adoc M doc/guide/src/SpaceSafety.adoc M doc/guide/src/SplitTypes.adoc M doc/guide/src/Stabilizers.adoc M doc/guide/src/StandardML.adoc M doc/guide/src/StandardMLBooks.adoc M doc/guide/src/StandardMLGotchas.adoc M doc/guide/src/StandardMLHistory.adoc M doc/guide/src/StandardMLImplementations.adoc M doc/guide/src/StandardMLPortability.adoc M doc/guide/src/StandardMLTutorials.adoc M doc/guide/src/StaticSum.adoc M doc/guide/src/StephenWeeks.adoc M doc/guide/src/StyleGuide.adoc M doc/guide/src/Subversion.adoc M doc/guide/src/SuccessorML.adoc M doc/guide/src/SureshJagannathan.adoc M doc/guide/src/Swerve.adoc M doc/guide/src/SyntacticConventions.adoc M doc/guide/src/TILT.adoc M doc/guide/src/Talk.adoc M doc/guide/src/TalkDiveIn.adoc M doc/guide/src/TalkFolkLore.adoc M doc/guide/src/TalkFromSMLTo.adoc M doc/guide/src/TalkHowHigherOrder.adoc M doc/guide/src/TalkHowModules.adoc M doc/guide/src/TalkHowPolymorphism.adoc M doc/guide/src/TalkMLtonApproach.adoc M doc/guide/src/TalkMLtonFeatures.adoc M doc/guide/src/TalkMLtonHistory.adoc M doc/guide/src/TalkStandardML.adoc M doc/guide/src/TalkTemplate.adoc M doc/guide/src/TalkWholeProgram.adoc M doc/guide/src/TipsForWritingConciseSML.adoc M doc/guide/src/ToMachine.adoc M doc/guide/src/ToRSSA.adoc M doc/guide/src/ToSSA2.adoc M doc/guide/src/TomMurphy.adoc M doc/guide/src/TypeChecking.adoc M doc/guide/src/TypeConstructor.adoc M doc/guide/src/TypeIndexedValues.adoc M doc/guide/src/TypeVariableScope.adoc M doc/guide/src/Unicode.adoc M doc/guide/src/UniversalType.adoc M doc/guide/src/UnresolvedBugs.adoc M doc/guide/src/UnsafeStructure.adoc M doc/guide/src/Useless.adoc M doc/guide/src/Users.adoc M doc/guide/src/Utilities.adoc M doc/guide/src/ValueRestriction.adoc M doc/guide/src/VariableArityPolymorphism.adoc M doc/guide/src/Variant.adoc M doc/guide/src/VesaKarvonen.adoc M doc/guide/src/WarnUnusedAnomalies.adoc M doc/guide/src/WesleyTerpstra.adoc M doc/guide/src/WholeProgramOptimization.adoc M doc/guide/src/WishList.adoc M doc/guide/src/XML.adoc M doc/guide/src/XMLShrink.adoc M doc/guide/src/XMLSimplify.adoc M doc/guide/src/XMLSimplifyTypes.adoc M doc/guide/src/ZZZOrphanedPages.adoc M doc/guide/src/Zone.adoc M doc/guide/src/eXene.adoc M doc/guide/src/fxp.adoc M doc/guide/src/mGTK.adoc Log Message: ----------- Commit scripted AsciiDoc.py to AsciiDoctor conversion Commit: a90516c5f82609d66aae150608f88b9384f08f68 https://github.com/MLton/mlton/commit/a90516c5f82609d66aae150608f88b9384f08f68 Author: Matthew Fluet <mat...@gm...> Date: 2021-10-21 (Thu, 21 Oct 2021) Changed paths: M CHANGELOG.adoc Log Message: ----------- Update `CHANGELOG.adoc` to AsciiDoctor syntax Commit: d97aa6536b5b84aad2b1490cd47c879786e134ca https://github.com/MLton/mlton/commit/d97aa6536b5b84aad2b1490cd47c879786e134ca Author: Matthew Fluet <mat...@gm...> Date: 2021-10-21 (Thu, 21 Oct 2021) Changed paths: M README.adoc Log Message: ----------- Mention AsciiDoctor/Rouge rather than AsciiDoc/Pygments in `README.adoc` Compare: https://github.com/MLton/mlton/compare/dfd664c1f21a...d97aa6536b5b |
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2021-08-31 10:46:16
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: aca9b71331aba8ca82dbd2e7c35077f83c641562 https://github.com/MLton/mlton/commit/aca9b71331aba8ca82dbd2e7c35077f83c641562 Author: Niklas Larsson <ni...@mm...> Date: 2021-08-29 (Sun, 29 Aug 2021) Changed paths: M .github/workflows/ci.yml Log Message: ----------- Add workflow for Windows Commit: 13fa665df8af0f41494d897e39136a030a08dcb3 https://github.com/MLton/mlton/commit/13fa665df8af0f41494d897e39136a030a08dcb3 Author: Niklas Larsson <ni...@mm...> Date: 2021-08-30 (Mon, 30 Aug 2021) Changed paths: M .github/workflows/ci.yml Log Message: ----------- Fix whitelist problem for Windows CI Commit: dfd664c1f21a7e545859cfb6c5022760e8df07b9 https://github.com/MLton/mlton/commit/dfd664c1f21a7e545859cfb6c5022760e8df07b9 Author: Matthew Fluet <Mat...@gm...> Date: 2021-08-31 (Tue, 31 Aug 2021) Changed paths: M .github/workflows/ci.yml Log Message: ----------- Merge pull request #447 from melted/windows_actions Add workflow for Windows Compare: https://github.com/MLton/mlton/compare/9db567155f2f...dfd664c1f21a |
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2021-08-20 01:03:39
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: e67e2013fa70583e87694fccb0607959b48e2291 https://github.com/MLton/mlton/commit/e67e2013fa70583e87694fccb0607959b48e2291 Author: Matthew Fluet <mat...@gm...> Date: 2021-08-19 (Thu, 19 Aug 2021) Changed paths: M .github/workflows/ci.yml Log Message: ----------- Run GitHub CI Action on all pull_request events Commit: 418751254b6eee8d18e2dee91403064a2f539180 https://github.com/MLton/mlton/commit/418751254b6eee8d18e2dee91403064a2f539180 Author: Matthew Fluet <mat...@gm...> Date: 2021-08-19 (Thu, 19 Aug 2021) Changed paths: M .github/workflows/ci.yml Log Message: ----------- Exclude `ubuntu`/`amd64`/`clang` from GitHub CI Action matrix Commit: f724a870895075cda6f762b5bc921caf9cba3085 https://github.com/MLton/mlton/commit/f724a870895075cda6f762b5bc921caf9cba3085 Author: Matthew Fluet <mat...@gm...> Date: 2021-08-19 (Thu, 19 Aug 2021) Changed paths: M .github/workflows/ci.yml Log Message: ----------- Build all position independence style variants of runtime Commit: 85026ca630c15c4328f7ae75f20aa802e574568a https://github.com/MLton/mlton/commit/85026ca630c15c4328f7ae75f20aa802e574568a Author: Matthew Fluet <mat...@gm...> Date: 2021-08-19 (Thu, 19 Aug 2021) Changed paths: M bin/regression Log Message: ----------- Remove use of associative arrays in `bin/regression` MacOS's `/bin/bash` is old and doesn't support associative arrays. Commit: 7eee7595ce83133db6d0e7c4ab9747798dccc423 https://github.com/MLton/mlton/commit/7eee7595ce83133db6d0e7c4ab9747798dccc423 Author: Matthew Fluet <mat...@gm...> Date: 2021-08-19 (Thu, 19 Aug 2021) Changed paths: M bin/regression M regression/whitelist Log Message: ----------- Tweak compilation flags for `regression/world*` tests Commit: 466bc5c41babf3dcb552da7dd26f968add1b22a4 https://github.com/MLton/mlton/commit/466bc5c41babf3dcb552da7dd26f968add1b22a4 Author: Matthew Fluet <mat...@gm...> Date: 2021-08-19 (Thu, 19 Aug 2021) Changed paths: M .github/workflows/ci.yml Log Message: ----------- Formatting of `.github/workflows/ci.yml` Commit: 870d8f18fb72a2544d9c262972e571bd80d14475 https://github.com/MLton/mlton/commit/870d8f18fb72a2544d9c262972e571bd80d14475 Author: Matthew Fluet <mat...@gm...> Date: 2021-08-19 (Thu, 19 Aug 2021) Changed paths: M .github/workflows/ci.yml Log Message: ----------- Homebrew's `clang` does not have `/usr/local` on include or lib paths Commit: 9db567155f2fd72fef450c33cfe7d7ce4e1bbbe5 https://github.com/MLton/mlton/commit/9db567155f2fd72fef450c33cfe7d7ce4e1bbbe5 Author: Matthew Fluet <Mat...@gm...> Date: 2021-08-19 (Thu, 19 Aug 2021) Changed paths: M .github/workflows/ci.yml M bin/regression M regression/whitelist Log Message: ----------- Merge pull request #446 from MatthewFluet/ci-updates More GitHub Actions CI updates Compare: https://github.com/MLton/mlton/compare/3f4c5c339b2b...9db567155f2f |
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2021-08-19 15:53:50
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: f1c81b30fe89fe251f1f57f6e8c712dd41be1059 https://github.com/MLton/mlton/commit/f1c81b30fe89fe251f1f57f6e8c712dd41be1059 Author: Matthew Fluet <mat...@gm...> Date: 2021-08-16 (Mon, 16 Aug 2021) Changed paths: M mlton/ssa/local-ref.fun Log Message: ----------- Use `FlatLatticeMono` in `LocalRef` Commit: f037f5003d48dbc9803b03b98d94b837c9f45453 https://github.com/MLton/mlton/commit/f037f5003d48dbc9803b03b98d94b837c9f45453 Author: Matthew Fluet <mat...@gm...> Date: 2021-08-16 (Mon, 16 Aug 2021) Changed paths: M lib/mlton/lattice/flat-lattice.fun M lib/mlton/lattice/flat-lattice.sig Log Message: ----------- Add `Value.is{Bottom,Point{,Eq},Top` to `functor FlatLatticeRec` Commit: f955b54b333dfea3ce01cac16268e49fe50d5a5f https://github.com/MLton/mlton/commit/f955b54b333dfea3ce01cac16268e49fe50d5a5f Author: Matthew Fluet <mat...@gm...> Date: 2021-08-16 (Mon, 16 Aug 2021) Changed paths: M lib/mlton/lattice/flat-lattice.fun M lib/mlton/lattice/flat-lattice.sig Log Message: ----------- Export `lowerBoundPoint` in `functor FlatLatticeRec` Commit: c653d7b20eda461929ea261ca3619dfdb6b33e5b https://github.com/MLton/mlton/commit/c653d7b20eda461929ea261ca3619dfdb6b33e5b Author: Matthew Fluet <mat...@gm...> Date: 2021-08-16 (Mon, 16 Aug 2021) Changed paths: M lib/mlton/lattice/flat-lattice.fun Log Message: ----------- Constrain `new{,Bottom,Point,Top}` in `functor FlatLatticeMono` Helps with type inference, especially for SML/NJ. Commit: 09c5e9cdb3489255b7eeefc02e4c1b22ff7a748c https://github.com/MLton/mlton/commit/09c5e9cdb3489255b7eeefc02e4c1b22ff7a748c Author: Matthew Fluet <mat...@gm...> Date: 2021-08-16 (Mon, 16 Aug 2021) Changed paths: M mlton/backend/implement-handlers.fun Log Message: ----------- Use `functor FlatLatticeMono` in `ImplementHandlers` Commit: f362aa301b2d3b4df2c0c006792d579910a6c553 https://github.com/MLton/mlton/commit/f362aa301b2d3b4df2c0c006792d579910a6c553 Author: Matthew Fluet <mat...@gm...> Date: 2021-08-16 (Mon, 16 Aug 2021) Changed paths: M mlton/backend/rssa-type-check.fun Log Message: ----------- Use `functor FlatLatticeMono` in `RssaTypeCheck` Commit: b2fca3d7e8b33ead1f667f995b194e2c4475595a https://github.com/MLton/mlton/commit/b2fca3d7e8b33ead1f667f995b194e2c4475595a Author: Matthew Fluet <mat...@gm...> Date: 2021-08-16 (Mon, 16 Aug 2021) Changed paths: M lib/mlton/lattice/flat-lattice.fun M lib/mlton/lattice/flat-lattice.sig M lib/mlton/lattice/sources.cm M lib/mlton/lattice/sources.mlb M lib/mlton/sources.cm M lib/mlton/sources.mlb Log Message: ----------- Remove old `functor FlatLattice(S: FLAT_LATTICE_STRUCTS): FLAT_LATTICE` Commit: f8c00b04d097a5c2b4d24091902ad751045d041a https://github.com/MLton/mlton/commit/f8c00b04d097a5c2b4d24091902ad751045d041a Author: Matthew Fluet <mat...@gm...> Date: 2021-08-18 (Wed, 18 Aug 2021) Changed paths: M mlton/backend/implement-profiling.fun Log Message: ----------- Minimize `curSourceSeqsIndex` updates with `-profile time-field` Previously, `-profile time-field` was implemented by updating the `curSourceSeqsIndex` field whenever a profile label would be inserted for `-profile time-label`. However, profile labels are inserted for code coverage properties (in particular, at the beginning of every basic block), whether or not the `sourceSeqsIndex` is changing at the control-flow point. Now, we only update `curSourceSeqsIndex` at control-flow points where the `sourceSeqsIndex` changes. In particular, an update is inserted at the beginning of each function and at the beginning of each `Cont` and `Handler` blocks. The overhead of `-profile time-field` is reduced and, in fact, is now lower than that of `-profile time-label` (possibly due to the overhead of binary searching for the label). $ ./build/bin/mlton -codegen amd64 -profile time-label hamlet.mlb $ ./hamlet 100 > /dev/null mlprof -thresh 3.0 hamlet mlmon.out 12.84 seconds of CPU time (2.41 seconds GC) function cur ------------------------------------ ----- <gc> 15.8% _res_Integer.scan 15.8% _res_BinaryMapFn.find.mem 10.0% Lab.compare 7.7% _res_BinaryMapFn.insert 6.8% _res_Sequence.make2 4.4% _res_BinaryMapFn.N 3.5% _res_PrimSequence.Slice.collate.loop 3.2% _res_BinaryMapFn.T' 3.2% $ ./build/bin/mlton -codegen amd64 -profile time-field hamlet.mlb $ ./hamlet 100 > /dev/null mlprof -thresh 3.0 hamlet mlmon.out 11.68 seconds of CPU time (2.53 seconds GC) function cur ------------------------------------ ----- <gc> 17.8% _res_Integer.scan 15.0% _res_BinaryMapFn.insert 6.4% _res_PrimSequence.Slice.collate.loop 5.7% _res_BinaryMapFn.find.mem 4.9% _res_BinaryMapFn.T' 4.9% _res_Sequence.make2 4.9% _res_Integer.scan.negate 4.1% Lab.compare 3.9% Primitive.Exn.mkOverflow.fn 3.7% _res_BinaryMapFn.N 3.3% Commit: 84a54227daa12899e9c652fc1a09b77caf466e09 https://github.com/MLton/mlton/commit/84a54227daa12899e9c652fc1a09b77caf466e09 Author: Matthew Fluet <mat...@gm...> Date: 2021-08-18 (Wed, 18 Aug 2021) Changed paths: M mlton/backend/backend.fun M mlton/backend/implement-profiling.fun M mlton/backend/machine.fun M mlton/codegen/c-codegen/c-codegen.fun M mlton/codegen/llvm-codegen/llvm-codegen.fun M mlton/control/control-flags.sig M mlton/control/control-flags.sml M mlton/main/main.fun Log Message: ----------- Eliminate `-profile time-label` compile-time option Commit: 88fdfb696de803e537bc264730f460161edd7dad https://github.com/MLton/mlton/commit/88fdfb696de803e537bc264730f460161edd7dad Author: Matthew Fluet <mat...@gm...> Date: 2021-08-18 (Wed, 18 Aug 2021) Changed paths: M mlton/backend/implement-profiling.fun M mlton/codegen/c-codegen/c-codegen.fun M mlton/control/control-flags.sig M mlton/control/control-flags.sml M mlton/main/main.fun Log Message: ----------- Eliminate `-profile label` compile-time option Commit: ab44f850aa9b804900f92068f8ef6f62753df3de https://github.com/MLton/mlton/commit/ab44f850aa9b804900f92068f8ef6f62753df3de Author: Matthew Fluet <mat...@gm...> Date: 2021-08-18 (Wed, 18 Aug 2021) Changed paths: M mlton/backend/implement-profiling.fun Log Message: ----------- Simplify `ImplementProfiling` given removal of `-profile time-label` Commit: ed6bba7788f7c7ea41f06af4c32a8f8ae9a1d586 https://github.com/MLton/mlton/commit/ed6bba7788f7c7ea41f06af4c32a8f8ae9a1d586 Author: Matthew Fluet <mat...@gm...> Date: 2021-08-18 (Wed, 18 Aug 2021) Changed paths: M runtime/gc/profiling.c M runtime/gc/profiling.h M runtime/gc/sources.c M runtime/gc/sources.h Log Message: ----------- Eliminate `PROFILE_TIME_LABEL` in runtime Commit: 3f4c2d8ba9174f37e7fc1fdeebd93ebccbdf9d4b https://github.com/MLton/mlton/commit/3f4c2d8ba9174f37e7fc1fdeebd93ebccbdf9d4b Author: Matthew Fluet <mat...@gm...> Date: 2021-08-18 (Wed, 18 Aug 2021) Changed paths: M mlton/backend/backend.fun M mlton/backend/chunkify.fun M mlton/backend/machine.fun M mlton/backend/machine.sig M mlton/backend/rssa-tree.fun M mlton/backend/rssa-tree.sig M mlton/backend/rssa-type-check.fun M mlton/codegen/amd64-codegen/amd64-translate.fun M mlton/codegen/c-codegen/c-codegen.fun M mlton/codegen/llvm-codegen/llvm-codegen.fun M mlton/codegen/x86-codegen/x86-translate.fun Log Message: ----------- Eliminate `ProfileLabel` statement in RSSA and Machine ILs Commit: 400bcb283d16a562ae7b73a43c8fbf7f12105e10 https://github.com/MLton/mlton/commit/400bcb283d16a562ae7b73a43c8fbf7f12105e10 Author: Matthew Fluet <mat...@gm...> Date: 2021-08-18 (Wed, 18 Aug 2021) Changed paths: M mlton/codegen/x86-codegen/peephole.fun M mlton/codegen/x86-codegen/peephole.sig M mlton/codegen/x86-codegen/x86-codegen.fun M mlton/codegen/x86-codegen/x86-generate-transfers.fun M mlton/codegen/x86-codegen/x86-generate-transfers.sig M mlton/codegen/x86-codegen/x86-liveness.fun M mlton/codegen/x86-codegen/x86-liveness.sig M mlton/codegen/x86-codegen/x86-mlton-basic.sig M mlton/codegen/x86-codegen/x86-pseudo.sig M mlton/codegen/x86-codegen/x86-simplify.fun M mlton/codegen/x86-codegen/x86-simplify.sig M mlton/codegen/x86-codegen/x86.fun M mlton/codegen/x86-codegen/x86.sig Log Message: ----------- Eliminate `ProfileLabel` from x86 codegen Commit: 93156c749a8134f5519e4e9abc3ef3552f00e073 https://github.com/MLton/mlton/commit/93156c749a8134f5519e4e9abc3ef3552f00e073 Author: Matthew Fluet <mat...@gm...> Date: 2021-08-18 (Wed, 18 Aug 2021) Changed paths: M mlton/codegen/amd64-codegen/amd64-codegen.fun M mlton/codegen/amd64-codegen/amd64-generate-transfers.fun M mlton/codegen/amd64-codegen/amd64-generate-transfers.sig M mlton/codegen/amd64-codegen/amd64-liveness.fun M mlton/codegen/amd64-codegen/amd64-liveness.sig M mlton/codegen/amd64-codegen/amd64-mlton-basic.sig M mlton/codegen/amd64-codegen/amd64-pseudo.sig M mlton/codegen/amd64-codegen/amd64-simplify.fun M mlton/codegen/amd64-codegen/amd64-simplify.sig M mlton/codegen/amd64-codegen/amd64.fun M mlton/codegen/amd64-codegen/amd64.sig M mlton/codegen/amd64-codegen/peephole.fun M mlton/codegen/amd64-codegen/peephole.sig Log Message: ----------- Eliminate `ProfileLabel` from amd64 codegen Commit: b301de17b055a63fb87177f0fa3acfa915f05951 https://github.com/MLton/mlton/commit/b301de17b055a63fb87177f0fa3acfa915f05951 Author: Matthew Fluet <mat...@gm...> Date: 2021-08-18 (Wed, 18 Aug 2021) Changed paths: M mlton/atoms/sources.cm M mlton/atoms/sources.mlb Log Message: ----------- Remove unused `signature PROFILE_LABEL` from export list Commit: cb61e11a72b99295e89887f64f35e3705e6ba84d https://github.com/MLton/mlton/commit/cb61e11a72b99295e89887f64f35e3705e6ba84d Author: Matthew Fluet <mat...@gm...> Date: 2021-08-18 (Wed, 18 Aug 2021) Changed paths: M include/common-main.h M mlton/atoms/atoms.fun M mlton/atoms/atoms.sig M mlton/atoms/source-maps.fun M mlton/atoms/source-maps.sig M mlton/backend/implement-profiling.fun M mlton/backend/machine.fun M mlton/backend/rssa-type-check.fun M mlton/codegen/c-codegen/c-codegen.fun M runtime/gc/sources.h Log Message: ----------- Eliminate `profileLabelInfos` from `SourceMaps.T` and `GC_sourceMaps` Commit: a8bd4d2a76e53c13197a5e0d2daa4deb80a05ac5 https://github.com/MLton/mlton/commit/a8bd4d2a76e53c13197a5e0d2daa4deb80a05ac5 Author: Matthew Fluet <mat...@gm...> Date: 2021-08-18 (Wed, 18 Aug 2021) Changed paths: M mlton/atoms/atoms.fun M mlton/atoms/atoms.sig R mlton/atoms/profile-label.fun R mlton/atoms/profile-label.sig M mlton/atoms/sources.cm M mlton/atoms/sources.mlb Log Message: ----------- Eliminate `Atoms.ProfileLabel` Commit: 075eaef1c05087384a3aa7f40a000d714d14b9d9 https://github.com/MLton/mlton/commit/075eaef1c05087384a3aa7f40a000d714d14b9d9 Author: Matthew Fluet <mat...@gm...> Date: 2021-08-18 (Wed, 18 Aug 2021) Changed paths: M mlton/backend/implement-profiling.fun M mlton/codegen/c-codegen/c-codegen.fun M mlton/codegen/llvm-codegen/llvm-codegen.fun M mlton/control/control-flags.sig M mlton/control/control-flags.sml M mlton/main/main.fun M runtime/gc/profiling.c M runtime/gc/profiling.h Log Message: ----------- Rename `ProfileTimeField`/`PROFILE_TIME_FIELD` to `ProfileTime`/`PROFILE_TIME` Commit: 8b8e2152266312e6e727f3e263cbb82166993a43 https://github.com/MLton/mlton/commit/8b8e2152266312e6e727f3e263cbb82166993a43 Author: Matthew Fluet <mat...@gm...> Date: 2021-08-18 (Wed, 18 Aug 2021) Changed paths: M mlton/main/main.fun M runtime/gc/profiling.c M runtime/gc/profiling.h M runtime/platform.h R runtime/platform/android_ucontext.h M runtime/platform/darwin.c M runtime/platform/darwin.h M runtime/platform/freebsd.c M runtime/platform/freebsd.h M runtime/platform/hpux.c M runtime/platform/linux.c M runtime/platform/linux.h M runtime/platform/mingw.c M runtime/platform/netbsd.c M runtime/platform/openbsd.c M runtime/platform/solaris.c M runtime/platform/solaris.h M runtime/util/pointer.h Log Message: ----------- Eliminate `GC_setSigProfHandler` With the elimination of `-profile time-label`, there is no need to extract the program counter in the `SIGPROF` signal handler and all of the very low-level and architecture / os specific trickery for doing so can be removed. Commit: 6c6d54a4ed47d28191c41530615b7d5a1d58f9e6 https://github.com/MLton/mlton/commit/6c6d54a4ed47d28191c41530615b7d5a1d58f9e6 Author: Matthew Fluet <mat...@gm...> Date: 2021-08-19 (Thu, 19 Aug 2021) Changed paths: M doc/guide/src/HowProfilingWorks.adoc M doc/guide/src/ProfilingTime.adoc Log Message: ----------- Update documentation for time profiling Commit: 15db4e33ef51138397277dc5886bc7b8b2482068 https://github.com/MLton/mlton/commit/15db4e33ef51138397277dc5886bc7b8b2482068 Author: Matthew Fluet <mat...@gm...> Date: 2021-08-19 (Thu, 19 Aug 2021) Changed paths: M CHANGELOG.adoc Log Message: ----------- Update `CHANGELOG.adoc` Commit: 3f4c5c339b2b79e61f4007cb6055e694a1a4169d https://github.com/MLton/mlton/commit/3f4c5c339b2b79e61f4007cb6055e694a1a4169d Author: Matthew Fluet <Mat...@gm...> Date: 2021-08-19 (Thu, 19 Aug 2021) Changed paths: M CHANGELOG.adoc M doc/guide/src/HowProfilingWorks.adoc M doc/guide/src/ProfilingTime.adoc M include/common-main.h M lib/mlton/lattice/flat-lattice.fun M lib/mlton/lattice/flat-lattice.sig M lib/mlton/lattice/sources.cm M lib/mlton/lattice/sources.mlb M lib/mlton/sources.cm M lib/mlton/sources.mlb M mlton/atoms/atoms.fun M mlton/atoms/atoms.sig R mlton/atoms/profile-label.fun R mlton/atoms/profile-label.sig M mlton/atoms/source-maps.fun M mlton/atoms/source-maps.sig M mlton/atoms/sources.cm M mlton/atoms/sources.mlb M mlton/backend/backend.fun M mlton/backend/chunkify.fun M mlton/backend/implement-handlers.fun M mlton/backend/implement-profiling.fun M mlton/backend/machine.fun M mlton/backend/machine.sig M mlton/backend/rssa-tree.fun M mlton/backend/rssa-tree.sig M mlton/backend/rssa-type-check.fun M mlton/codegen/amd64-codegen/amd64-codegen.fun M mlton/codegen/amd64-codegen/amd64-generate-transfers.fun M mlton/codegen/amd64-codegen/amd64-generate-transfers.sig M mlton/codegen/amd64-codegen/amd64-liveness.fun M mlton/codegen/amd64-codegen/amd64-liveness.sig M mlton/codegen/amd64-codegen/amd64-mlton-basic.sig M mlton/codegen/amd64-codegen/amd64-pseudo.sig M mlton/codegen/amd64-codegen/amd64-simplify.fun M mlton/codegen/amd64-codegen/amd64-simplify.sig M mlton/codegen/amd64-codegen/amd64-translate.fun M mlton/codegen/amd64-codegen/amd64.fun M mlton/codegen/amd64-codegen/amd64.sig M mlton/codegen/amd64-codegen/peephole.fun M mlton/codegen/amd64-codegen/peephole.sig M mlton/codegen/c-codegen/c-codegen.fun M mlton/codegen/llvm-codegen/llvm-codegen.fun M mlton/codegen/x86-codegen/peephole.fun M mlton/codegen/x86-codegen/peephole.sig M mlton/codegen/x86-codegen/x86-codegen.fun M mlton/codegen/x86-codegen/x86-generate-transfers.fun M mlton/codegen/x86-codegen/x86-generate-transfers.sig M mlton/codegen/x86-codegen/x86-liveness.fun M mlton/codegen/x86-codegen/x86-liveness.sig M mlton/codegen/x86-codegen/x86-mlton-basic.sig M mlton/codegen/x86-codegen/x86-pseudo.sig M mlton/codegen/x86-codegen/x86-simplify.fun M mlton/codegen/x86-codegen/x86-simplify.sig M mlton/codegen/x86-codegen/x86-translate.fun M mlton/codegen/x86-codegen/x86.fun M mlton/codegen/x86-codegen/x86.sig M mlton/control/control-flags.sig M mlton/control/control-flags.sml M mlton/main/main.fun M mlton/ssa/local-ref.fun M runtime/gc/profiling.c M runtime/gc/profiling.h M runtime/gc/sources.c M runtime/gc/sources.h M runtime/platform.h R runtime/platform/android_ucontext.h M runtime/platform/darwin.c M runtime/platform/darwin.h M runtime/platform/freebsd.c M runtime/platform/freebsd.h M runtime/platform/hpux.c M runtime/platform/linux.c M runtime/platform/linux.h M runtime/platform/mingw.c M runtime/platform/netbsd.c M runtime/platform/openbsd.c M runtime/platform/solaris.c M runtime/platform/solaris.h M runtime/util/pointer.h Log Message: ----------- Merge pull request #445 from MatthewFluet/elim-profile-time-label Eliminate `-profile time-label` and supporting infrastructure Time profiling with the native codegens worked by inserting labels that cover the code (i.e. each statement has a unique label in its basic block that precedes it) and associates each label with the local control stack. At runtime, the `SIGPROF` handler needed to extract the current program counter and map that to the current source function (by performing a binary search through all of the declared profiling labels). Extracting the current program counter in the `SIGPROF` handler required very low-level and architecture / os specific code and was always something tricky to get right on new platforms (and was blindly extended to non-x86/amd64 architectures, despite never being used on such platforms). In the distant past, this approach was also used with the C codegen, but it proved to be too difficult to inject profiling lables into C code in a manner that wasn't corrupted by compiler optimizations (e.g., inlining or basic block duplication could duplicate profiling labels, leading to the same label being defined multiple times in the program). A `-profile time-field` approach for non-native codegens was added in 6e79a399d, which works by inserting code that sets a `volatile uint32_t curSourceSeqIndex` field of the `GCState` that records the local control stack, but had slightly higher overhead than `-profile time-label` on the native codegens. This pull request eliminates `-profile time-label` and all of its supporting infrastructure. The slightly higher overhead of `-profile time-field` over `-profile time-label` on the native codegens was due to the naive approach of writing to the `curSourceSeqIndex` field whenever a profiling lable would have been emitted. However, this sets the `curSourceSeqIndex` field more often than necessary; in particular, at the beginning of every basic block, whether or not the `sourceSeqsIndex` is changing at the control-flow point. In f8c00b04d, the implementation of `-profile time-field` was improved to only update `curSourceSeqsIndex` at control-flow points where the `sourceSeqsIndex` changes. In particular, an update is inserted at the beginning of each function and at the beginning of each `Cont` and `Handler` blocks. This reduced the overhead of `-profile time-field` to be less than that of `-profile time-label` on the native codegens (possibly due to the overhead of binary searching for the profile label). Compare: https://github.com/MLton/mlton/compare/41f72537c436...3f4c5c339b2b |
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2021-08-12 21:12:07
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 96e56d901bf653a4a52f184a87771e48006c11fd https://github.com/MLton/mlton/commit/96e56d901bf653a4a52f184a87771e48006c11fd Author: Matthew Fluet <mat...@gm...> Date: 2021-08-11 (Wed, 11 Aug 2021) Changed paths: M .travis.yml Log Message: ----------- Update Homebrew, to avoid building `mlton` from source Commit: c4bb68aece408ae3dfa77971b60d2d6911523905 https://github.com/MLton/mlton/commit/c4bb68aece408ae3dfa77971b60d2d6911523905 Author: Matthew Fluet <mat...@gm...> Date: 2021-08-11 (Wed, 11 Aug 2021) Changed paths: M .travis.yml Log Message: ----------- Update TravisCI to `xcode12` Commit: f7e173af6c3ada50132e35d8ed7970dec2b20ab6 https://github.com/MLton/mlton/commit/f7e173af6c3ada50132e35d8ed7970dec2b20ab6 Author: Matthew Fluet <mat...@gm...> Date: 2021-08-11 (Wed, 11 Aug 2021) Changed paths: A .github/workflows/ci.yml Log Message: ----------- Experiment with GitHub Action Commit: 22e079313cb0469bd613113b375930e43a3a82cf https://github.com/MLton/mlton/commit/22e079313cb0469bd613113b375930e43a3a82cf Author: Matthew Fluet <mat...@gm...> Date: 2021-08-12 (Thu, 12 Aug 2021) Changed paths: M .github/workflows/ci.yml Log Message: ----------- Tweak GitHub Action Commit: 12ad9917f4f9cc11607adb60984c228e4b229193 https://github.com/MLton/mlton/commit/12ad9917f4f9cc11607adb60984c228e4b229193 Author: Matthew Fluet <mat...@gm...> Date: 2021-08-12 (Thu, 12 Aug 2021) Changed paths: M regression/whitelist Log Message: ----------- Add `ieee-real` and `real-str` to whitelist LLVM assumes that the rounding mode is always round-to-nearest. Commit: 644a24611c85ebbc2674b87d59bac9526e2d9950 https://github.com/MLton/mlton/commit/644a24611c85ebbc2674b87d59bac9526e2d9950 Author: Matthew Fluet <mat...@gm...> Date: 2021-08-12 (Thu, 12 Aug 2021) Changed paths: R .travis.yml M README.adoc R bin/travis-ci Log Message: ----------- Remove TravisCI Commit: 8c7a93994d98df87f5e45e49c27ea681faa70593 https://github.com/MLton/mlton/commit/8c7a93994d98df87f5e45e49c27ea681faa70593 Author: Matthew Fluet <mat...@gm...> Date: 2021-08-12 (Thu, 12 Aug 2021) Changed paths: M README.adoc Log Message: ----------- Add GitHub Action CI badge Commit: 54ef68454bd9c6c38a6105969dacdaacb646ba9b https://github.com/MLton/mlton/commit/54ef68454bd9c6c38a6105969dacdaacb646ba9b Author: Matthew Fluet <mat...@gm...> Date: 2021-08-12 (Thu, 12 Aug 2021) Changed paths: M .github/workflows/ci.yml Log Message: ----------- Experiment with CI GitHub Action matrix Commit: 41f72537c43687e93a7b1e46dbf850e3a267a796 https://github.com/MLton/mlton/commit/41f72537c43687e93a7b1e46dbf850e3a267a796 Author: Matthew Fluet <Mat...@gm...> Date: 2021-08-12 (Thu, 12 Aug 2021) Changed paths: A .github/workflows/ci.yml R .travis.yml M README.adoc R bin/travis-ci M regression/whitelist Log Message: ----------- Merge pull request #444 from MatthewFluet/ci-updates Switch from TravisCI to GitHub Actions Compare: https://github.com/MLton/mlton/compare/ede0d6da66ce...41f72537c436 |
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2021-08-03 17:07:47
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 0b531fa396485f39d6e43a2342c3caaaa059e1ad https://github.com/MLton/mlton/commit/0b531fa396485f39d6e43a2342c3caaaa059e1ad Author: Matthew Fluet <mat...@gm...> Date: 2021-07-17 (Sat, 17 Jul 2021) Changed paths: M mlton/atoms/c-symbol.fun Log Message: ----------- Match `layout` and `parse` for `CSymbol` Commit: e876ef1851cf4bd7e88f1359b34996d9369e234d https://github.com/MLton/mlton/commit/e876ef1851cf4bd7e88f1359b34996d9369e234d Author: Matthew Fluet <mat...@gm...> Date: 2021-07-17 (Sat, 17 Jul 2021) Changed paths: M lib/mlton/basic/list.sig M lib/mlton/basic/list.sml Log Message: ----------- Add `List.empty` and `List.single` to MLton Library Commit: d7e27d9c519bdf10dfb08f9f2305b8c06396e071 https://github.com/MLton/mlton/commit/d7e27d9c519bdf10dfb08f9f2305b8c06396e071 Author: Matthew Fluet <mat...@gm...> Date: 2021-07-17 (Sat, 17 Jul 2021) Changed paths: M lib/mlton/basic/parse.sml Log Message: ----------- Fix bug in `Parse.each` Commit: 9014b7d6736db48f569dceccc70b02891d93a18a https://github.com/MLton/mlton/commit/9014b7d6736db48f569dceccc70b02891d93a18a Author: Matthew Fluet <mat...@gm...> Date: 2021-07-17 (Sat, 17 Jul 2021) Changed paths: M mlton/atoms/id.fun Log Message: ----------- Parse IL identifiers like `^Env_123` Commit: aa4c0ada5be293fceae98b7829b54292776af7a5 https://github.com/MLton/mlton/commit/aa4c0ada5be293fceae98b7829b54292776af7a5 Author: Matthew Fluet <mat...@gm...> Date: 2021-07-17 (Sat, 17 Jul 2021) Changed paths: M mlton/backend/machine.fun M mlton/backend/rssa-simplify.fun M mlton/control/control-flags.sig M mlton/control/control-flags.sml M mlton/control/control.sig M mlton/control/control.sml M mlton/main/compile.fun M mlton/main/main.fun M mlton/ssa/simplify.fun M mlton/ssa/simplify2.fun M mlton/xml/polyvariance.fun M mlton/xml/sxml-simplify.fun M mlton/xml/xml-simplify.fun Log Message: ----------- Control type-checking of ILs with `-{enable,disable}-pass` Use `-{enable-disable}-pass '.*:typeCheck'` to control type-checking of ILs in individual simplify passes, simplify pipelines, and translation passes. The overall default behavior is the same, but rather than type checking at the beginning and end of each IL simplify pipeline, we now type check at the end of each translation pass and the end of each IL simplify pipeline. (For example, previously, we type checked at the beginning and end of `ssaSimplify`, but now we type check at the end of `closureConvert` and the end of `ssaSimplify` (and not at the beginning of `ssaSimplify`).) In addition, it is possible to enable type checking for exactly one simplify pass (e.g., `-enable-pass 'constantPropagation:typeCheck'`) without needing to type check every pass. Commit: f85ac692614c3e3933c57c6f1b7a4a192f9540af https://github.com/MLton/mlton/commit/f85ac692614c3e3933c57c6f1b7a4a192f9540af Author: Matthew Fluet <mat...@gm...> Date: 2021-07-17 (Sat, 17 Jul 2021) Changed paths: M mlton/ssa/constant-propagation.fun Log Message: ----------- Report statistics on number of constant variables in `ConstantPropagation` Commit: 7dc17e89ca0aba0378f27b466625c972a20a12b2 https://github.com/MLton/mlton/commit/7dc17e89ca0aba0378f27b466625c972a20a12b2 Author: Matthew Fluet <mat...@gm...> Date: 2021-07-17 (Sat, 17 Jul 2021) Changed paths: M mlton/ssa/constant-propagation.fun Log Message: ----------- Print circular abstract values in `ConstantPropagation` Commit: 3278b36f8ddbb50eb65b7b239197b0f567d38c45 https://github.com/MLton/mlton/commit/3278b36f8ddbb50eb65b7b239197b0f567d38c45 Author: Matthew Fluet <mat...@gm...> Date: 2021-07-17 (Sat, 17 Jul 2021) Changed paths: M mlton/control/control-flags.sig M mlton/control/control-flags.sml M mlton/main/main.fun M mlton/ssa/constant-propagation.fun Log Message: ----------- Add control for cut-off depth for printing of abs vals in `ConstantPropagation` Commit: 870cc52b51ab1ed05361a4840757538ef4997681 https://github.com/MLton/mlton/commit/870cc52b51ab1ed05361a4840757538ef4997681 Author: Matthew Fluet <mat...@gm...> Date: 2021-07-17 (Sat, 17 Jul 2021) Changed paths: M mlton/ssa/constant-propagation.fun Log Message: ----------- Preserve `Vector` args to `SideEffect` prims in `ConstantPropagation` A `Vector` is assumed to be immutable and therefore should not be mutated (even by a `SideEffect` prim). Thus, constant elements of a vector need not be pushed to `Unknown`. Commit: 96024a85a209d70d5bb2c72cd6da10a9f963569b https://github.com/MLton/mlton/commit/96024a85a209d70d5bb2c72cd6da10a9f963569b Author: Matthew Fluet <mat...@gm...> Date: 2021-07-17 (Sat, 17 Jul 2021) Changed paths: M mlton/ssa/constant-propagation.fun Log Message: ----------- Fix bug in `ConstantPropagations.sendConApp` When looping through ConApp coercions, `sendConApp` unnecessarily called `makeDataUnknown` on the *original* datatype abstract value, rather than the *current* datatype abstract value. This could force more datatype abstract values than necessary to `Unknown`. Commit: 45a71cde65e23dff42d26ab21cfff74b1a20b170 https://github.com/MLton/mlton/commit/45a71cde65e23dff42d26ab21cfff74b1a20b170 Author: Matthew Fluet <mat...@gm...> Date: 2021-07-17 (Sat, 17 Jul 2021) Changed paths: M mlton/ssa/constant-propagation.fun Log Message: ----------- Layout `Birth` details in `ConstantPropagation` Commit: d96cd4ccd2b11277a667a56c91fdf5a4631d18ba https://github.com/MLton/mlton/commit/d96cd4ccd2b11277a667a56c91fdf5a4631d18ba Author: Matthew Fluet <mat...@gm...> Date: 2021-07-17 (Sat, 17 Jul 2021) Changed paths: M mlton/ssa/constant-propagation.fun Log Message: ----------- Fix latent bugs in "birth" of array abstract values in `ConstantPropagation` The previous implementation has latent bugs for `Array_Alloc {raw = false}` and `Array_Array` primitives. Commit: f04c7771c7cda1853843e36ddd1fc040e87082a0 https://github.com/MLton/mlton/commit/f04c7771c7cda1853843e36ddd1fc040e87082a0 Author: Matthew Fluet <mat...@gm...> Date: 2021-07-26 (Mon, 26 Jul 2021) Changed paths: M lib/mlton/basic/ref.sig M lib/mlton/basic/ref.sml Log Message: ----------- Add `Ref.new` to MLton Library Commit: 7b45623340827c1e246fd5c100b8c28e65186fe0 https://github.com/MLton/mlton/commit/7b45623340827c1e246fd5c100b8c28e65186fe0 Author: Matthew Fluet <mat...@gm...> Date: 2021-07-28 (Wed, 28 Jul 2021) Changed paths: M lib/mlton/lattice/flat-lattice.fun M lib/mlton/lattice/flat-lattice.sig M lib/mlton/lattice/sources.cm M lib/mlton/lattice/sources.mlb M lib/mlton/sources.cm M lib/mlton/sources.mlb Log Message: ----------- Introduce `functor FlatLattice{Rec,Poly,Param,Mono}` Commit: a3ad33988f6f25e9f563132fcf840c54730ee558 https://github.com/MLton/mlton/commit/a3ad33988f6f25e9f563132fcf840c54730ee558 Author: Matthew Fluet <mat...@gm...> Date: 2021-07-28 (Wed, 28 Jul 2021) Changed paths: M mlton/ssa/constant-propagation.fun Log Message: ----------- Use `functor FlatLatticeParam` for `structure Birth` in `ConstantPropagation` Replaces a bespoke flat lattice implementation with a generic one. Commit: 6f082e29b9c6a0edd6c7320b457c7f0fa615e3f2 https://github.com/MLton/mlton/commit/6f082e29b9c6a0edd6c7320b457c7f0fa615e3f2 Author: Matthew Fluet <mat...@gm...> Date: 2021-07-28 (Wed, 28 Jul 2021) Changed paths: M mlton/ssa/constant-propagation.fun Log Message: ----------- Use `functor FlatLatticeMono` for `structure Const` in `ConstantPropagation` Replaces a bespoke flat lattice implementation with a generic one. Commit: 6dfd5574c0c6c482594954a0acc88b286742ce27 https://github.com/MLton/mlton/commit/6dfd5574c0c6c482594954a0acc88b286742ce27 Author: Matthew Fluet <mat...@gm...> Date: 2021-07-28 (Wed, 28 Jul 2021) Changed paths: M mlton/ssa/constant-propagation.fun Log Message: ----------- Rename `de{vector,array}` to `{vector,array}Elt` in `ConstantPropagation` Commit: 4c731d1280a50de5ad5ebe523d3c41023d10e4c7 https://github.com/MLton/mlton/commit/4c731d1280a50de5ad5ebe523d3c41023d10e4c7 Author: Matthew Fluet <mat...@gm...> Date: 2021-07-28 (Wed, 28 Jul 2021) Changed paths: M mlton/atoms/word-x-vector.fun M mlton/atoms/word-x-vector.sig Log Message: ----------- Add `WordXVector.foreach` Commit: acf093ca960dd423a7c37e583633070b61c7291d https://github.com/MLton/mlton/commit/acf093ca960dd423a7c37e583633070b61c7291d Author: Matthew Fluet <mat...@gm...> Date: 2021-07-28 (Wed, 28 Jul 2021) Changed paths: M mlton/ssa/constant-propagation.fun Log Message: ----------- Improve `constToVector` in `ConstantPropagation` When a `WordXVector` constant is coerced to a `Vector` abstract value, we should ensure that if the constant becomes `Top`, then the `Vector` does as well. In practice, this is never an issue, because `WordXVector` constants never flow into the same abstract value (and, therefore, such abstract values are never changed). The reason is that a `WordXVector` constant has the type `(word8) vector`; while a `WordXVector` constant induces a `Const` abstract value for the variable to which it is initially bound and direct references to that variable fetch the `Const` abstract value, any participation of this abstract value in a join must be mediated by flowing through an (initially undefined) abstract value produced by `Value.fromType` on `(word8) vector`, which induces a `Vector` abstract value. This somewhat prohibits the effective constant propagation of `WordXVector` constants. Commit: 036c0c43e7383d660c6b5c2f5ab39080e338b592 https://github.com/MLton/mlton/commit/036c0c43e7383d660c6b5c2f5ab39080e338b592 Author: Matthew Fluet <mat...@gm...> Date: 2021-07-28 (Wed, 28 Jul 2021) Changed paths: M mlton/ssa/constant-propagation.fun Log Message: ----------- Use `functor FlatLatticePoly` for `structure Data` in `ConstantPropagation` Replaces a bespoke flat lattice implementation with a generic one. Commit: 603877b15ee82f302ebe2523101d03c4ccf6d9d6 https://github.com/MLton/mlton/commit/603877b15ee82f302ebe2523101d03c4ccf6d9d6 Author: Matthew Fluet <mat...@gm...> Date: 2021-07-28 (Wed, 28 Jul 2021) Changed paths: M mlton/ssa/constant-propagation.fun Log Message: ----------- Reorganize code of `structure Value` in `ConstantPropagation` Lift `coerce`/`unify` from `fun transform` to `structure Value` The old implementation of datatype abstract values required `coerce` and `unify` to be defined with `conInfo` in scope, but the new implementation does not. The equivalent functionality is provided by the `Value.Data.addHandler'` in `filter`. Commit: 74aa86254289042ab546e4cf2665c66267ed1148 https://github.com/MLton/mlton/commit/74aa86254289042ab546e4cf2665c66267ed1148 Author: Matthew Fluet <mat...@gm...> Date: 2021-07-29 (Thu, 29 Jul 2021) Changed paths: M mlton/ssa/constant-propagation.fun Log Message: ----------- Perform constant folding during `ConstantPropagation` Commit: 568ed01bb89427b30d678b574b9e3097601d7c3b https://github.com/MLton/mlton/commit/568ed01bb89427b30d678b574b9e3097601d7c3b Author: Matthew Fluet <mat...@gm...> Date: 2021-07-29 (Thu, 29 Jul 2021) Changed paths: M mlton/ssa/useless.fun Log Message: ----------- Fix latent bug in `Useless` An `Array_array` or `Vector_vector` whose element is useless must be rewritten to replace original arguments with `unitVar`. Commit: 2e46721985938f8e0c8b57ced5d3b2eac3d7c87b https://github.com/MLton/mlton/commit/2e46721985938f8e0c8b57ced5d3b2eac3d7c87b Author: Matthew Fluet <mat...@gm...> Date: 2021-07-30 (Fri, 30 Jul 2021) Changed paths: M mlton/ssa/constant-propagation.fun Log Message: ----------- Introduce alternate implementation of sequences in `ConstantPropagation` Use a bespoke `Sequence` lattice to represent sequences, allowing fine-grained tracking of sequences with a known number of elements. In particular, this allows `WordXVector` constants to be propagated to join points of `Vector` abstract values. Commit: ede0d6da66cef03cc34213e8f43a210be9b65cda https://github.com/MLton/mlton/commit/ede0d6da66cef03cc34213e8f43a210be9b65cda Author: Matthew Fluet <Mat...@gm...> Date: 2021-08-03 (Tue, 03 Aug 2021) Changed paths: M lib/mlton/basic/list.sig M lib/mlton/basic/list.sml M lib/mlton/basic/parse.sml M lib/mlton/basic/ref.sig M lib/mlton/basic/ref.sml M lib/mlton/lattice/flat-lattice.fun M lib/mlton/lattice/flat-lattice.sig M lib/mlton/lattice/sources.cm M lib/mlton/lattice/sources.mlb M lib/mlton/sources.cm M lib/mlton/sources.mlb M mlton/atoms/c-symbol.fun M mlton/atoms/id.fun M mlton/atoms/word-x-vector.fun M mlton/atoms/word-x-vector.sig M mlton/backend/machine.fun M mlton/backend/rssa-simplify.fun M mlton/control/control-flags.sig M mlton/control/control-flags.sml M mlton/control/control.sig M mlton/control/control.sml M mlton/main/compile.fun M mlton/main/main.fun M mlton/ssa/constant-propagation.fun M mlton/ssa/simplify.fun M mlton/ssa/simplify2.fun M mlton/ssa/useless.fun M mlton/xml/polyvariance.fun M mlton/xml/sxml-simplify.fun M mlton/xml/xml-simplify.fun Log Message: ----------- Merge pull request #442 from MatthewFluet/constant-propagation-updates Updates to `ConstantPropagation` Various improvements to `ConstantPropagation`: - Introduce `functor FlatLattice{Rec,Poly,Param,Mono}` and use to implement abstract values for constants, "birth", and con apps, replacing bespoke implementations. - Use `FlatLattice{Rec,Poly,Param,Mono}.addHandler` to perform constant folding in `ConstantPropagation`. - Use a bespoke `Sequence` lattice (which itself uses `FlatLatticeRec`) to allow fine-grained tracking of sequences with a known number of elements (up to 0w1000); in particular, this allows `WordXVector` constants to be propagated to join points of `Vector` abstract values. Compare: https://github.com/MLton/mlton/compare/106a8c78bcee...ede0d6da66ce |
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2021-06-02 13:50:49
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 483fee3e3a4a07b978ad7c3f64991f43d693a077 https://github.com/MLton/mlton/commit/483fee3e3a4a07b978ad7c3f64991f43d693a077 Author: Matthew Fluet <mat...@gm...> Date: 2021-06-01 (Tue, 01 Jun 2021) Changed paths: M runtime/Makefile Log Message: ----------- Use static pattern rule for bootstrap compilation The "shortest stem" rule for choosing a pattern rule was added in GNU Make 3.82 (https://lists.gnu.org/archive/html/info-gnu/2010-07/msg00023.html), but MacOS is stuck on the (ancient) GNU Make 3.81, which uses definition order priority. Commit: 106a8c78bcee4395e8d8ac0fda50a0c123f8b85f https://github.com/MLton/mlton/commit/106a8c78bcee4395e8d8ac0fda50a0c123f8b85f Author: Matthew Fluet <Mat...@gm...> Date: 2021-06-02 (Wed, 02 Jun 2021) Changed paths: M runtime/Makefile Log Message: ----------- Merge pull request #439 from MatthewFluet/makefile-updates Use static pattern rule for bootstrap compilation Compare: https://github.com/MLton/mlton/compare/05e898225e6e...106a8c78bcee |
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2021-03-23 15:58:10
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 43442c8f01a62545b74c323e8e66407a7866fb0b https://github.com/MLton/mlton/commit/43442c8f01a62545b74c323e8e66407a7866fb0b Author: Matthew Fluet <mat...@gm...> Date: 2021-03-23 (Tue, 23 Mar 2021) Changed paths: M doc/guide/src/Release20210117.adoc Log Message: ----------- Drop (commented) links to binary releases for Mac OS X High Sierra Commit: 9de1baaa178a6823d328715a59dfcad407e398c3 https://github.com/MLton/mlton/commit/9de1baaa178a6823d328715a59dfcad407e398c3 Author: Matthew Fluet <mat...@gm...> Date: 2021-03-23 (Tue, 23 Mar 2021) Changed paths: M doc/guide/src/OCaml.adoc Log Message: ----------- Drop outdated comment and broken link on OCaml page Commit: 05e898225e6e05a6d0137eac1a15beab5b32824a https://github.com/MLton/mlton/commit/05e898225e6e05a6d0137eac1a15beab5b32824a Author: Matthew Fluet <Mat...@gm...> Date: 2021-03-23 (Tue, 23 Mar 2021) Changed paths: M doc/guide/src/OCaml.adoc M doc/guide/src/Release20210117.adoc Log Message: ----------- Merge pull request #437 from MatthewFluet/guide-updates Guide updates Compare: https://github.com/MLton/mlton/compare/f091f3f9049d...05e898225e6e |
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2021-03-09 01:26:08
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 1445bdf58e1cf26c5440521bb29965ec700df361 https://github.com/MLton/mlton/commit/1445bdf58e1cf26c5440521bb29965ec700df361 Author: Evgeny Ermakov <evg...@gm...> Date: 2021-03-09 (Tue, 09 Mar 2021) Changed paths: M Makefile.binary Log Message: ----------- Add support for DESTDIR in Makefile.binary Commit: f091f3f9049de723ba05bee198394f922ea34d70 https://github.com/MLton/mlton/commit/f091f3f9049de723ba05bee198394f922ea34d70 Author: Matthew Fluet <Mat...@gm...> Date: 2021-03-08 (Mon, 08 Mar 2021) Changed paths: M Makefile.binary Log Message: ----------- Merge pull request #435 from unspecd/fix-makefile Add support for DESTDIR in Makefile.binary Compare: https://github.com/MLton/mlton/compare/b8ebaa536021...f091f3f9049d |
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2021-02-17 00:42:47
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: a6fd7e80d235369c4096ff37b41cc4ca1523150a https://github.com/MLton/mlton/commit/a6fd7e80d235369c4096ff37b41cc4ca1523150a Author: Jo Henke <378...@us...> Date: 2021-02-16 (Tue, 16 Feb 2021) Changed paths: M Makefile Log Message: ----------- correct path in 'make polyml-mlton' mlton/Makefile writes the output to "$(MLTON_OUTPUT)-polyml", but Makefile tries to copy it from "mlton-polyml", while MLTON_OUTPUT is "$(MLTON)-compile" by default Commit: 22002cd0a53a1ab84491d74cb8dc6a4e50c1f7b7 https://github.com/MLton/mlton/commit/22002cd0a53a1ab84491d74cb8dc6a4e50c1f7b7 Author: Jo Henke <378...@us...> Date: 2021-02-16 (Tue, 16 Feb 2021) Changed paths: M Makefile.binary Log Message: ----------- remove duplicate 'if' 'make update' failed with this message: /bin/sh: 12: Syntax error: end of file unexpected (expecting "then") Commit: b8ebaa5360212ef6ed0e3dbf2124e155ca3403f0 https://github.com/MLton/mlton/commit/b8ebaa5360212ef6ed0e3dbf2124e155ca3403f0 Author: Matthew Fluet <Mat...@gm...> Date: 2021-02-16 (Tue, 16 Feb 2021) Changed paths: M Makefile M Makefile.binary Log Message: ----------- Merge pull request #434 from jo-he/master * Correct path in `make polyml-mlton` in `./Makefile` * Remove duplicate `if` in `./Makefile.binary` Compare: https://github.com/MLton/mlton/compare/2e7bbdb5788d...b8ebaa536021 |
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2021-02-15 23:17:51
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: a0fa8ef1399703a4c2fea07ac69ec66c44a782c4 https://github.com/MLton/mlton/commit/a0fa8ef1399703a4c2fea07ac69ec66c44a782c4 Author: Jo Henke <378...@us...> Date: 2021-02-15 (Mon, 15 Feb 2021) Changed paths: M mlton/control/control-flags.sml Log Message: ----------- fix option '-pi-style pie' Commit: 2e7bbdb5788d6873464dbb69920f57cdf659a623 https://github.com/MLton/mlton/commit/2e7bbdb5788d6873464dbb69920f57cdf659a623 Author: Matthew Fluet <Mat...@gm...> Date: 2021-02-15 (Mon, 15 Feb 2021) Changed paths: M mlton/control/control-flags.sml Log Message: ----------- Merge pull request #432 from jo-he/master fix option '-pi-style pie' Compare: https://github.com/MLton/mlton/compare/b35799f12a38...2e7bbdb5788d |
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2021-01-17 16:59:31
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: eb8b834ac337ddfa4bba0d1ad45ec43ab0d85ccd https://github.com/MLton/mlton/commit/eb8b834ac337ddfa4bba0d1ad45ec43ab0d85ccd Author: Matthew Fluet <mat...@gm...> Date: 2021-01-17 (Sun, 17 Jan 2021) Changed paths: M doc/guide/src/Release20210117.adoc Log Message: ----------- Link additional binary packages Commit: b35799f12a38fbea14ae49ecccfe88ae07031816 https://github.com/MLton/mlton/commit/b35799f12a38fbea14ae49ecccfe88ae07031816 Author: Matthew Fluet <Mat...@gm...> Date: 2021-01-17 (Sun, 17 Jan 2021) Changed paths: M doc/guide/src/Release20210117.adoc Log Message: ----------- Merge pull request #430 from MatthewFluet/guide-updates Link additional binary packages Compare: https://github.com/MLton/mlton/compare/b1f1f0f0916d...b35799f12a38 |
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2021-01-17 15:44:19
|
Branch: refs/tags/on-20210117-release Home: https://github.com/MLton/mlton |
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2021-01-17 15:40:10
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 0b79a830f791862fe9ac89c93db83e60d56377f3 https://github.com/MLton/mlton/commit/0b79a830f791862fe9ac89c93db83e60d56377f3 Author: Matthew Fluet <mat...@gm...> Date: 2021-01-17 (Sun, 17 Jan 2021) Changed paths: M CHANGELOG.adoc M doc/guide/src/Bugs20201002.adoc A doc/guide/src/Bugs20210117.adoc M doc/guide/src/CKitLibrary.adoc M doc/guide/src/Home.adoc M doc/guide/src/MLLPTLibrary.adoc M doc/guide/src/MLRISCLibrary.adoc M doc/guide/src/Release20201002.adoc A doc/guide/src/Release20210117.adoc M doc/guide/src/Releases.adoc M doc/guide/src/SMLNJLibrary.adoc M man/mllex.1 M man/mlnlffigen.1 M man/mlprof.1 M man/mlton.1 M man/mlyacc.1 Log Message: ----------- Create and update pages for 20210117 release Commit: b1f1f0f0916d28c0d183fba85549d5bf96f1fa41 https://github.com/MLton/mlton/commit/b1f1f0f0916d28c0d183fba85549d5bf96f1fa41 Author: Matthew Fluet <Mat...@gm...> Date: 2021-01-17 (Sun, 17 Jan 2021) Changed paths: M CHANGELOG.adoc M doc/guide/src/Bugs20201002.adoc A doc/guide/src/Bugs20210117.adoc M doc/guide/src/CKitLibrary.adoc M doc/guide/src/Home.adoc M doc/guide/src/MLLPTLibrary.adoc M doc/guide/src/MLRISCLibrary.adoc M doc/guide/src/Release20201002.adoc A doc/guide/src/Release20210117.adoc M doc/guide/src/Releases.adoc M doc/guide/src/SMLNJLibrary.adoc M man/mllex.1 M man/mlnlffigen.1 M man/mlprof.1 M man/mlton.1 M man/mlyacc.1 Log Message: ----------- Merge pull request #429 from MatthewFluet/20210107-release Create and update pages for 20210117 release Compare: https://github.com/MLton/mlton/compare/594313675d0c...b1f1f0f0916d |
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2021-01-17 11:44:53
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: d8e4178def81ee353bf54404dc7f872ef84dad3f https://github.com/MLton/mlton/commit/d8e4178def81ee353bf54404dc7f872ef84dad3f Author: Matthew Fluet <mat...@gm...> Date: 2021-01-17 (Sun, 17 Jan 2021) Changed paths: M mlnlffigen/cpif-dev.sml Log Message: ----------- Update mlnlffigen to new SML/NJ Library PP functions Commit: 594313675d0c1b54b3823339914b0befa71a766b https://github.com/MLton/mlton/commit/594313675d0c1b54b3823339914b0befa71a766b Author: Matthew Fluet <Mat...@gm...> Date: 2021-01-17 (Sun, 17 Jan 2021) Changed paths: M mlnlffigen/cpif-dev.sml Log Message: ----------- Merge pull request #428 from MatthewFluet/mlnlffigen-fixes-for-smlnj-libs Update mlnlffigen to new SML/NJ Library PP functions Compare: https://github.com/MLton/mlton/compare/8aef6cbae431...594313675d0c |
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2021-01-17 11:00:53
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 56689115038ae8559f64e8e6be74aac721dcc710 https://github.com/MLton/mlton/commit/56689115038ae8559f64e8e6be74aac721dcc710 Author: Matthew Fluet <mat...@gm...> Date: 2021-01-17 (Sun, 17 Jan 2021) Changed paths: M CHANGELOG.adoc 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.tgz M lib/smlnj-lib/smlnj-lib.patch M lib/smlnj-lib/smlnj-lib.tgz Log Message: ----------- Update to SML/NJ 110.99 libraries Commit: 8aef6cbae43115f0675a098ac77b06dd2151face https://github.com/MLton/mlton/commit/8aef6cbae43115f0675a098ac77b06dd2151face Author: Matthew Fluet <Mat...@gm...> Date: 2021-01-17 (Sun, 17 Jan 2021) Changed paths: M CHANGELOG.adoc 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.tgz M lib/smlnj-lib/smlnj-lib.patch M lib/smlnj-lib/smlnj-lib.tgz Log Message: ----------- Merge pull request #427 from MatthewFluet/smlnj-libraries-110.99 Update to SML/NJ 110.99 libraries Compare: https://github.com/MLton/mlton/compare/3a7c19372f72...8aef6cbae431 |
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2021-01-15 16:46:32
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: e9fd4ec06c947b9932981f3496bb0c8346efda3f https://github.com/MLton/mlton/commit/e9fd4ec06c947b9932981f3496bb0c8346efda3f Author: Matthew Fluet <mat...@gm...> Date: 2021-01-15 (Fri, 15 Jan 2021) Changed paths: M LICENSE Log Message: ----------- Bump copyright year in `LICENSE` Commit: 3a7c19372f72ba0b2552a9f27a1ae90848fa872d https://github.com/MLton/mlton/commit/3a7c19372f72ba0b2552a9f27a1ae90848fa872d Author: Matthew Fluet <Mat...@gm...> Date: 2021-01-15 (Fri, 15 Jan 2021) Changed paths: M LICENSE Log Message: ----------- Merge pull request #426 from MatthewFluet/license-update Bump copyright year in `LICENSE` Compare: https://github.com/MLton/mlton/compare/31dbefb6a958...3a7c19372f72 |
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2021-01-15 16:46:32
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton |
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2021-01-15 16:44:39
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: e9fd4ec06c947b9932981f3496bb0c8346efda3f https://github.com/MLton/mlton/commit/e9fd4ec06c947b9932981f3496bb0c8346efda3f Author: Matthew Fluet <mat...@gm...> Date: 2021-01-15 (Fri, 15 Jan 2021) Changed paths: M LICENSE Log Message: ----------- Bump copyright year in `LICENSE` |
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2021-01-15 16:41:53
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: fa1d68b086428da00783662c3dcde487e2761c69 https://github.com/MLton/mlton/commit/fa1d68b086428da00783662c3dcde487e2761c69 Author: Matthew Fluet <mat...@gm...> Date: 2021-01-15 (Fri, 15 Jan 2021) Changed paths: M Makefile.binary Log Message: ----------- Properly detect default position-independent style in `Makefile.binary` Closes MLton/mlton#422 Commit: 03b6ccfd50b20550e4e11c233033d905447bb412 https://github.com/MLton/mlton/commit/03b6ccfd50b20550e4e11c233033d905447bb412 Author: Matthew Fluet <mat...@gm...> Date: 2021-01-15 (Fri, 15 Jan 2021) Changed paths: M CHANGELOG.adoc Log Message: ----------- Update `CHANGELOG.adoc` Commit: 31dbefb6a9580c990f9343821900ed6e8c52ed98 https://github.com/MLton/mlton/commit/31dbefb6a9580c990f9343821900ed6e8c52ed98 Author: Matthew Fluet <Mat...@gm...> Date: 2021-01-15 (Fri, 15 Jan 2021) Changed paths: M CHANGELOG.adoc M Makefile.binary Log Message: ----------- Merge pull request #425 from MatthewFluet/pi-default-detection Properly detect default position-independent style in `Makefile.binary` Thanks to Greg Werbin for the but report. Compare: https://github.com/MLton/mlton/compare/16bf2c3cc7dc...31dbefb6a958 |
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2021-01-15 16:26:51
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 8faa4b5a73a014a575faf700544ad9d43740d5eb https://github.com/MLton/mlton/commit/8faa4b5a73a014a575faf700544ad9d43740d5eb Author: Matthew Fluet <mat...@gm...> Date: 2021-01-15 (Fri, 15 Jan 2021) Changed paths: M mlton/control/control-flags.sml Log Message: ----------- Make `-chunk-tail-call` default to `false` Reverts 993867e2f. clang on MacOS (amd64 or arm64) does not properly optimize the tail calls, leading to segmentation faults. See discussion at: https://sourceforge.net/p/mlton/mailman/mlton-user/thread/d40764ee-7d1b-41e0-a101-caafe3483879%40www.fastmail.com/#msg37185161 Commit: 476567662c5c5da3f3d228294d82cc305468ae9c https://github.com/MLton/mlton/commit/476567662c5c5da3f3d228294d82cc305468ae9c Author: Matthew Fluet <mat...@gm...> Date: 2021-01-15 (Fri, 15 Jan 2021) Changed paths: M runtime/platform/darwin.c Log Message: ----------- Add `__aarch64__` case to `catcher` in `runtime/platform/darwin.c` Contributed by Chris Cannam. See discussion at: https://sourceforge.net/p/mlton/mailman/mlton-user/thread/d40764ee-7d1b-41e0-a101-caafe3483879%40www.fastmail.com/#msg37185161 Commit: 16ac7b65851a4ff922937952652aa1c0bdd6634e https://github.com/MLton/mlton/commit/16ac7b65851a4ff922937952652aa1c0bdd6634e Author: Matthew Fluet <mat...@gm...> Date: 2021-01-15 (Fri, 15 Jan 2021) Changed paths: M bin/platform Log Message: ----------- Add more cases for `arm64` to `bin/platform`. Contributed by Chris Cannam. See discussion at: https://sourceforge.net/p/mlton/mailman/mlton-user/thread/d40764ee-7d1b-41e0-a101-caafe3483879%40www.fastmail.com/#msg37185161 Commit: 9b87fdb566a659d1424c0934e1552d0069731f17 https://github.com/MLton/mlton/commit/9b87fdb566a659d1424c0934e1552d0069731f17 Author: Matthew Fluet <mat...@gm...> Date: 2021-01-15 (Fri, 15 Jan 2021) Changed paths: M bin/mlton-script Log Message: ----------- Pass `-arch` options to clang on `*-darwin` targets On arm64-darwin (with Rosetta2 for executing amd64-darwin executables), clang defaults to producing executables of for the same architecture as the invoking process. This complicates bootstrapping to arm64-darwin from amd64-darwin. Contributed by Chris Cannam. See discussion at: https://sourceforge.net/p/mlton/mailman/mlton-user/thread/d40764ee-7d1b-41e0-a101-caafe3483879%40www.fastmail.com/#msg37185161 Commit: 9aca4830a7cfa34241eb86f5f5254388e9951b09 https://github.com/MLton/mlton/commit/9aca4830a7cfa34241eb86f5f5254388e9951b09 Author: Matthew Fluet <mat...@gm...> Date: 2021-01-15 (Fri, 15 Jan 2021) Changed paths: M bin/mlton-script Log Message: ----------- Alphabetize `target-*-opt` options in `bin/mlton-script` Commit: f1b99c210fa5bbaea4c5ee3d2f7d58eda651da15 https://github.com/MLton/mlton/commit/f1b99c210fa5bbaea4c5ee3d2f7d58eda651da15 Author: Matthew Fluet <mat...@gm...> Date: 2021-01-15 (Fri, 15 Jan 2021) Changed paths: M CHANGELOG.adoc Log Message: ----------- Document preliminary support for `arm64-darwin` in `CHANGELOG.adoc` Commit: 16bf2c3cc7dc4199c241e6db636b3d149f893266 https://github.com/MLton/mlton/commit/16bf2c3cc7dc4199c241e6db636b3d149f893266 Author: Matthew Fluet <Mat...@gm...> Date: 2021-01-15 (Fri, 15 Jan 2021) Changed paths: M CHANGELOG.adoc M bin/mlton-script M bin/platform M mlton/control/control-flags.sml M runtime/platform/darwin.c Log Message: ----------- Merge pull request #424 from MatthewFluet/arm64-darwin Preliminary support for arm64-darwin (Apple Silicon) Thanks to Chris Cannam for the patches. See discussion at: https://sourceforge.net/p/mlton/mailman/mlton-user/thread/d40764ee-7d1b-41e0-a101-caafe3483879%40www.fastmail.com/#msg37185161 Compare: https://github.com/MLton/mlton/compare/bf624adbed0d...16bf2c3cc7dc |
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2021-01-15 16:12:33
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: ff1090121bfe7bb868b2fe23e61c115024ff90d7 https://github.com/MLton/mlton/commit/ff1090121bfe7bb868b2fe23e61c115024ff90d7 Author: Matthew Fluet <mat...@gm...> Date: 2021-01-15 (Fri, 15 Jan 2021) Changed paths: M doc/guide/src/References.adoc Log Message: ----------- Update URL of Harper's "Programming in SML" book Commit: 6ddfa063047652aa8e72334ca7b5f0169d9da7ba https://github.com/MLton/mlton/commit/6ddfa063047652aa8e72334ca7b5f0169d9da7ba Author: Matthew Fluet <mat...@gm...> Date: 2021-01-15 (Fri, 15 Jan 2021) Changed paths: M doc/guide/src/References.adoc A doc/guide/src/References.attachments/Tofte09.pdf Log Message: ----------- Update Tofte96 and Tofte09 references Commit: e9d66dc20218f535cf494609f286500693741b23 https://github.com/MLton/mlton/commit/e9d66dc20218f535cf494609f286500693741b23 Author: Matthew Fluet <mat...@gm...> Date: 2021-01-15 (Fri, 15 Jan 2021) Changed paths: M doc/guide/src/StandardMLTutorials.adoc Log Message: ----------- Add Atsushi Ohori's "Introduction to Standard ML" tutorial Commit: e03835242e9569b37eaf2b8bfce6b3dd9cd3cb6b https://github.com/MLton/mlton/commit/e03835242e9569b37eaf2b8bfce6b3dd9cd3cb6b Author: Matthew Fluet <mat...@gm...> Date: 2021-01-15 (Fri, 15 Jan 2021) Changed paths: M doc/guide/src/StandardMLTutorials.adoc Log Message: ----------- Add Dan Grossman's "PL course notes" intro to SML. Commit: 7b2df94353b8a6a26cca884e0faf05125509cec4 https://github.com/MLton/mlton/commit/7b2df94353b8a6a26cca884e0faf05125509cec4 Author: Matthew Fluet <mat...@gm...> Date: 2021-01-15 (Fri, 15 Jan 2021) Changed paths: M doc/guide/src/StandardMLTutorials.adoc Log Message: ----------- Use web.archive.org for `A Gentle Introduction to ML` Closes MLton/mlton#421. Commit: bf624adbed0d5a7eda3abe8cd8ec93477e00f413 https://github.com/MLton/mlton/commit/bf624adbed0d5a7eda3abe8cd8ec93477e00f413 Author: Matthew Fluet <Mat...@gm...> Date: 2021-01-15 (Fri, 15 Jan 2021) Changed paths: M doc/guide/src/References.adoc A doc/guide/src/References.attachments/Tofte09.pdf M doc/guide/src/StandardMLTutorials.adoc Log Message: ----------- Merge pull request #423 from MatthewFluet/guide-updates Updates to StandardMLTutorials page Compare: https://github.com/MLton/mlton/compare/0cd273551637...bf624adbed0d |
|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2020-10-23 01:18:50
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 958f75ca31b5ce278a34f27e231181b310fe2105 https://github.com/MLton/mlton/commit/958f75ca31b5ce278a34f27e231181b310fe2105 Author: Matthew Fluet <mat...@gm...> Date: 2020-10-21 (Wed, 21 Oct 2020) Changed paths: M mlton/ssa/simplify-types.fun Log Message: ----------- Trace some functions in `SimplifyTypes` Commit: e9f6d495eb7b3fe7ffbcad4b62d51f7329be8ce4 https://github.com/MLton/mlton/commit/e9f6d495eb7b3fe7ffbcad4b62d51f7329be8ce4 Author: Matthew Fluet <mat...@gm...> Date: 2020-10-21 (Wed, 21 Oct 2020) Changed paths: M mlton/Makefile Log Message: ----------- Quote $(MLTON_NAME) and $(MLTON_VERSION) in `mlton/Makefile` Commit: f8f7105ea881ca714c32db20697f9adbc1a87241 https://github.com/MLton/mlton/commit/f8f7105ea881ca714c32db20697f9adbc1a87241 Author: Matthew Fluet <mat...@gm...> Date: 2020-10-22 (Thu, 22 Oct 2020) Changed paths: M mlton/ssa/simplify-types.fun Log Message: ----------- Add additional diagnostics to `SimplifyTypes` Commit: 8ca4fb0c102b9ea7a19e715e76a4bb2a05178770 https://github.com/MLton/mlton/commit/8ca4fb0c102b9ea7a19e715e76a4bb2a05178770 Author: Matthew Fluet <mat...@gm...> Date: 2020-10-22 (Thu, 22 Oct 2020) Changed paths: M CHANGELOG.adoc M mlton/ssa/simplify-types.fun Log Message: ----------- Fix bug in `SimplifyTypes` SSA optimization pass. 19b07c03f attempted to fix a bug in `SimplifyTypes` related to `MLton_bogus` primitives added by `Useless`. The essence of the bug is that is not appropriate to conclude that a tycon has cardinality `Zero` (e.g., if it is simplified to the point where it has no constructors) when a "value" of the tycon is created by `MLton_bogus`. 19b07c03f simply forced any tycon used with `MLton_bogus` to have cardinality `Many`. However, such a tycon might have all constructors eliminated and will be marked to be replaced by the `void` type. In turn, other types that use the tycon will be retained (with cardinality `Many`), but an `Option` exception would be raised by `simplifyUsefulTypes`, which assumes that all components are really useful (and non-`void`). This commit adjusts things to force any tycon used with `MLton_bogus` to have cardinality at least `One`; if such a tycon has all constructors eliminated, then it will be marked to be replaced by the `unit` type. Thanks to Martin Elsman for the bug report. Closes #419. Commit: 0cd2735516370f5456e9538b7bab665b6bd96af6 https://github.com/MLton/mlton/commit/0cd2735516370f5456e9538b7bab665b6bd96af6 Author: Matthew Fluet <Mat...@gm...> Date: 2020-10-22 (Thu, 22 Oct 2020) Changed paths: M CHANGELOG.adoc M mlton/Makefile M mlton/ssa/simplify-types.fun Log Message: ----------- Merge pull request #420 from MatthewFluet/simplify-types-bug Fix bug in SimplifyTypes SSA optimization pass Compare: https://github.com/MLton/mlton/compare/5ff3855b5ea2...0cd273551637 |
