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
(2) |
Oct
(2) |
Nov
|
Dec
|
| S | M | T | W | T | F | S |
|---|---|---|---|---|---|---|
|
|
|
|
1
|
2
(1) |
3
|
4
|
|
5
|
6
|
7
|
8
|
9
|
10
|
11
|
|
12
|
13
|
14
(1) |
15
(2) |
16
|
17
|
18
|
|
19
|
20
|
21
|
22
|
23
|
24
|
25
|
|
26
|
27
|
28
|
29
|
30
|
|
|
|
From: GitHub <no...@gi...> - 2017-11-15 23:03:48
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 4a560a38a9d00d2719fab317bae5dedf22533ddc https://github.com/MLton/mlton/commit/4a560a38a9d00d2719fab317bae5dedf22533ddc Author: Matthew Fluet <mat...@gm...> Date: 2015-10-13 (Tue, 13 Oct 2015) Changed paths: M runtime/basis/Posix/Signal.c Log Message: ----------- Drop 'static' from 'struct sigaction sa' in Posix_Signal_handlee Commit: 16d479aed28e31f885670b07b547ab32169dfb54 https://github.com/MLton/mlton/commit/16d479aed28e31f885670b07b547ab32169dfb54 Author: Matthew Fluet <mat...@gm...> Date: 2015-10-13 (Tue, 13 Oct 2015) Changed paths: M basis-library/mlton/signal.sml M basis-library/primitive/basis-ffi.sml M runtime/basis-ffi.h M runtime/basis/Posix/Signal-consts.c M runtime/basis/Posix/Signal.c M runtime/gen/basis-ffi.def M runtime/gen/basis-ffi.h M runtime/gen/basis-ffi.sml Log Message: ----------- Drop 'static sigset_t Posix_Signal_sigset;' in runtime/basis/Posix/Signal.c Avoid the use of global mutable state for signal sets. In SML, represent an uninitialized signal set a 'Word8.word array' and an initialized signal set as a 'Word8.word vector'. These are passed across the FFI as 'unsigned char *' and cast to 'sigset_t *' for library functions. Commit: 41b49365cea6d58155087254ea974700518577a4 https://github.com/MLton/mlton/commit/41b49365cea6d58155087254ea974700518577a4 Author: Matthew Fluet <mat...@gm...> Date: 2017-11-15 (Wed, 15 Nov 2017) Changed paths: M .gitignore A .travis.yml R Makefile A Makefile-auto.am A Makefile.in R README A README.md M basis-library/Makefile M basis-library/arrays-and-vectors/array-slice.sig M basis-library/arrays-and-vectors/array.sig M basis-library/arrays-and-vectors/array.sml M basis-library/arrays-and-vectors/array2.sml M basis-library/arrays-and-vectors/mono-array-slice.sig M basis-library/arrays-and-vectors/mono-array.sig M basis-library/arrays-and-vectors/sequence.fun M basis-library/arrays-and-vectors/sequence.sig M basis-library/arrays-and-vectors/sequence0.sig M basis-library/arrays-and-vectors/sequence0.sml M basis-library/arrays-and-vectors/slice.sig M basis-library/arrays-and-vectors/slice0.sig M basis-library/arrays-and-vectors/vector-slice.sig M basis-library/arrays-and-vectors/vector.sig M basis-library/arrays-and-vectors/vector.sml M basis-library/basis-1997.mlb M basis-library/basis-2002.mlb M basis-library/basis-none.mlb M basis-library/build/sources.mlb M basis-library/c-types.mlb R basis-library/config/header/header-word32.sml R basis-library/config/header/header-word64.sml A basis-library/config/metadata/array-metadata-size128.sml A basis-library/config/metadata/array-metadata-size192.sml A basis-library/config/metadata/array-metadata-size256.sml A basis-library/config/metadata/array-metadata-size96.sml A basis-library/config/metadata/normal-metadata-size128.sml A basis-library/config/metadata/normal-metadata-size32.sml A basis-library/config/metadata/normal-metadata-size64.sml M basis-library/equal.mlb M basis-library/infixes.mlb M basis-library/integer/int-inf0.sml M basis-library/io/imperative-io.fun M basis-library/libs/basis-1997/basis-1997.mlb M basis-library/libs/basis-2002/basis-2002.mlb M basis-library/libs/basis-extra/basis-extra.mlb A basis-library/maps/array-metadata-size128.map A basis-library/maps/array-metadata-size192.map A basis-library/maps/array-metadata-size256.map A basis-library/maps/array-metadata-size96.map R basis-library/maps/header-word32.map R basis-library/maps/header-word64.map A basis-library/maps/normal-metadata-size128.map A basis-library/maps/normal-metadata-size32.map A basis-library/maps/normal-metadata-size64.map M basis-library/mlton.mlb M basis-library/mlton/call-stack.sml M basis-library/mlton/io.fun M basis-library/mlton/mlton.sml M basis-library/net/socket.sml M basis-library/overloads.mlb M basis-library/pervasive-exns.mlb M basis-library/pervasive-types.mlb M basis-library/pervasive-vals.mlb M basis-library/platform/mingw.sml M basis-library/posix/file-sys.sml M basis-library/posix/io.sml M basis-library/posix/proc-env.sml M basis-library/primitive/prim-basis.mlb M basis-library/primitive/prim-mlton.sml M basis-library/primitive/prim-seq.sml M basis-library/primitive/primitive.mlb M basis-library/real/pack-real.sml M basis-library/real/real.sml M basis-library/sml-nj.mlb M basis-library/sml-nj/unsafe.sig M basis-library/sml-nj/unsafe.sml M basis-library/system/date.sml M basis-library/text/char0.sml M basis-library/unsafe.mlb M benchmark/.gitignore R benchmark/Makefile A benchmark/Makefile.in M benchmark/main.sml M benchmark/tests/.gitignore A benchmark/tests/string-concat.sml R benchmark/tests/vector-concat.sml A benchmark/tests/vector32-concat.sml A benchmark/tests/vector64-concat.sml M benchmark/update-counts.sh A bin/.gitignore M bin/add-cross R bin/mlton-script A bin/mlton-script.in M bin/regression A bin/travis-ci R bin/upgrade-basis A configure.ac A doc/README R doc/README M doc/guide/src/AdmitsEquality.adoc M doc/guide/src/CKitLibrary.adoc M doc/guide/src/CommonSubexp.adoc M doc/guide/src/CompilingWithSMLNJ.adoc M doc/guide/src/DefineTypeBeforeUse.adoc M doc/guide/src/Emacs.adoc M doc/guide/src/EqualityTypeVariable.adoc M doc/guide/src/FirstClassPolymorphism.adoc M doc/guide/src/LLVMCodegen.adoc M doc/guide/src/LanguageChanges.adoc M doc/guide/src/MLBasis.attachments/mlb-formal.pdf M doc/guide/src/MLBasisAnnotationExamples.adoc M doc/guide/src/MLBasisAnnotations.adoc M doc/guide/src/MLLPTLibrary.adoc M doc/guide/src/MLRISCLibrary.adoc M doc/guide/src/PolymorphicEquality.adoc M doc/guide/src/PortingMLton.adoc M doc/guide/src/RunTimeOptions.adoc M doc/guide/src/SMLNJDeviations.adoc M doc/guide/src/SMLNJLibrary.adoc M doc/guide/src/SSA.adoc M doc/guide/src/SelfCompiling.adoc M doc/guide/src/ShowBasis.adoc M doc/guide/src/SuccessorML.adoc M doc/guide/src/TypeChecking.adoc M doc/guide/src/TypeVariableScope.adoc M doc/guide/src/Unicode.adoc M doc/guide/src/UnresolvedBugs.adoc M doc/guide/src/ValueRestriction.adoc M doc/mlb-formal/mlb-formal.tex M lib/ckit-lib/Makefile M lib/ckit-lib/ckit.patch M lib/ckit-lib/ckit.tgz M lib/cml/cml-lib/cml-lib.mlb M lib/cml/core-cml/core-cml.mlb M lib/cml/util/util.mlb M lib/mllpt-lib/Makefile M lib/mllpt-lib/ml-lpt.patch M lib/mllpt-lib/ml-lpt.tgz M lib/mlnlffi-lib/.gitignore R lib/mlnlffi-lib/Makefile A lib/mlnlffi-lib/Makefile.in M lib/mlnlffi-lib/c.mlb M lib/mlnlffi-lib/internals/c-int.mlb M lib/mlnlffi-lib/memory/memory.unix.mlb M lib/mlrisc-lib/MLRISC.patch M lib/mlrisc-lib/MLRISC.tgz M lib/mlrisc-lib/Makefile M lib/mlton/basic/directed-graph.sig M lib/mlton/basic/directed-graph.sml M lib/mlton/basic/dot.sml M lib/mlton/basic/error.sig M lib/mlton/basic/error.sml M lib/mlton/basic/exn.sml M lib/mlton/basic/exn0.sml M lib/mlton/basic/layout.sig M lib/mlton/basic/layout.sml M lib/mlton/basic/list.sig M lib/mlton/basic/list.sml A lib/mlton/basic/parse-sexp.fun A lib/mlton/basic/parse-sexp.sig R lib/mlton/basic/parse.fun M lib/mlton/basic/parse.sig A lib/mlton/basic/parse.sml M lib/mlton/basic/popt.sig M lib/mlton/basic/popt.sml M lib/mlton/basic/process.sml M lib/mlton/basic/promise.sig M lib/mlton/basic/promise.sml M lib/mlton/basic/quick-sort.sml M lib/mlton/basic/random.sml M lib/mlton/basic/sources.cm M lib/mlton/basic/sources.mlb M lib/mlton/basic/stream.sig M lib/mlton/basic/stream.sml M lib/mlton/basic/tree.sig M lib/mlton/basic/tree.sml M lib/mlton/basic/vector.fun M lib/mlton/basic/vector.sig M lib/mlton/env/sources.mlb M lib/mlton/set/sources.mlb M lib/mlton/sources.cm M lib/mlton/sources.mlb M lib/mlyacc-lib/lrtable.sml M lib/mlyacc-lib/mlyacc-lib.mlb M lib/smlnj-lib/Makefile M lib/smlnj-lib/smlnj-lib.patch M lib/smlnj-lib/smlnj-lib.tgz M lib/stubs/mlton-stubs/README M mllex/Makefile M mlnlffigen/Makefile M mlnlffigen/gen-cppcmd M mlprof/Makefile M mlton/.gitignore R mlton/Makefile A mlton/Makefile.in M mlton/ast/ast-atoms.fun M mlton/ast/ast-atoms.sig M mlton/ast/ast-core.fun M mlton/ast/ast-core.sig M mlton/ast/ast-mlbs.fun M mlton/ast/ast-modules.fun M mlton/ast/ast-modules.sig M mlton/ast/ast-programs.fun M mlton/ast/longid.fun M mlton/atoms/const.fun M mlton/atoms/const.sig M mlton/atoms/generic-scheme.fun M mlton/atoms/hash-type.fun M mlton/atoms/hash-type.sig M mlton/atoms/id.fun M mlton/atoms/id.sig A mlton/atoms/layout-pretty.sml M mlton/atoms/prim-tycons.fun M mlton/atoms/prim-tycons.sig M mlton/atoms/prim.fun M mlton/atoms/prim.sig M mlton/atoms/record.fun M mlton/atoms/record.sig M mlton/atoms/sources.cm M mlton/atoms/sources.mlb M mlton/atoms/tycon.fun M mlton/atoms/tycon.sig M mlton/atoms/type-ops.fun M mlton/atoms/tyvar.fun M mlton/atoms/tyvar.sig R mlton/atoms/use-name.fun M mlton/atoms/word-x-vector.fun M mlton/atoms/word-x-vector.sig M mlton/backend/allocate-registers.fun M mlton/backend/allocate-registers.sig M mlton/backend/backend.fun M mlton/backend/live.fun M mlton/backend/machine.fun M mlton/backend/packed-representation.fun M mlton/backend/rep-type.fun M mlton/backend/rep-type.sig M mlton/backend/rssa.fun M mlton/backend/rssa.sig M mlton/backend/runtime.fun M mlton/backend/runtime.sig M mlton/backend/ssa-to-rssa.fun M mlton/backend/ssa-to-rssa.sig M mlton/backend/switch.fun M mlton/closure-convert/abstract-value.fun M mlton/closure-convert/abstract-value.sig M mlton/closure-convert/closure-convert.fun M mlton/closure-convert/globalize.fun M mlton/codegen/amd64-codegen/amd64-generate-transfers.fun M mlton/codegen/c-codegen/c-codegen.fun M mlton/codegen/llvm-codegen/llvm-codegen.fun M mlton/codegen/x86-codegen/x86-generate-transfers.fun M mlton/control/control-flags.sig M mlton/control/control-flags.sml M mlton/control/control.sml M mlton/control/pretty.sig M mlton/control/pretty.sml M mlton/control/region.sml M mlton/control/source-pos.sig M mlton/control/source-pos.sml M mlton/control/version_sml.src M mlton/core-ml/core-ml.fun M mlton/core-ml/core-ml.sig M mlton/core-ml/dead-code.fun M mlton/defunctorize/defunctorize.fun M mlton/elaborate/elaborate-core.fun M mlton/elaborate/elaborate-core.sig M mlton/elaborate/elaborate-env.fun M mlton/elaborate/elaborate-env.sig M mlton/elaborate/elaborate-mlbs.fun M mlton/elaborate/elaborate-mlbs.sig M mlton/elaborate/elaborate-modules.fun M mlton/elaborate/elaborate-modules.sig M mlton/elaborate/elaborate-programs.sig M mlton/elaborate/elaborate-sigexp.fun M mlton/elaborate/elaborate-sigexp.sig M mlton/elaborate/elaborate.sig M mlton/elaborate/interface.fun M mlton/elaborate/interface.sig M mlton/elaborate/precedence-parse.fun M mlton/elaborate/precedence-parse.sig M mlton/elaborate/scope.fun M mlton/elaborate/type-env.fun M mlton/elaborate/type-env.sig M mlton/front-end/ml.grm M mlton/front-end/ml.lex M mlton/front-end/mlb.lex M mlton/main/compile.fun M mlton/main/compile.sig M mlton/main/main.fun M mlton/match-compile/match-compile.fun M mlton/match-compile/match-compile.sig M mlton/match-compile/nested-pat.fun M mlton/match-compile/nested-pat.sig M mlton/ssa/analyze.fun M mlton/ssa/analyze2.fun M mlton/ssa/combine-conversions.fun M mlton/ssa/common-block.fun M mlton/ssa/common-subexp.fun M mlton/ssa/constant-propagation.fun M mlton/ssa/deep-flatten.fun M mlton/ssa/direct-exp.fun M mlton/ssa/direct-exp2.fun M mlton/ssa/global.fun M mlton/ssa/inline.fun M mlton/ssa/known-case.fun M mlton/ssa/local-ref.fun A mlton/ssa/loop-unroll.fun A mlton/ssa/loop-unswitch.fun M mlton/ssa/poly-equal.fun M mlton/ssa/poly-hash.fun M mlton/ssa/prepasses.fun M mlton/ssa/profile.fun M mlton/ssa/profile2.fun M mlton/ssa/ref-flatten.fun M mlton/ssa/remove-unused.fun M mlton/ssa/remove-unused2.fun M mlton/ssa/restore.fun M mlton/ssa/restore2.fun A mlton/ssa/share-zero-vec.fun M mlton/ssa/shrink.fun M mlton/ssa/shrink2.fun M mlton/ssa/simplify-types.fun M mlton/ssa/simplify.fun M mlton/ssa/simplify2.fun M mlton/ssa/sources.cm M mlton/ssa/sources.mlb M mlton/ssa/ssa-to-ssa2.fun M mlton/ssa/ssa-tree.fun M mlton/ssa/ssa-tree.sig M mlton/ssa/ssa-tree2.fun M mlton/ssa/ssa-tree2.sig M mlton/ssa/type-check.fun M mlton/ssa/type-check2.fun M mlton/ssa/useless.fun M mlton/ssa/zone.fun M mlton/xml/implement-exceptions.fun M mlton/xml/implement-suffix.fun M mlton/xml/monomorphise.fun A mlton/xml/parse-sxml.fun A mlton/xml/parse-sxml.sig M mlton/xml/polyvariance.fun M mlton/xml/shrink.fun M mlton/xml/sources.cm M mlton/xml/sources.mlb M mlton/xml/sxml-simplify.fun M mlton/xml/type-check.fun M mlton/xml/xml-simplify.fun M mlton/xml/xml-tree.fun M mlton/xml/xml-tree.sig M mlyacc/.gitignore R mlyacc/Makefile A mlyacc/Makefile.in M mlyacc/examples/calc/README A mlyacc/examples/calc/calc.mlb M mlyacc/examples/calc/calc.sml R mlyacc/examples/calc/sources.cm M mlyacc/examples/fol/README A mlyacc/examples/fol/fol.mlb M mlyacc/examples/fol/parse.sml R mlyacc/examples/fol/sources.cm M mlyacc/examples/pascal/README M mlyacc/examples/pascal/parser.sml A mlyacc/examples/pascal/pascal.mlb R mlyacc/examples/pascal/sources.cm A package/freebsd/.gitignore R package/freebsd/Makefile A package/freebsd/Makefile.in A package/mingw/.gitignore R package/mingw/Makefile A package/mingw/Makefile.in M regression/fail/constant-too-big.sml A regression/fail/datatype-where-complex.1.sml A regression/fail/datatype-where-complex.2.sml R regression/fail/datatype-where-complex.sml M regression/fail/duplicate-tyvar.sml A regression/fail/infix.1.sml A regression/fail/infix.2.sml A regression/fail/infix.3.sml A regression/fail/infix.4.sml A regression/fail/infix.5.sml A regression/fail/infix.6.sml A regression/fail/special-ids.1.sml A regression/fail/special-ids.2.sml M regression/sharing.sml A regression/size3.amd64-darwin.ok A regression/size3.amd64-linux.ok A regression/size3.ok A regression/size3.sml A regression/whitelist M runtime/.gitignore R runtime/Makefile A runtime/Makefile.in M runtime/gc/align.c M runtime/gc/array-allocate.c M runtime/gc/array.c M runtime/gc/array.h M runtime/gc/cheney-copy.c M runtime/gc/controls.h M runtime/gc/dfs-mark.c M runtime/gc/done.c M runtime/gc/foreach.c M runtime/gc/forward.c M runtime/gc/forward.h M runtime/gc/garbage-collection.c M runtime/gc/hash-cons.c M runtime/gc/init-world.c M runtime/gc/init.c M runtime/gc/mark-compact.c M runtime/gc/new-object.c M runtime/gc/object-size.c M runtime/gc/object-size.h M runtime/gc/object.c M runtime/gc/object.h M runtime/gc/signals.c M runtime/gc/stack.c M runtime/gc/stack.h M runtime/gc/thread.c M runtime/gc/weak.c M runtime/gen/gen-sizes.c M runtime/platform.h M runtime/platform/aix.h M runtime/platform/cygwin.h M runtime/platform/darwin.h M runtime/platform/freebsd.h M runtime/platform/hpux.h M runtime/platform/hurd.h M runtime/platform/linux.h M runtime/platform/mingw.h M runtime/platform/mmap-protect.c M runtime/platform/netbsd.h M runtime/platform/openbsd.c M runtime/platform/openbsd.h M runtime/platform/solaris.h M util/cm2mlb/cm2mlb-map Log Message: ----------- Merge branch 'master' of github.com:MLton/mlton into signal-global-state Commit: 8fed932d2b76cf4d0e0619177d17b50d7fb4ea6f https://github.com/MLton/mlton/commit/8fed932d2b76cf4d0e0619177d17b50d7fb4ea6f Author: Matthew Fluet <Mat...@gm...> Date: 2017-11-15 (Wed, 15 Nov 2017) Changed paths: M basis-library/mlton/signal.sml M basis-library/primitive/basis-ffi.sml M runtime/basis-ffi.h M runtime/basis/Posix/Signal-consts.c M runtime/basis/Posix/Signal.c M runtime/gen/basis-ffi.def M runtime/gen/basis-ffi.h M runtime/gen/basis-ffi.sml Log Message: ----------- Merge pull request #221 from MatthewFluet/signal-global-state Eliminate the use of (some) global mutable state for signal handling. This is a backport from the CMU multiMLton project. Compare: https://github.com/MLton/mlton/compare/b7c9199e8528...8fed932d2b76 |
|
From: GitHub <no...@gi...> - 2017-11-15 19:52:25
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 90af72408fa61d9cb4d06f3a4938b4f452a4847b https://github.com/MLton/mlton/commit/90af72408fa61d9cb4d06f3a4938b4f452a4847b Author: Matthew Fluet <mat...@gm...> Date: 2017-11-15 (Wed, 15 Nov 2017) Changed paths: M basis-library/Makefile A basis-library/maps/array-metadata-size192.map A basis-library/maps/array-metadata-size96.map R basis-library/maps/metadata-size32.map R basis-library/maps/metadata-size64.map A basis-library/maps/normal-metadata-size32.map A basis-library/maps/normal-metadata-size64.map Log Message: ----------- Include different metadata sizes in Basis Library type-check-all Commit: 5955f725677644969935bec7fe527a53a14bf747 https://github.com/MLton/mlton/commit/5955f725677644969935bec7fe527a53a14bf747 Author: Matthew Fluet <mat...@gm...> Date: 2017-11-15 (Wed, 15 Nov 2017) Changed paths: M basis-library/config/metadata/array-metadata-size192.sml M basis-library/config/metadata/array-metadata-size96.sml Log Message: ----------- Fix ArrayMetaDataSize values for size96 and size192 Commit: 91b3563c2d728a0b7cd814a3aa692d8f3309f26a https://github.com/MLton/mlton/commit/91b3563c2d728a0b7cd814a3aa692d8f3309f26a Author: Matthew Fluet <mat...@gm...> Date: 2017-11-15 (Wed, 15 Nov 2017) Changed paths: M basis-library/Makefile A basis-library/config/metadata/array-metadata-size128.sml A basis-library/config/metadata/array-metadata-size256.sml A basis-library/config/metadata/normal-metadata-size128.sml A basis-library/maps/array-metadata-size128.map A basis-library/maps/array-metadata-size256.map A basis-library/maps/normal-metadata-size128.map Log Message: ----------- Futureproof with other metadata sizes Commit: 98a1f64dbfa4c21224758cd0b9bae765d74664c7 https://github.com/MLton/mlton/commit/98a1f64dbfa4c21224758cd0b9bae765d74664c7 Author: Matthew Fluet <mat...@gm...> Date: 2017-11-15 (Wed, 15 Nov 2017) Changed paths: M basis-library/config/metadata/array-metadata-size128.sml M basis-library/config/metadata/array-metadata-size192.sml M basis-library/config/metadata/array-metadata-size256.sml M basis-library/config/metadata/array-metadata-size96.sml M basis-library/config/metadata/normal-metadata-size128.sml M basis-library/config/metadata/normal-metadata-size32.sml M basis-library/config/metadata/normal-metadata-size64.sml Log Message: ----------- Remove unused `*MetaDataSize.bits` values Commit: b7c9199e85282bb14e2f7af706a67bd65df368c2 https://github.com/MLton/mlton/commit/b7c9199e85282bb14e2f7af706a67bd65df368c2 Author: Matthew Fluet <Mat...@gm...> Date: 2017-11-15 (Wed, 15 Nov 2017) Changed paths: M basis-library/Makefile A basis-library/config/metadata/array-metadata-size128.sml M basis-library/config/metadata/array-metadata-size192.sml A basis-library/config/metadata/array-metadata-size256.sml M basis-library/config/metadata/array-metadata-size96.sml A basis-library/config/metadata/normal-metadata-size128.sml M basis-library/config/metadata/normal-metadata-size32.sml M basis-library/config/metadata/normal-metadata-size64.sml A basis-library/maps/array-metadata-size128.map A basis-library/maps/array-metadata-size192.map A basis-library/maps/array-metadata-size256.map A basis-library/maps/array-metadata-size96.map R basis-library/maps/metadata-size32.map R basis-library/maps/metadata-size64.map A basis-library/maps/normal-metadata-size128.map A basis-library/maps/normal-metadata-size32.map A basis-library/maps/normal-metadata-size64.map Log Message: ----------- Merge pull request #220 from MatthewFluet/metadata-maps Extend Basis Library `type-check-all` with current and future metadata sizes. Also, fix a bug in the `ArrayMetaDataSize.{bits,bytes}` values for size96 and size192. (Not a correctness bug, since the Basis Library only uses `ArrayMetaDataSize.bytes` to calculate `bytesNeeded` for various IntInf operations; using the wrong (too large) value for `ArrayMetaDataSize.bytes` simply requested more than necessary.) Compare: https://github.com/MLton/mlton/compare/2bbabad6d786...b7c9199e8528 |
|
From: GitHub <no...@gi...> - 2017-11-14 20:04:49
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: b119d31b13bc7530b012f192235d5894cb9394cb https://github.com/MLton/mlton/commit/b119d31b13bc7530b012f192235d5894cb9394cb Author: Matthew Fluet <mat...@gm...> Date: 2016-06-03 (Fri, 03 Jun 2016) Changed paths: M runtime/gc/cheney-copy.c M runtime/gc/forward.c M runtime/gc/forward.h Log Message: ----------- Store forwarding pointer in object header Small change to store the forwarding pointer in an object header, rather than in the object proper. Commit: dd33bf146a52a1e44c1d0cd7abee8f9ef367671e https://github.com/MLton/mlton/commit/dd33bf146a52a1e44c1d0cd7abee8f9ef367671e Author: Matthew Fluet <mat...@gm...> Date: 2016-06-03 (Fri, 03 Jun 2016) Changed paths: M runtime/gc/array-allocate.c M runtime/gc/foreach.c M runtime/gc/mark-compact.c M runtime/gc/object-size.c Log Message: ----------- Do not reserve space for fwd ptr in arrays With forwarding pointers stored in an object header (rather than in the object proper), arrays do not need reserve space for a forwarding pointer. Commit: 98fd1dac6997d6a2e68d837862c61daff9229cdb https://github.com/MLton/mlton/commit/98fd1dac6997d6a2e68d837862c61daff9229cdb Author: Matthew Fluet <mat...@gm...> Date: 2016-06-06 (Mon, 06 Jun 2016) Changed paths: M mlton/backend/packed-representation.fun Log Message: ----------- Omit unnecessary initialization of padding words For alignment reasons, an object may have some 32-bit padding components after non-pointer components and before pointer components. Such components were initialized with 0x0, but never otherwise accessed. Commit: 9f045314a03a3cf0e1f8f52684732f262b628490 https://github.com/MLton/mlton/commit/9f045314a03a3cf0e1f8f52684732f262b628490 Author: Matthew Fluet <mat...@gm...> Date: 2016-06-06 (Mon, 06 Jun 2016) Changed paths: M mlton/backend/rep-type.fun Log Message: ----------- Relax RSSA type system to allow 0-byte objects Commit: 1ab2d06b0615a5be40340771ff96e34c0477fb0f https://github.com/MLton/mlton/commit/1ab2d06b0615a5be40340771ff96e34c0477fb0f Author: Matthew Fluet <mat...@gm...> Date: 2016-06-06 (Mon, 06 Jun 2016) Changed paths: M runtime/gc/array-allocate.c Log Message: ----------- Allow bytesPerElement == 0 in GC_arrayAllocate Avoid a division by zero error when checking for overflow of arraySize. Commit: b8e34fded164b2c5ff7577aa61dd4477c6d25a63 https://github.com/MLton/mlton/commit/b8e34fded164b2c5ff7577aa61dd4477c6d25a63 Author: Matthew Fluet <mat...@gm...> Date: 2016-06-06 (Mon, 06 Jun 2016) Changed paths: M mlton/backend/packed-representation.fun Log Message: ----------- Improve representation of 0-byte objects With forwarding pointers stored in an object header, the relaxation of the RSSA type system to allow 0-byte objects, and support for bytesPerElement == 0 in GC_arrayAllocation, normal objects and array object elements do not have a required minimum width. In particular, a "unit ref" is represented by just an object header (and no content bytes) and a "unit array" is represented by just a counter field, a length field, and an object header (and no content bytes). The "size" and "size2" regression tests are known to be broken by this commit. In particular, the size of a useless function is reported as ~8 bytes (on a 64-bit system), because the Basis Library implementation of MLton.size is: fun size x = let val refOverhead = Int.div (HeaderWord.wordSize + ObjptrWord.wordSize, 8) in C_Size.toInt (Primitive.MLton.size (ref x)) - refOverhead end Commit: 2e1d0219f8a593ef8b2311790ef66ba8fe5c1de1 https://github.com/MLton/mlton/commit/2e1d0219f8a593ef8b2311790ef66ba8fe5c1de1 Author: Matthew Fluet <mat...@gm...> Date: 2016-06-06 (Mon, 06 Jun 2016) Changed paths: M runtime/gc/init-world.c Log Message: ----------- Do not reserve space for fwd ptr in initVectors An empty initial vector would violate the heap layout invariant, because a gap would be left between the allocated vector and the next object. Commit: eac56d6d4c955e2344119e91053ee348a166a54e https://github.com/MLton/mlton/commit/eac56d6d4c955e2344119e91053ee348a166a54e Author: Matthew Fluet <mat...@gm...> Date: 2016-06-08 (Wed, 08 Jun 2016) Changed paths: M runtime/gc/cheney-copy.c M runtime/gc/forward.c M runtime/gc/forward.h Log Message: ----------- Introduce functions for accessing fwd ptr Commit: c2de5b8d5e1b86fdfac17d01571e03866823a649 https://github.com/MLton/mlton/commit/c2de5b8d5e1b86fdfac17d01571e03866823a649 Author: Matthew Fluet <mat...@gm...> Date: 2016-06-08 (Wed, 08 Jun 2016) Changed paths: M runtime/gc/align.c M runtime/gc/array-allocate.c M runtime/gc/array.h M runtime/gc/dfs-mark.c M runtime/gc/foreach.c M runtime/gc/forward.c M runtime/gc/garbage-collection.c M runtime/gc/hash-cons.c M runtime/gc/init-world.c M runtime/gc/mark-compact.c M runtime/gc/new-object.c M runtime/gc/object-size.c M runtime/gc/object-size.h M runtime/gc/object.c M runtime/gc/object.h M runtime/gc/stack.c M runtime/gc/stack.h M runtime/gc/thread.c M runtime/gc/weak.c Log Message: ----------- Distinguish size of header from size of metadata Make a distinction in the runtime system between the header field of an object and the entire metadata of an object. For Normal, Stack, and Weak objects, the metadata of an object is just the header field. For Array objects, the metadata of an object is the counter field, the length field and the header field. There is no functional difference with this commit, but it should provide better infrastructure for future extensions of object metadata. Commit: 6b139d7520ad2cf879b618b998fb0cf17e9d5703 https://github.com/MLton/mlton/commit/6b139d7520ad2cf879b618b998fb0cf17e9d5703 Author: Matthew Fluet <mat...@gm...> Date: 2016-06-08 (Wed, 08 Jun 2016) Changed paths: M mlton/backend/machine.fun M mlton/backend/packed-representation.fun M mlton/backend/rep-type.fun M mlton/backend/rssa.fun M mlton/backend/runtime.fun M mlton/backend/runtime.sig 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 M runtime/gen/gen-sizes.c Log Message: ----------- Distinguish size of header from size of metadata Make a distinction in the compiler between the header field of an object and the entire metadata of an object. There is no functional difference with this commit, but it should provide better infrastructure for future extensions of object metadata. Commit: 0c56a864faaebdceb87eb3bedb114881bb4d5ed7 https://github.com/MLton/mlton/commit/0c56a864faaebdceb87eb3bedb114881bb4d5ed7 Author: Matthew Fluet <mat...@gm...> Date: 2016-06-08 (Wed, 08 Jun 2016) Changed paths: M basis-library/build/sources.mlb A basis-library/config/metadata/metadata-size32.sml A basis-library/config/metadata/metadata-size64.sml M basis-library/integer/int-inf0.sml M basis-library/mlton/mlton.sml M mlton/control/control-flags.sml Log Message: ----------- Distinguish size of header from size of metadata Make a distinction in the Basis Library implementation between the header field of an object and the entire metadata of an object. Commit: 846980b4e9e01807bd8ec8f53e5677e84da86b98 https://github.com/MLton/mlton/commit/846980b4e9e01807bd8ec8f53e5677e84da86b98 Author: Matthew Fluet <mat...@gm...> Date: 2016-06-08 (Wed, 08 Jun 2016) Changed paths: M basis-library/Makefile M basis-library/build/sources.mlb R basis-library/config/header/header-word32.sml R basis-library/config/header/header-word64.sml R basis-library/maps/header-word32.map R basis-library/maps/header-word64.map A basis-library/maps/metadata-size32.map A basis-library/maps/metadata-size64.map M basis-library/primitive/primitive.mlb M mlton/control/control-flags.sml Log Message: ----------- Remove unused HEADER_WORD MLB path variable Commit: 9c248ea0ea9839549cb412537310f4365d74caf6 https://github.com/MLton/mlton/commit/9c248ea0ea9839549cb412537310f4365d74caf6 Author: Matthew Fluet <mat...@gm...> Date: 2017-11-10 (Fri, 10 Nov 2017) Changed paths: M .gitignore A .travis.yml R Makefile A Makefile-auto.am A Makefile.in R README A README.md M basis-library/arrays-and-vectors/array-slice.sig M basis-library/arrays-and-vectors/array.sig M basis-library/arrays-and-vectors/array.sml M basis-library/arrays-and-vectors/array2.sml M basis-library/arrays-and-vectors/mono-array-slice.sig M basis-library/arrays-and-vectors/mono-array.sig M basis-library/arrays-and-vectors/sequence.fun M basis-library/arrays-and-vectors/sequence.sig M basis-library/arrays-and-vectors/sequence0.sig M basis-library/arrays-and-vectors/sequence0.sml M basis-library/arrays-and-vectors/slice.sig M basis-library/arrays-and-vectors/slice0.sig M basis-library/arrays-and-vectors/vector-slice.sig M basis-library/arrays-and-vectors/vector.sig M basis-library/arrays-and-vectors/vector.sml M basis-library/basis-1997.mlb M basis-library/basis-2002.mlb M basis-library/basis-none.mlb M basis-library/build/sources.mlb M basis-library/c-types.mlb M basis-library/equal.mlb M basis-library/infixes.mlb M basis-library/integer/int-inf0.sml M basis-library/io/imperative-io.fun M basis-library/libs/basis-1997/basis-1997.mlb M basis-library/libs/basis-2002/basis-2002.mlb M basis-library/libs/basis-extra/basis-extra.mlb M basis-library/mlton.mlb M basis-library/mlton/call-stack.sml M basis-library/mlton/io.fun M basis-library/net/socket.sml M basis-library/overloads.mlb M basis-library/pervasive-exns.mlb M basis-library/pervasive-types.mlb M basis-library/pervasive-vals.mlb M basis-library/platform/mingw.sml M basis-library/posix/file-sys.sml M basis-library/posix/io.sml M basis-library/posix/proc-env.sml M basis-library/primitive/prim-basis.mlb M basis-library/primitive/prim-seq.sml M basis-library/primitive/primitive.mlb M basis-library/real/pack-real.sml M basis-library/real/real.sml M basis-library/sml-nj.mlb M basis-library/sml-nj/unsafe.sig M basis-library/sml-nj/unsafe.sml M basis-library/system/date.sml M basis-library/text/char0.sml M basis-library/unsafe.mlb M benchmark/.gitignore R benchmark/Makefile A benchmark/Makefile.in M benchmark/main.sml M benchmark/tests/.gitignore A benchmark/tests/string-concat.sml R benchmark/tests/vector-concat.sml A benchmark/tests/vector32-concat.sml A benchmark/tests/vector64-concat.sml M benchmark/update-counts.sh A bin/.gitignore M bin/add-cross R bin/mlton-script A bin/mlton-script.in M bin/regression A bin/travis-ci R bin/upgrade-basis A configure.ac A doc/README R doc/README M doc/guide/src/AdmitsEquality.adoc M doc/guide/src/CKitLibrary.adoc M doc/guide/src/CommonSubexp.adoc M doc/guide/src/CompilingWithSMLNJ.adoc M doc/guide/src/DefineTypeBeforeUse.adoc M doc/guide/src/Emacs.adoc M doc/guide/src/EqualityTypeVariable.adoc M doc/guide/src/FirstClassPolymorphism.adoc M doc/guide/src/LanguageChanges.adoc M doc/guide/src/MLBasisAnnotationExamples.adoc M doc/guide/src/MLBasisAnnotations.adoc M doc/guide/src/MLLPTLibrary.adoc M doc/guide/src/MLRISCLibrary.adoc M doc/guide/src/PolymorphicEquality.adoc M doc/guide/src/PortingMLton.adoc M doc/guide/src/RunTimeOptions.adoc M doc/guide/src/SMLNJDeviations.adoc M doc/guide/src/SMLNJLibrary.adoc M doc/guide/src/SSA.adoc M doc/guide/src/SelfCompiling.adoc M doc/guide/src/ShowBasis.adoc M doc/guide/src/SuccessorML.adoc M doc/guide/src/TypeChecking.adoc M doc/guide/src/TypeVariableScope.adoc M doc/guide/src/Unicode.adoc M doc/guide/src/UnresolvedBugs.adoc M doc/guide/src/ValueRestriction.adoc M lib/ckit-lib/ckit.patch M lib/ckit-lib/ckit.tgz M lib/cml/cml-lib/cml-lib.mlb M lib/cml/core-cml/core-cml.mlb M lib/cml/util/util.mlb M lib/mllpt-lib/ml-lpt.patch M lib/mllpt-lib/ml-lpt.tgz M lib/mlnlffi-lib/.gitignore R lib/mlnlffi-lib/Makefile A lib/mlnlffi-lib/Makefile.in M lib/mlnlffi-lib/c.mlb M lib/mlnlffi-lib/internals/c-int.mlb M lib/mlnlffi-lib/memory/memory.unix.mlb M lib/mlrisc-lib/MLRISC.patch M lib/mlrisc-lib/MLRISC.tgz M lib/mlton/basic/directed-graph.sig M lib/mlton/basic/directed-graph.sml M lib/mlton/basic/dot.sml M lib/mlton/basic/error.sig M lib/mlton/basic/error.sml M lib/mlton/basic/exn.sml M lib/mlton/basic/exn0.sml M lib/mlton/basic/layout.sig M lib/mlton/basic/layout.sml M lib/mlton/basic/list.sig M lib/mlton/basic/list.sml A lib/mlton/basic/parse-sexp.fun A lib/mlton/basic/parse-sexp.sig R lib/mlton/basic/parse.fun M lib/mlton/basic/parse.sig A lib/mlton/basic/parse.sml M lib/mlton/basic/popt.sig M lib/mlton/basic/popt.sml M lib/mlton/basic/process.sml M lib/mlton/basic/promise.sig M lib/mlton/basic/promise.sml M lib/mlton/basic/quick-sort.sml M lib/mlton/basic/random.sml M lib/mlton/basic/sources.cm M lib/mlton/basic/sources.mlb M lib/mlton/basic/stream.sig M lib/mlton/basic/stream.sml M lib/mlton/basic/tree.sig M lib/mlton/basic/tree.sml M lib/mlton/basic/vector.fun M lib/mlton/basic/vector.sig M lib/mlton/env/sources.mlb M lib/mlton/set/sources.mlb M lib/mlton/sources.cm M lib/mlton/sources.mlb M lib/mlyacc-lib/lrtable.sml M lib/mlyacc-lib/mlyacc-lib.mlb M lib/smlnj-lib/smlnj-lib.patch M lib/smlnj-lib/smlnj-lib.tgz M lib/stubs/mlton-stubs/README M mllex/Makefile M mlnlffigen/Makefile M mlnlffigen/gen-cppcmd M mlprof/Makefile M mlton/.gitignore R mlton/Makefile A mlton/Makefile.in M mlton/ast/ast-atoms.fun M mlton/ast/ast-atoms.sig M mlton/ast/ast-core.fun M mlton/ast/ast-core.sig M mlton/ast/ast-mlbs.fun M mlton/ast/ast-modules.fun M mlton/ast/ast-modules.sig M mlton/ast/ast-programs.fun M mlton/ast/longid.fun M mlton/atoms/const.fun M mlton/atoms/const.sig M mlton/atoms/generic-scheme.fun M mlton/atoms/hash-type.fun M mlton/atoms/hash-type.sig M mlton/atoms/id.fun M mlton/atoms/id.sig A mlton/atoms/layout-pretty.sml M mlton/atoms/prim-tycons.fun M mlton/atoms/prim-tycons.sig M mlton/atoms/prim.fun M mlton/atoms/prim.sig M mlton/atoms/record.fun M mlton/atoms/record.sig M mlton/atoms/sources.cm M mlton/atoms/sources.mlb M mlton/atoms/tycon.fun M mlton/atoms/tycon.sig M mlton/atoms/type-ops.fun M mlton/atoms/tyvar.fun M mlton/atoms/tyvar.sig R mlton/atoms/use-name.fun M mlton/atoms/word-x-vector.fun M mlton/atoms/word-x-vector.sig M mlton/backend/allocate-registers.fun M mlton/backend/allocate-registers.sig M mlton/backend/backend.fun M mlton/backend/live.fun M mlton/backend/machine.fun M mlton/backend/packed-representation.fun M mlton/backend/rep-type.fun M mlton/backend/rep-type.sig M mlton/backend/rssa.fun M mlton/backend/rssa.sig M mlton/backend/ssa-to-rssa.fun M mlton/backend/ssa-to-rssa.sig M mlton/backend/switch.fun M mlton/closure-convert/abstract-value.fun M mlton/closure-convert/abstract-value.sig M mlton/closure-convert/closure-convert.fun M mlton/closure-convert/globalize.fun M mlton/codegen/amd64-codegen/amd64-generate-transfers.fun M mlton/codegen/llvm-codegen/llvm-codegen.fun M mlton/codegen/x86-codegen/x86-generate-transfers.fun M mlton/control/control-flags.sig M mlton/control/control-flags.sml M mlton/control/control.sml M mlton/control/pretty.sig M mlton/control/pretty.sml M mlton/control/region.sml M mlton/control/source-pos.sig M mlton/control/source-pos.sml M mlton/control/version_sml.src M mlton/core-ml/core-ml.fun M mlton/core-ml/core-ml.sig M mlton/core-ml/dead-code.fun M mlton/defunctorize/defunctorize.fun M mlton/elaborate/elaborate-core.fun M mlton/elaborate/elaborate-core.sig M mlton/elaborate/elaborate-env.fun M mlton/elaborate/elaborate-env.sig M mlton/elaborate/elaborate-mlbs.fun M mlton/elaborate/elaborate-mlbs.sig M mlton/elaborate/elaborate-modules.fun M mlton/elaborate/elaborate-modules.sig M mlton/elaborate/elaborate-programs.sig M mlton/elaborate/elaborate-sigexp.fun M mlton/elaborate/elaborate-sigexp.sig M mlton/elaborate/elaborate.sig M mlton/elaborate/interface.fun M mlton/elaborate/interface.sig M mlton/elaborate/precedence-parse.fun M mlton/elaborate/precedence-parse.sig M mlton/elaborate/scope.fun M mlton/elaborate/type-env.fun M mlton/elaborate/type-env.sig M mlton/front-end/ml.grm M mlton/front-end/ml.lex M mlton/front-end/mlb.lex M mlton/main/compile.fun M mlton/main/compile.sig M mlton/main/main.fun M mlton/match-compile/match-compile.fun M mlton/match-compile/match-compile.sig M mlton/match-compile/nested-pat.fun M mlton/match-compile/nested-pat.sig M mlton/ssa/analyze.fun M mlton/ssa/analyze2.fun M mlton/ssa/combine-conversions.fun M mlton/ssa/common-block.fun M mlton/ssa/common-subexp.fun M mlton/ssa/constant-propagation.fun M mlton/ssa/deep-flatten.fun M mlton/ssa/direct-exp.fun M mlton/ssa/direct-exp2.fun M mlton/ssa/global.fun M mlton/ssa/inline.fun M mlton/ssa/known-case.fun M mlton/ssa/local-ref.fun A mlton/ssa/loop-unroll.fun A mlton/ssa/loop-unswitch.fun M mlton/ssa/poly-equal.fun M mlton/ssa/poly-hash.fun M mlton/ssa/prepasses.fun M mlton/ssa/profile.fun M mlton/ssa/profile2.fun M mlton/ssa/ref-flatten.fun M mlton/ssa/remove-unused.fun M mlton/ssa/remove-unused2.fun M mlton/ssa/restore.fun M mlton/ssa/restore2.fun A mlton/ssa/share-zero-vec.fun M mlton/ssa/shrink.fun M mlton/ssa/shrink2.fun M mlton/ssa/simplify-types.fun M mlton/ssa/simplify.fun M mlton/ssa/simplify2.fun M mlton/ssa/sources.cm M mlton/ssa/sources.mlb M mlton/ssa/ssa-to-ssa2.fun M mlton/ssa/ssa-tree.fun M mlton/ssa/ssa-tree.sig M mlton/ssa/ssa-tree2.fun M mlton/ssa/ssa-tree2.sig M mlton/ssa/type-check.fun M mlton/ssa/type-check2.fun M mlton/ssa/useless.fun M mlton/ssa/zone.fun M mlton/xml/implement-exceptions.fun M mlton/xml/implement-suffix.fun M mlton/xml/monomorphise.fun A mlton/xml/parse-sxml.fun A mlton/xml/parse-sxml.sig M mlton/xml/polyvariance.fun M mlton/xml/shrink.fun M mlton/xml/sources.cm M mlton/xml/sources.mlb M mlton/xml/sxml-simplify.fun M mlton/xml/type-check.fun M mlton/xml/xml-simplify.fun M mlton/xml/xml-tree.fun M mlton/xml/xml-tree.sig M mlyacc/.gitignore R mlyacc/Makefile A mlyacc/Makefile.in M mlyacc/examples/calc/README A mlyacc/examples/calc/calc.mlb M mlyacc/examples/calc/calc.sml R mlyacc/examples/calc/sources.cm M mlyacc/examples/fol/README A mlyacc/examples/fol/fol.mlb M mlyacc/examples/fol/parse.sml R mlyacc/examples/fol/sources.cm M mlyacc/examples/pascal/README M mlyacc/examples/pascal/parser.sml A mlyacc/examples/pascal/pascal.mlb R mlyacc/examples/pascal/sources.cm A package/freebsd/.gitignore R package/freebsd/Makefile A package/freebsd/Makefile.in A package/mingw/.gitignore R package/mingw/Makefile A package/mingw/Makefile.in M regression/fail/constant-too-big.sml A regression/fail/datatype-where-complex.1.sml A regression/fail/datatype-where-complex.2.sml R regression/fail/datatype-where-complex.sml M regression/fail/duplicate-tyvar.sml A regression/fail/infix.1.sml A regression/fail/infix.2.sml A regression/fail/infix.3.sml A regression/fail/infix.4.sml A regression/fail/infix.5.sml A regression/fail/infix.6.sml A regression/fail/special-ids.1.sml A regression/fail/special-ids.2.sml M regression/sharing.sml A regression/whitelist M runtime/.gitignore R runtime/Makefile A runtime/Makefile.in M runtime/gc/array.c M runtime/gc/array.h M runtime/gc/controls.h M runtime/gc/done.c M runtime/gc/init.c M runtime/gc/signals.c M runtime/platform.h M runtime/platform/aix.h M runtime/platform/cygwin.h M runtime/platform/darwin.h M runtime/platform/freebsd.h M runtime/platform/hpux.h M runtime/platform/hurd.h M runtime/platform/linux.h M runtime/platform/mingw.h M runtime/platform/mmap-protect.c M runtime/platform/netbsd.h M runtime/platform/openbsd.h M runtime/platform/solaris.h Log Message: ----------- Merge branch 'master' of github.com:MLton/mlton into forward-pointer-in-header Commit: 10b0135c223fff891159bb24a0531529e1d85c5d https://github.com/MLton/mlton/commit/10b0135c223fff891159bb24a0531529e1d85c5d Author: Matthew Fluet <mat...@gm...> Date: 2017-11-13 (Mon, 13 Nov 2017) Changed paths: M basis-library/build/sources.mlb A basis-library/config/metadata/array-metadata-size192.sml A basis-library/config/metadata/array-metadata-size96.sml R basis-library/config/metadata/metadata-size32.sml R basis-library/config/metadata/metadata-size64.sml A basis-library/config/metadata/normal-metadata-size32.sml A basis-library/config/metadata/normal-metadata-size64.sml M basis-library/integer/int-inf0.sml M basis-library/mlton/mlton.sml M mlton/backend/machine.fun M mlton/backend/packed-representation.fun M mlton/backend/rep-type.fun M mlton/backend/rssa.fun M mlton/backend/runtime.fun M mlton/backend/runtime.sig 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 M runtime/gen/gen-sizes.c Log Message: ----------- Distinguish array and normal metadata sizes Commit: cd7440559273a2c1898ec186646287de3ba2a4a5 https://github.com/MLton/mlton/commit/cd7440559273a2c1898ec186646287de3ba2a4a5 Author: Matthew Fluet <mat...@gm...> Date: 2017-11-13 (Mon, 13 Nov 2017) Changed paths: M basis-library/mlton/mlton.sml M basis-library/primitive/prim-mlton.sml M mlton/backend/ssa-to-rssa.fun Log Message: ----------- Eliminate MLton_size indirection via 'a ref The runtime GC_size function expects an object pointer (in order to trace the reachable objects). Previously, the Basis Library implementation of MLton.size was of the form fun size x = let val refOverhead = Int32.toInt NormalMetaDataSize.bytes + Int.div (ObjptrWord.wordSize, 8) in C_Size.toInt (Primitive.MLton.size (ref x)) - refOverhead end However, with the changes to the representation of a `unit ref` (represented by just an object header and no content bytes), this can result in negative sizes for objects that are represented by `unit` (e.g., an unused function). Now, the Basis Library implementation is of the form fun size x = C_Size.toInt (Primitive.MLton.size x) During the translation from SSA2 to RSSA, the MLton_size primitive is replaced by the constant 0 if the representation of the argument is not an object pointer. This corrects the size of objects represented by `unit`. It also (arguably) corrects the size of objects that could be flattened into the `'a ref` indirection. For example, previously, on a 64-bit platform, the size of a `word32 * word32` could be reported as 0, because the `(word32 * word32) ref` was flattened, so `- refOverhead` subtracts from the actual content bytes. Now, the size of a `word32 * word32` is reported as 16 bytes (= 8-byte header + 4 bytes (word32) + 4 bytes (word32)). Commit: 42312aa8910c07dda96806cbe43731c2e1c2e03c https://github.com/MLton/mlton/commit/42312aa8910c07dda96806cbe43731c2e1c2e03c Author: Matthew Fluet <mat...@gm...> Date: 2017-11-13 (Mon, 13 Nov 2017) Changed paths: A regression/size3.amd64-darwin.ok A regression/size3.amd64-linux.ok A regression/size3.ok A regression/size3.sml Log Message: ----------- Add regression/size3.sml This test demonstrates the reduced size of length 0 arrays and unit refs. Commit: 2bbabad6d786f33d34b518b94d3b61a05c36e2cf https://github.com/MLton/mlton/commit/2bbabad6d786f33d34b518b94d3b61a05c36e2cf Author: Matthew Fluet <Mat...@gm...> Date: 2017-11-14 (Tue, 14 Nov 2017) Changed paths: M basis-library/Makefile M basis-library/build/sources.mlb R basis-library/config/header/header-word32.sml R basis-library/config/header/header-word64.sml A basis-library/config/metadata/array-metadata-size192.sml A basis-library/config/metadata/array-metadata-size96.sml A basis-library/config/metadata/normal-metadata-size32.sml A basis-library/config/metadata/normal-metadata-size64.sml M basis-library/integer/int-inf0.sml R basis-library/maps/header-word32.map R basis-library/maps/header-word64.map A basis-library/maps/metadata-size32.map A basis-library/maps/metadata-size64.map M basis-library/mlton/mlton.sml M basis-library/primitive/prim-mlton.sml M basis-library/primitive/primitive.mlb M mlton/backend/machine.fun M mlton/backend/packed-representation.fun M mlton/backend/rep-type.fun M mlton/backend/rssa.fun M mlton/backend/runtime.fun M mlton/backend/runtime.sig M mlton/backend/ssa-to-rssa.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 A regression/size3.amd64-darwin.ok A regression/size3.amd64-linux.ok A regression/size3.ok A regression/size3.sml M runtime/gc/align.c M runtime/gc/array-allocate.c M runtime/gc/array.h M runtime/gc/cheney-copy.c M runtime/gc/dfs-mark.c M runtime/gc/foreach.c M runtime/gc/forward.c M runtime/gc/forward.h M runtime/gc/garbage-collection.c M runtime/gc/hash-cons.c M runtime/gc/init-world.c M runtime/gc/mark-compact.c M runtime/gc/new-object.c M runtime/gc/object-size.c M runtime/gc/object-size.h M runtime/gc/object.c M runtime/gc/object.h M runtime/gc/stack.c M runtime/gc/stack.h M runtime/gc/thread.c M runtime/gc/weak.c M runtime/gen/gen-sizes.c Log Message: ----------- Merge pull request #219 from MatthewFluet/forward-pointer-in-header Forward pointer in header Previously, MLton stored the forwarding pointer for an object in the object data and set the header to a sentinel value. This imposed a minimum size for all objects and special handling for allocating/copying arrays of very small length (which might not naturally include space for the forwarding pointer). Now, MLton stores the forwarding pointer for an object in the object header. Since a valid header always satisfies `(header & 0x1) == 1` and a forward pointer always satisfies `(fwdptr & 0x1) == 0`, it is possible to recognize the presence / absence of a forwarding pointer. As a consequence of moving the forward pointer into the header, there is no minimum size for objects. This allows for more efficient representation of 0-byte objects: a `unit ref` is now represented by just an object header (and no content bytes) and a `unit array` is represented by just a counter field, a length field, and an object header (and no content bytes). The change slightly improves compile-time allocation; `smith-normal-form` has 0.96 total allocation, while other benchmarks have 0.99 total allocation. The change slightly improves run-time time: `hamlet` has 0.94 time, `simple` has 0.95 time, `vliw` has 0.92 time; the change slightly improves run-time allocation: `hamlet` has 0.97 total allocation, `tensor` has 0.00 total allocation (yes, the total allocation goes from 281788376 to 148984; presumably, there are some arrays that are mostly useless and optimized to `unit arrays`), while other benchmarks have between 0.99 and 1.01 total allocation (the slight, but measurable increase in total allocated is likely due to perturbed GCs that shrink stacks at different times, leading to different stack growths). This is a backport from CMU multiMLton project. [Further changes in that project move the forward pointer into a separate metadata field, in order to allow an object to have a forwarding pointer installed, while still being available as a normal object.] Compare: https://github.com/MLton/mlton/compare/d7460b9a5cb3...2bbabad6d786 |
|
From: GitHub <no...@gi...> - 2017-11-02 13:10:28
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 677f20a57827dc00cf95f1c2b186e33bb838aa47 https://github.com/MLton/mlton/commit/677f20a57827dc00cf95f1c2b186e33bb838aa47 Author: Matthew Fluet <mat...@gm...> Date: 2017-11-01 (Wed, 01 Nov 2017) Changed paths: M mlton/backend/backend.fun Log Message: ----------- Rename `callReturnOperands` to `callReturnStackOffsets` Commit: 0ff673c8762c87e20af77e4d0be6655b536edb5a https://github.com/MLton/mlton/commit/0ff673c8762c87e20af77e4d0be6655b536edb5a Author: Matthew Fluet <mat...@gm...> Date: 2017-11-01 (Wed, 01 Nov 2017) Changed paths: M mlton/backend/allocate-registers.fun M mlton/backend/allocate-registers.sig M mlton/backend/backend.fun Log Message: ----------- Change `argOperands` argument to `formalsStackOffsets` Clarifies that formal variables are always passed via stack offsets. Commit: 42dcbaae5a395407bd8fc7a92ccabf47c0291ebd https://github.com/MLton/mlton/commit/42dcbaae5a395407bd8fc7a92ccabf47c0291ebd Author: Matthew Fluet <mat...@gm...> Date: 2017-11-01 (Wed, 01 Nov 2017) Changed paths: M mlton/backend/allocate-registers.fun Log Message: ----------- Update comment regarding stack vs register allocation Commit: eaa41c9e7e539e0969152e89ce26d0105fd5dee3 https://github.com/MLton/mlton/commit/eaa41c9e7e539e0969152e89ce26d0105fd5dee3 Author: Matthew Fluet <mat...@gm...> Date: 2017-11-01 (Wed, 01 Nov 2017) Changed paths: M mlton/backend/allocate-registers.fun Log Message: ----------- Update comments regarding link/handler stack slot allocation Commit: 7ec42a1bdd7c62fb58412d5dc58cc06ace323037 https://github.com/MLton/mlton/commit/7ec42a1bdd7c62fb58412d5dc58cc06ace323037 Author: Matthew Fluet <mat...@gm...> Date: 2017-11-01 (Wed, 01 Nov 2017) Changed paths: M mlton/backend/allocate-registers.fun Log Message: ----------- Do not force Cont block arguments to stack Although Cont block arguments are passed via the stack (they are the return values of a call), they are copied from the stack to Cont block arguments at return. Commit: 006cab5995a14ab1714410247e416d86194963e1 https://github.com/MLton/mlton/commit/006cab5995a14ab1714410247e416d86194963e1 Author: Matthew Fluet <mat...@gm...> Date: 2017-11-01 (Wed, 01 Nov 2017) Changed paths: M mlton/backend/allocate-registers.fun Log Message: ----------- Trace AllocateRegisters.Allocation.Stack.get Commit: 4e02cf8e4717be301f7202f9c22ccc3ffd45a7e0 https://github.com/MLton/mlton/commit/4e02cf8e4717be301f7202f9c22ccc3ffd45a7e0 Author: Matthew Fluet <mat...@gm...> Date: 2017-11-01 (Wed, 01 Nov 2017) Changed paths: M mlton/backend/allocate-registers.fun Log Message: ----------- Coalesce slots in Allocation.Stack.new Commit: 31b6e294e59e118e8291379471d80035e971d387 https://github.com/MLton/mlton/commit/31b6e294e59e118e8291379471d80035e971d387 Author: Matthew Fluet <mat...@gm...> Date: 2017-11-01 (Wed, 01 Nov 2017) Changed paths: M mlton/backend/allocate-registers.fun Log Message: ----------- Improve Allocation.Stack.get `val get: t * Type.t -> t * {offset: Bytes.t}` takes a stack allocation (list of allocated slots) and a type and returns a new stack allocation and an offset, such that the new stack allocation extends the old stack allocation with an allocated slot at `offset` suitable for an object of the given type. Previously, when the old stack allocation is non-empty, a search was made through the old stack allocation for an available slot. However, the search started after the first allocation in the old stack allocation. That is, the result `offset` was always greater than the offset of the head of the old stack allocation, even unallocated slots existed before the head of the old stack allocation. This could lead to larger than necessary stack frames. It suffices to simply initiate the search as though a dummy `{offset = Bytes.zero, size = Bytes.zero}` allocation were at the head of the old stack allocation. A small amount of logic is used to avoid including that dummy allocation in the result allocation in order to avoid accumulating unnecessary dummy allocations. Commit: d7460b9a5cb31371e16124591805000ef68d3e07 https://github.com/MLton/mlton/commit/d7460b9a5cb31371e16124591805000ef68d3e07 Author: Matthew Fluet <Mat...@gm...> Date: 2017-11-02 (Thu, 02 Nov 2017) Changed paths: M mlton/backend/allocate-registers.fun M mlton/backend/allocate-registers.sig M mlton/backend/backend.fun Log Message: ----------- Merge pull request #217 from MatthewFluet/misc-backend-stack-mgmt Misc. updates to stack management in backend Highlights: * Improve Allocation.Stack.get (31b6e29) * Do not force Cont block arguments to stack (7ec42a1) Compare: https://github.com/MLton/mlton/compare/a81514efaa0b...d7460b9a5cb3 |
