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) |
2
|
3
|
4
|
5
|
|
6
|
7
(1) |
8
(1) |
9
|
10
|
11
|
12
|
|
13
|
14
(1) |
15
|
16
|
17
|
18
|
19
|
|
20
|
21
|
22
|
23
|
24
|
25
|
26
|
|
27
|
28
|
29
|
30
|
31
(2) |
|
|
|
From: GitHub <no...@gi...> - 2014-07-31 19:00:32
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 1bc1195bcd9b1868a0d6dc60d3781a5e159ba0c9 https://github.com/MLton/mlton/commit/1bc1195bcd9b1868a0d6dc60d3781a5e159ba0c9 Author: Robert J. Simmons <rob...@gm...> Date: 2014-07-29 (Tue, 29 Jul 2014) Changed paths: M doc/guide/src/MLtonVector.adoc Log Message: ----------- Update MLtonVector.adoc Update unfoldi to be correct and make sense from a type perspective Commit: fc06a5bd8f1841c4bead965d979d3e30f1a25727 https://github.com/MLton/mlton/commit/fc06a5bd8f1841c4bead965d979d3e30f1a25727 Author: Robert J. Simmons <rob...@gm...> Date: 2014-07-29 (Tue, 29 Jul 2014) Changed paths: M doc/guide/src/MLtonArray.adoc Log Message: ----------- Update MLtonArray.adoc Update unfoldi to be correct and make sense from a type perspective Commit: 2753f95a2810f88a2fcfad31648f77d1e9fea99e https://github.com/MLton/mlton/commit/2753f95a2810f88a2fcfad31648f77d1e9fea99e Author: Matthew Fluet <mat...@gm...> Date: 2014-07-31 (Thu, 31 Jul 2014) Changed paths: M doc/guide/src/MLtonArray.adoc M doc/guide/src/MLtonVector.adoc Log Message: ----------- Merge pull request #73 from robsimmons/unfoldi Give MLton.{Vector,Array}.unfoldi a correct description in the guide. Compare: https://github.com/MLton/mlton/compare/f5ee6531c212...2753f95a2810 |
|
From: GitHub <no...@gi...> - 2014-07-31 18:57:34
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 3c01819f1f2bf02298ed8734fb39879b5d886d3a https://github.com/MLton/mlton/commit/3c01819f1f2bf02298ed8734fb39879b5d886d3a Author: Rob Simmons <rob...@gm...> Date: 2014-07-28 (Mon, 28 Jul 2014) Changed paths: 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/sequence.fun M basis-library/arrays-and-vectors/sequence.sig A basis-library/arrays-and-vectors/sequence0.sig A basis-library/arrays-and-vectors/sequence0.sml M basis-library/arrays-and-vectors/slice.sig A 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/build/sources.mlb M basis-library/general/general.sml M basis-library/primitive/prim1.sml Log Message: ----------- Refactor sequences Primitive sequences are indexed by SeqIndex.int, normal sequences are indexed by Int.int. Introduces primitive sequences earlier on in the dependency chain. Changes also make the Span exception more primitive, exposes the unfold function for arrays and vectors further, and reorder the sequence interface so that sequence0.sig/sequence.sig and slice0.sig/slice.sig can be read as parallel corpuses. Commit: de7e4a1a8b549378f72605cbccd4be166be247f7 https://github.com/MLton/mlton/commit/de7e4a1a8b549378f72605cbccd4be166be247f7 Author: Rob Simmons <rob...@gm...> Date: 2014-07-28 (Mon, 28 Jul 2014) Changed paths: M benchmark/Makefile M benchmark/main.sml M benchmark/tests/.gitignore A benchmark/tests/even-odd.sml M benchmark/tests/peek.sml A benchmark/update-counts.sh Log Message: ----------- Merge branch 'master' into refactor-arrays Commit: f5ee6531c212cb686f16fe6c47ed123499bb538a https://github.com/MLton/mlton/commit/f5ee6531c212cb686f16fe6c47ed123499bb538a Author: Matthew Fluet <mat...@gm...> Date: 2014-07-31 (Thu, 31 Jul 2014) Changed paths: 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/sequence.fun M basis-library/arrays-and-vectors/sequence.sig A basis-library/arrays-and-vectors/sequence0.sig A basis-library/arrays-and-vectors/sequence0.sml M basis-library/arrays-and-vectors/slice.sig A 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/build/sources.mlb M basis-library/general/general.sml M basis-library/primitive/prim1.sml Log Message: ----------- Merge pull request #72 from robsimmons/refactor-arrays Refactor array and vector implementation into a primitive implementation (using SeqInt.int for indexing) and a wrapper implementation (using the default Int.int for indexing). Compare: https://github.com/MLton/mlton/compare/55b8664f4e4c...f5ee6531c212 |
|
From: GitHub <no...@gi...> - 2014-07-14 16:58:27
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: eb940783bbe5d70d2d889faf9341e7af38dc1fc9 https://github.com/MLton/mlton/commit/eb940783bbe5d70d2d889faf9341e7af38dc1fc9 Author: Matthew Fluet <mat...@gm...> Date: 2014-07-14 (Mon, 14 Jul 2014) Changed paths: M benchmark/Makefile M benchmark/main.sml M benchmark/tests/.gitignore A benchmark/tests/even-odd.sml Log Message: ----------- Add even-odd benchmark. Add a new even-odd benchmark that exercises mutual tail recursion. Note that it is important that both "even" and "odd" are called from the main program; if only "even" is called, then the Contify optimization will move both "even'" and "odd'" to their one return point and turn the tail recursion into a local loop. Commit: db88077bd5e1f5ac662ff7d3c89a49b5e02a3d84 https://github.com/MLton/mlton/commit/db88077bd5e1f5ac662ff7d3c89a49b5e02a3d84 Author: Matthew Fluet <mat...@gm...> Date: 2014-07-14 (Mon, 14 Jul 2014) Changed paths: M benchmark/main.sml M benchmark/tests/peek.sml A benchmark/update-counts.sh Log Message: ----------- Update benchmark iteration counts. Increase the benchmark iteration counts so that all benchmarks run for at least 15 seconds (for amd64-linux on an "Intel(R) Core(TM) i5-3570K CPU @ 3.40GHz"). Added an "update-counts.sh" script to calculate appropriate benchmark iteration counts. Ideally, the benchmark iteration counts should be loaded dynamically at the time the benchmark suite is executed (rather than being hard-coded into the benchmark suite executable). Then, it would be easier to calibrate appropriate benchmark iteration counts for different machines. Commit: 3d433648cafec930d1145a022b1533d369c9d0f8 https://github.com/MLton/mlton/commit/3d433648cafec930d1145a022b1533d369c9d0f8 Author: Matthew Fluet <mat...@gm...> Date: 2014-07-14 (Mon, 14 Jul 2014) Changed paths: M benchmark/main.sml Log Message: ----------- Generate uniquely named benchmark files for each compiler. Generate a unique .sml file for each benchmark for each compiler (derived from the benchmark name and compiler abbreviation). In particular, allows running the benchmark suite with "-keep {ssa,g}" flags for mlton without later compilers overwriting the output from earlier compilers. Commit: f13b95bccd1f00d1be73eef12dd7ac1bf6b52ddb https://github.com/MLton/mlton/commit/f13b95bccd1f00d1be73eef12dd7ac1bf6b52ddb Author: Matthew Fluet <mat...@gm...> Date: 2014-07-14 (Mon, 14 Jul 2014) Changed paths: M benchmark/main.sml Log Message: ----------- Consistent abbreviations for MLKit and Moscow ML. Commit: 41f7dd95ce40530ac7d04028e16c6e86be696ca6 https://github.com/MLton/mlton/commit/41f7dd95ce40530ac7d04028e16c6e86be696ca6 Author: Matthew Fluet <mat...@gm...> Date: 2014-07-14 (Mon, 14 Jul 2014) Changed paths: M benchmark/main.sml Log Message: ----------- Proper benchmark output for repeated '-mlton' arguments. The code to display the benchmark output would index the benchmark data by the "compiler" field (which, for "-mlton" arguments, corresponds to the command line). A benchmark test with multiple, identical "-mlton" arguments (for example, to check run-time variance) would generate distinct benchmark data, but improperly display the benchmark data. Instead, index the benchmark data by the "abbrv" field (which, even for identical "-mlton" arguments, will be distinct). Commit: b043caa083963342a8dcee7ef89519ca29876c63 https://github.com/MLton/mlton/commit/b043caa083963342a8dcee7ef89519ca29876c63 Author: Matthew Fluet <mat...@gm...> Date: 2014-07-14 (Mon, 14 Jul 2014) Changed paths: M benchmark/main.sml M benchmark/update-counts.sh Log Message: ----------- Update benchmark iteration counts. Increase the benchmark iteration counts so that all benchmarks run for at least 30 seconds (for amd64-linux on an "Intel(R) Core(TM) i5-3570K CPU @ 3.40GHz"). Commit: 55b8664f4e4c80f7e528995a28d7698fcfc9eead https://github.com/MLton/mlton/commit/55b8664f4e4c80f7e528995a28d7698fcfc9eead Author: Matthew Fluet <mat...@gm...> Date: 2014-07-14 (Mon, 14 Jul 2014) Changed paths: M benchmark/Makefile M benchmark/main.sml M benchmark/tests/.gitignore A benchmark/tests/even-odd.sml M benchmark/tests/peek.sml A benchmark/update-counts.sh Log Message: ----------- Merge pull request #70 from MatthewFluet/benchmark-infrastructure Updates to benchmark infrastructure. Highlights: * Add `even-odd.sml` benchmark that exercises mutual tail recursion. * Add `update-counts.sh` script to calculate appropriate benchmark iteration counts and update benchmark iteration counts so that all benchmarks run for at least 30 seconds. * Updates to benchmark driver program. Compare: https://github.com/MLton/mlton/compare/775a2d30ebdd...55b8664f4e4c |
|
From: GitHub <no...@gi...> - 2014-07-08 01:59:35
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 2295837dadb5e080d07af8ca1e3587b08c8a5d64 https://github.com/MLton/mlton/commit/2295837dadb5e080d07af8ca1e3587b08c8a5d64 Author: Robert J. Simmons <rob...@gm...> Date: 2014-07-07 (Mon, 07 Jul 2014) Changed paths: M doc/guide/src/MLtonIntInf.adoc Log Message: ----------- Correct type of fromRep, description of use fromRep actually returns an option type, as described in issue #65 the modified specification isn't always correct but the discussion there indicates this is actually the intended behavior. Commit: 775a2d30ebdd68e5ff47ece0f654cbe3b6a6be32 https://github.com/MLton/mlton/commit/775a2d30ebdd68e5ff47ece0f654cbe3b6a6be32 Author: Matthew Fluet <mat...@gm...> Date: 2014-07-07 (Mon, 07 Jul 2014) Changed paths: M doc/guide/src/MLtonIntInf.adoc Log Message: ----------- Merge pull request #67 from robsimmons/patch-1 Correct type and description of MLton.IntInf.fromRep. Compare: https://github.com/MLton/mlton/compare/1a52af5e0004...775a2d30ebdd |
|
From: GitHub <no...@gi...> - 2014-07-07 16:36:57
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 7e6d693056c9d32ece8ef8f8da56c9a4ed6f8cbd https://github.com/MLton/mlton/commit/7e6d693056c9d32ece8ef8f8da56c9a4ed6f8cbd Author: Rob Simmons <rob...@gm...> Date: 2014-07-06 (Sun, 06 Jul 2014) Changed paths: M basis-library/integer/int-inf.sml M basis-library/integer/int-inf0.sml Log Message: ----------- Remove dependency on the Prim int-inf0 structure so that int-inf.sml need not depend on the specifics of representation. The resulting sign function is potentially slower; a faster sign function could be added to int-inf0.sml at the cost of exposing the default integer to int-inf0. Commit: 8453c39ff1fb788c650fd424f4c968a34f401d9d https://github.com/MLton/mlton/commit/8453c39ff1fb788c650fd424f4c968a34f401d9d Author: Rob Simmons <rob...@gm...> Date: 2014-07-06 (Sun, 06 Jul 2014) Changed paths: R basis-library/integer/int-inf1.sml Log Message: ----------- Remove what appears to be dead code since the 64-bit refactor, int-inf1 Commit: 1a52af5e000499a295ca6254f018639e49129d86 https://github.com/MLton/mlton/commit/1a52af5e000499a295ca6254f018639e49129d86 Author: Matthew Fluet <mat...@gm...> Date: 2014-07-07 (Mon, 07 Jul 2014) Changed paths: M basis-library/integer/int-inf.sml M basis-library/integer/int-inf0.sml R basis-library/integer/int-inf1.sml Log Message: ----------- Merge pull request #66 from robsimmons/intinf-mod Changes intended to reduce dependency of `basis-library/integer/int-inf.sml` on GMP-specific details of `basis-library/integer/int-inf0.sml`. Compare: https://github.com/MLton/mlton/compare/58865dc96021...1a52af5e0004 |
|
From: GitHub <no...@gi...> - 2014-07-01 17:20:57
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 20a59d8eff01a81476413b7b0bfc4e75ea243a01 https://github.com/MLton/mlton/commit/20a59d8eff01a81476413b7b0bfc4e75ea243a01 Author: Matthew Fluet <mat...@gm...> Date: 2014-07-01 (Tue, 01 Jul 2014) Changed paths: A doc/guide/src/CCodegen.adoc R doc/guide/src/Ccodegen.adoc R doc/guide/src/LLVCodegen.txt A doc/guide/src/LLVMCodegen.adoc Log Message: ----------- Fix names of CCodegen and LLVMCodegen pages. Commit: 58865dc960211ee6d4136c43093c9d25ffeb0669 https://github.com/MLton/mlton/commit/58865dc960211ee6d4136c43093c9d25ffeb0669 Author: Matthew Fluet <mat...@gm...> Date: 2014-07-01 (Tue, 01 Jul 2014) Changed paths: A doc/guide/src/CCodegen.adoc R doc/guide/src/Ccodegen.adoc R doc/guide/src/LLVCodegen.txt A doc/guide/src/LLVMCodegen.adoc Log Message: ----------- Merge pull request #63 from MatthewFluet/guide-updates Fix names of CCodegen and LLVMCodegen pages. Compare: https://github.com/MLton/mlton/compare/bf36a151a4b0...58865dc96021 |
|
From: GitHub <no...@gi...> - 2014-07-01 16:48:15
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: a459d638ab30a7677c4d9f5f9d8168d24912b033 https://github.com/MLton/mlton/commit/a459d638ab30a7677c4d9f5f9d8168d24912b033 Author: Brian Leibig <bri...@gm...> Date: 2013-03-20 (Wed, 20 Mar 2013) Changed paths: M basis-library/primitive/prim-mlton.sml A mlton/codegen/llvm-codegen/llvm-codegen.fun A mlton/codegen/llvm-codegen/llvm-codegen.sig A mlton/codegen/llvm-codegen/sources.cm A mlton/codegen/llvm-codegen/sources.mlb M mlton/codegen/sources.cm M mlton/codegen/sources.mlb 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/compile.sig M mlton/main/lookup-constant.fun M mlton/main/main.fun Log Message: ----------- Initial llvm support Commit: 875b115bf1357ed03bdbaf0e53b9310fb094445b https://github.com/MLton/mlton/commit/875b115bf1357ed03bdbaf0e53b9310fb094445b Author: Brian Leibig <bri...@gm...> Date: 2013-03-20 (Wed, 20 Mar 2013) Changed paths: M mlton/codegen/llvm-codegen/llvm-codegen.fun Log Message: ----------- Implement basic LLVM codegen Commit: bb7918ce1526a9f848dcf9671066b20a4431b4f9 https://github.com/MLton/mlton/commit/bb7918ce1526a9f848dcf9671066b20a4431b4f9 Author: Brian Leibig <bri...@gm...> Date: 2013-03-25 (Mon, 25 Mar 2013) Changed paths: M mlton/codegen/llvm-codegen/llvm-codegen.fun M mlton/main/main.fun Log Message: ----------- LLVM codegen produces output acceptable for llc Commit: 1b82602cb4a13968f0cf46d0c6e229acea84d669 https://github.com/MLton/mlton/commit/1b82602cb4a13968f0cf46d0c6e229acea84d669 Author: Brian Leibig <bri...@gm...> Date: 2013-03-25 (Mon, 25 Mar 2013) Changed paths: M mlton/codegen/llvm-codegen/llvm-codegen.fun M mlton/main/main.fun Log Message: ----------- LLVM output now assembles and links Commit: 8a470e0d865a6fe6bee7310701dac82b55b89e9f https://github.com/MLton/mlton/commit/8a470e0d865a6fe6bee7310701dac82b55b89e9f Author: Brian Leibig <bri...@gm...> Date: 2013-03-25 (Mon, 25 Mar 2013) Changed paths: M mlton/codegen/llvm-codegen/llvm-codegen.fun Log Message: ----------- Refactor some instruction creation functions Commit: c176cd89a915affb509f2720065d3b5d9ca39ef1 https://github.com/MLton/mlton/commit/c176cd89a915affb509f2720065d3b5d9ca39ef1 Author: Brian Leibig <bri...@gm...> Date: 2013-04-01 (Mon, 01 Apr 2013) Changed paths: M mlton/codegen/llvm-codegen/llvm-codegen.fun Log Message: ----------- Add some global declaration and initialization code Commit: 1193274f2e4443cb5f4a8a1ecc854d2620156f8e https://github.com/MLton/mlton/commit/1193274f2e4443cb5f4a8a1ecc854d2620156f8e Author: Brian Leibig <bri...@gm...> Date: 2013-04-08 (Mon, 08 Apr 2013) Changed paths: M include/c-chunk.h M include/c-common.h M mlton/codegen/llvm-codegen/llvm-codegen.fun M mlton/codegen/llvm-codegen/llvm-codegen.sig M mlton/codegen/llvm-codegen/sources.cm M mlton/codegen/llvm-codegen/sources.mlb M mlton/main/compile.fun M mlton/main/main.fun Log Message: ----------- Make LLVM codegen work with C backend's declarations Commit: 651f8386c5addc2f2d3e21e40505f9d60c5a3048 https://github.com/MLton/mlton/commit/651f8386c5addc2f2d3e21e40505f9d60c5a3048 Author: Brian Leibig <bri...@gm...> Date: 2013-04-16 (Tue, 16 Apr 2013) Changed paths: M mlton/codegen/llvm-codegen/llvm-codegen.fun Log Message: ----------- Add code for calling C functions Commit: ed68514f77589a408c16e712e6e22ea0e6857580 https://github.com/MLton/mlton/commit/ed68514f77589a408c16e712e6e22ea0e6857580 Author: Brian Leibig <bri...@gm...> Date: 2013-04-17 (Wed, 17 Apr 2013) Changed paths: M mlton/codegen/llvm-codegen/llvm-codegen.fun Log Message: ----------- Remove dead code Commit: 3a3e9873882c342a01cb676071a83ff9a1e8f5c3 https://github.com/MLton/mlton/commit/3a3e9873882c342a01cb676071a83ff9a1e8f5c3 Author: Brian Leibig <bri...@gm...> Date: 2013-04-18 (Thu, 18 Apr 2013) Changed paths: M mlton/codegen/llvm-codegen/llvm-codegen.fun Log Message: ----------- Add code for pushing/popping the stack Commit: 12288b04fa7318eb63a0a7bf2e77f8528d4fab44 https://github.com/MLton/mlton/commit/12288b04fa7318eb63a0a7bf2e77f8528d4fab44 Author: Brian Leibig <bri...@gm...> Date: 2013-04-18 (Thu, 18 Apr 2013) Changed paths: M mlton/codegen/llvm-codegen/llvm-codegen.fun Log Message: ----------- Rename some operations, add helper functions for making gep, load, store and alloca instructions Commit: 17ba6ab965712b568bf5634ebbd15debd9d807a1 https://github.com/MLton/mlton/commit/17ba6ab965712b568bf5634ebbd15debd9d807a1 Author: Brian Leibig <bri...@gm...> Date: 2013-04-24 (Wed, 24 Apr 2013) Changed paths: M mlton/codegen/llvm-codegen/llvm-codegen.fun Log Message: ----------- Use mkgep helper function Commit: c4f97441cace677b650463564542968cb657b2ab https://github.com/MLton/mlton/commit/c4f97441cace677b650463564542968cb657b2ab Author: Brian Leibig <bri...@gm...> Date: 2013-04-24 (Wed, 24 Apr 2013) Changed paths: M mlton/codegen/llvm-codegen/llvm-codegen.fun Log Message: ----------- changes to getOperand, better portability for pointer arithmetic operations Commit: a0c113a5f0823220b189057254e865b55d07e08b https://github.com/MLton/mlton/commit/a0c113a5f0823220b189057254e865b55d07e08b Author: Brian Leibig <bri...@gm...> Date: 2013-04-25 (Thu, 25 Apr 2013) Changed paths: M mlton/codegen/llvm-codegen/llvm-codegen.fun Log Message: ----------- Fix getOperand issues Commit: 8e6da25c94d8bb4c85e8df0a4c5eea8f1d9f0171 https://github.com/MLton/mlton/commit/8e6da25c94d8bb4c85e8df0a4c5eea8f1d9f0171 Author: Brian Leibig <bri...@gm...> Date: 2013-04-25 (Thu, 25 Apr 2013) Changed paths: M mlton/codegen/llvm-codegen/llvm-codegen.fun Log Message: ----------- Fix issue with array offset operands Commit: d8a77750327dfe27a908068f5fc348d20c32e147 https://github.com/MLton/mlton/commit/d8a77750327dfe27a908068f5fc348d20c32e147 Author: Brian Leibig <bri...@gm...> Date: 2013-04-30 (Tue, 30 Apr 2013) Changed paths: M mlton/codegen/llvm-codegen/llvm-codegen.fun Log Message: ----------- Many fixes and completions Commit: c700fa82eaa2f8677a515175c8c721aa79d91b66 https://github.com/MLton/mlton/commit/c700fa82eaa2f8677a515175c8c721aa79d91b66 Author: Brian Leibig <bri...@gm...> Date: 2013-05-06 (Mon, 06 May 2013) Changed paths: M mlton/codegen/llvm-codegen/llvm-codegen.fun Log Message: ----------- Modify creation of context, fix return address saving in CCall Commit: b5752ae81356c216de2edcb4fc51845a3f0db187 https://github.com/MLton/mlton/commit/b5752ae81356c216de2edcb4fc51845a3f0db187 Author: Brian Leibig <bri...@gm...> Date: 2013-06-03 (Mon, 03 Jun 2013) Changed paths: M basis-library/primitive/prim-mlton.sml M mlton/codegen/llvm-codegen/llvm-codegen.fun Log Message: ----------- Codegen fixes Commit: 320e4d233dcdcb6d3cb5f54daf9caba08edc2120 https://github.com/MLton/mlton/commit/320e4d233dcdcb6d3cb5f54daf9caba08edc2120 Author: Brian Leibig <bri...@gm...> Date: 2013-06-05 (Wed, 05 Jun 2013) Changed paths: M Makefile M mlton/codegen/llvm-codegen/llvm-codegen.fun Log Message: ----------- Codegen fixes for pointer equality Commit: fe4bfcf15ae14596a86b3a7226fee02c1875364a https://github.com/MLton/mlton/commit/fe4bfcf15ae14596a86b3a7226fee02c1875364a Author: Brian Leibig <bri...@gm...> Date: 2013-06-06 (Thu, 06 Jun 2013) Changed paths: M mlton/codegen/llvm-codegen/llvm-codegen.fun Log Message: ----------- Fixes for real comparisons, rotates, and undefined llvm intrinsics Commit: 644df8419d9450537ef89eb83b0bc142117c3d16 https://github.com/MLton/mlton/commit/644df8419d9450537ef89eb83b0bc142117c3d16 Author: Brian Leibig <bri...@gm...> Date: 2013-06-06 (Thu, 06 Jun 2013) Changed paths: M mlton/codegen/llvm-codegen/llvm-codegen.fun Log Message: ----------- Remove unused code Commit: f16e914344691e7e86203eb2fb7ed86693191d48 https://github.com/MLton/mlton/commit/f16e914344691e7e86203eb2fb7ed86693191d48 Author: Brian Leibig <bri...@gm...> Date: 2013-06-06 (Thu, 06 Jun 2013) Changed paths: M mlton/codegen/llvm-codegen/llvm-codegen.fun Log Message: ----------- Move debuging print variables into the context Commit: 32fceb5f577aeff6d6a3a184fc8bd54e63845283 https://github.com/MLton/mlton/commit/32fceb5f577aeff6d6a3a184fc8bd54e63845283 Author: Brian Leibig <bri...@gm...> Date: 2013-06-12 (Wed, 12 Jun 2013) Changed paths: M mlton/backend/backend.fun M mlton/codegen/llvm-codegen/llvm-codegen.fun Log Message: ----------- Support FFI symbols, fix muladd operation Commit: 8e86df2837738a2b04f94f7685d91c56ab0bf56d https://github.com/MLton/mlton/commit/8e86df2837738a2b04f94f7685d91c56ab0bf56d Author: Brian Leibig <bri...@gm...> Date: 2013-06-13 (Thu, 13 Jun 2013) Changed paths: M mlton/codegen/llvm-codegen/llvm-codegen.fun Log Message: ----------- Fix operation order in ccall Commit: 25eb5632d0846b72241aeeba61544e3e4afa7a5f https://github.com/MLton/mlton/commit/25eb5632d0846b72241aeeba61544e3e4afa7a5f Author: Brian Leibig <bri...@gm...> Date: 2013-06-14 (Fri, 14 Jun 2013) Changed paths: M mlton/codegen/llvm-codegen/llvm-codegen.fun Log Message: ----------- Fix computation of frameIndex, formatting changes Commit: 7fd252e1c07725811c71ed233ea17a2dae40b65b https://github.com/MLton/mlton/commit/7fd252e1c07725811c71ed233ea17a2dae40b65b Author: Brian Leibig <bri...@gm...> Date: 2013-06-17 (Mon, 17 Jun 2013) Changed paths: M mlton/backend/backend.fun M mlton/codegen/llvm-codegen/llvm-codegen.fun Log Message: ----------- Fix labelToStringIndex computation for llvm codegen Commit: 4a1d02c957fa34d3d80aae90cd85458bc6c6305a https://github.com/MLton/mlton/commit/4a1d02c957fa34d3d80aae90cd85458bc6c6305a Author: Brian Leibig <bri...@gm...> Date: 2013-06-19 (Wed, 19 Jun 2013) Changed paths: M mlton/codegen/llvm-codegen/llvm-codegen.fun Log Message: ----------- De-alloca-tion: Rewrite getOperand to eliminate use of 'alloca' instructions getOperand is now split into two functions: getOperandAddr which works like the old getOperand by returning a pointer containing the address of the operand, and getOperandValue which loads the operand if it is a memory location, or just returns a literal or variable if not. Code that called getOperand has been rewritten as well. Commit: 085eaf6daa709c07995cf4d6bd632304de9fe410 https://github.com/MLton/mlton/commit/085eaf6daa709c07995cf4d6bd632304de9fe410 Author: Brian Leibig <bri...@gm...> Date: 2013-06-22 (Sat, 22 Jun 2013) Changed paths: M bin/regression M mlton/codegen/llvm-codegen/llvm-codegen.fun Log Message: ----------- Make register names more unique to avoid name conflicts Commit: d33d2de9eee4c1850419347d67334e94d1eb9ae0 https://github.com/MLton/mlton/commit/d33d2de9eee4c1850419347d67334e94d1eb9ae0 Author: Brian Leibig <bri...@gm...> Date: 2013-06-24 (Mon, 24 Jun 2013) Changed paths: M mlton/main/main.fun Log Message: ----------- Change how llc is called, add option to choose executable Commit: af87b6d9d71c4ac7b227c77baa4ed1d94071810d https://github.com/MLton/mlton/commit/af87b6d9d71c4ac7b227c77baa4ed1d94071810d Author: Brian Leibig <bri...@gm...> Date: 2013-06-24 (Mon, 24 Jun 2013) Changed paths: M mlton/codegen/llvm-codegen/llvm-codegen.fun Log Message: ----------- Remove and clean up unnecessary declarations Commit: 4ee1486ba6fe01feab3bffca61d4c9cb161fcd3d https://github.com/MLton/mlton/commit/4ee1486ba6fe01feab3bffca61d4c9cb161fcd3d Author: Brian Leibig <bri...@gm...> Date: 2013-06-25 (Tue, 25 Jun 2013) Changed paths: M mlton/codegen/llvm-codegen/llvm-codegen.fun Log Message: ----------- Fixes when compiling to multiple chunks Commit: dcdcb6275d60bf76a37cce5b3b458c8a503fa633 https://github.com/MLton/mlton/commit/dcdcb6275d60bf76a37cce5b3b458c8a503fa633 Author: Brian Leibig <bri...@gm...> Date: 2013-06-29 (Sat, 29 Jun 2013) Changed paths: M bin/regression M include/c-chunk.h M include/c-common.h M mlton/codegen/llvm-codegen/llvm-codegen.fun Log Message: ----------- Work on support for different -chunkify args in llvm codegen Commit: 1f65a8976763bdd2227a325a59127c39aa0162a3 https://github.com/MLton/mlton/commit/1f65a8976763bdd2227a325a59127c39aa0162a3 Author: Brian Leibig <bri...@gm...> Date: 2013-06-29 (Sat, 29 Jun 2013) Changed paths: M mlton/codegen/llvm-codegen/sources.cm M mlton/codegen/llvm-codegen/sources.mlb Log Message: ----------- Remove unused signature warning Commit: e6f3eb514bfca845a26efc2ce008306a48358c2c https://github.com/MLton/mlton/commit/e6f3eb514bfca845a26efc2ce008306a48358c2c Author: Brian Leibig <bri...@gm...> Date: 2013-06-29 (Sat, 29 Jun 2013) Changed paths: M mlton/codegen/llvm-codegen/llvm-codegen.fun Log Message: ----------- Rewrite switch to use br when appropriate Commit: aaad62924969a1828279495683470697e1332510 https://github.com/MLton/mlton/commit/aaad62924969a1828279495683470697e1332510 Author: Brian Leibig <bri...@gm...> Date: 2013-06-29 (Sat, 29 Jun 2013) Changed paths: M mlton/codegen/llvm-codegen/llvm-codegen.fun Log Message: ----------- Remove unreachable block Commit: 2290a85fbc6b846937cf3876fe00451a4c51e76c https://github.com/MLton/mlton/commit/2290a85fbc6b846937cf3876fe00451a4c51e76c Author: Brian Leibig <bri...@gm...> Date: 2013-06-30 (Sun, 30 Jun 2013) Changed paths: M mlton/codegen/llvm-codegen/llvm-codegen.fun Log Message: ----------- Reorganize and clean up llvm codegen Commit: fe2718df0141e383b7dd12dacc42afe45f2ed718 https://github.com/MLton/mlton/commit/fe2718df0141e383b7dd12dacc42afe45f2ed718 Author: Brian Leibig <bri...@gm...> Date: 2013-07-17 (Wed, 17 Jul 2013) Changed paths: M mlton/codegen/llvm-codegen/llvm-codegen.fun Log Message: ----------- Fix pointer/word size computation Commit: 03d5f98c1bff18941d42b9199142bfef7ca11da3 https://github.com/MLton/mlton/commit/03d5f98c1bff18941d42b9199142bfef7ca11da3 Author: Brian Leibig <bri...@gm...> Date: 2013-07-17 (Wed, 17 Jul 2013) Changed paths: M mlton/main/main.fun Log Message: ----------- Remove -llc option, optimize llvm-codegen module with opt Commit: 00f5a5f017c903eea1fcf6ad81eedfb1850b65cb https://github.com/MLton/mlton/commit/00f5a5f017c903eea1fcf6ad81eedfb1850b65cb Author: Matthew Fluet <mat...@gm...> Date: 2013-07-19 (Fri, 19 Jul 2013) Changed paths: M mlton/codegen/llvm-codegen/llvm-codegen.fun Log Message: ----------- Fixes for compilation with SML/NJ. Commit: c7581ad4998e5648e6c0440050229fb376a46f6c https://github.com/MLton/mlton/commit/c7581ad4998e5648e6c0440050229fb376a46f6c Author: Matthew Fluet <mat...@gm...> Date: 2013-07-19 (Fri, 19 Jul 2013) Changed paths: M bin/regression Log Message: ----------- Drop extra flags from bin/regression script. Commit: 4ed7bcf94b484520cd655c1a97917c98e5c13e81 https://github.com/MLton/mlton/commit/4ed7bcf94b484520cd655c1a97917c98e5c13e81 Author: Matthew Fluet <mat...@gm...> Date: 2013-07-19 (Fri, 19 Jul 2013) Changed paths: M mlton/codegen/llvm-codegen/llvm-codegen.fun Log Message: ----------- Preliminary support for amd64 architecture with llvm codegen. Array indexing on a 64-bit platform is done with 64-bit arithmetic, which necessitated a change to the 'mkgep' function to take the size of the offsets. CPointer_toWord and CPointer_fromWord should bitcast with %uintptr_t (alias of %Word32/i32 on 32-bit platforms and %Word64/i64 on 64-bit platforms). With these changes, all regressions except for exn-history{,3} pass with the llvm codegen on amd64-darwin. Commit: 1837f2f2361025120cb234a59015d64bdb5b228a https://github.com/MLton/mlton/commit/1837f2f2361025120cb234a59015d64bdb5b228a Author: Brian Leibig <bri...@gm...> Date: 2013-07-19 (Fri, 19 Jul 2013) Changed paths: M bin/regression M mlton/codegen/llvm-codegen/llvm-codegen.fun Log Message: ----------- Merge pull request #1 from MatthewFluet/llvm LLVM codegen updates Commit: cd2205bc9003b729be3f4860aac312877268a04f https://github.com/MLton/mlton/commit/cd2205bc9003b729be3f4860aac312877268a04f Author: Brian Leibig <bri...@gm...> Date: 2013-07-19 (Fri, 19 Jul 2013) Changed paths: A .gitignore R .gitignore R .ignore M Makefile R basis-library/.gitignore A basis-library/.gitignore R basis-library/.ignore M basis-library/Makefile M basis-library/arrays-and-vectors/sequence.fun M basis-library/build/sources.mlb M basis-library/integer/int-inf.sml M basis-library/integer/int-inf0.sml M basis-library/integer/word.sml M basis-library/io/imperative-io.fun M basis-library/io/stream-io.fun A basis-library/libs/basis-2002/top-level/.gitignore R basis-library/libs/basis-2002/top-level/.gitignore R basis-library/libs/basis-2002/top-level/.ignore M basis-library/libs/basis-extra/top-level/basis-sigs.sml M basis-library/mlton.mlb M basis-library/mlton/mlton.sig M basis-library/mlton/mlton.sml M basis-library/mlton/platform.sig M basis-library/mlton/platform.sml R basis-library/mlton/socket.sig R basis-library/mlton/socket.sml M basis-library/net/socket.sml M basis-library/primitive/basis-ffi.sml M basis-library/primitive/check-real.sml M basis-library/primitive/prim-mlton.sml M basis-library/primitive/prim-real.sml M basis-library/real/real.sig M basis-library/real/real.sml M basis-library/system/file-sys.sml M basis-library/system/io.sml A benchmark/.gitignore R benchmark/.gitignore R benchmark/.ignore R benchmark/tests/.gitignore A benchmark/tests/.gitignore R benchmark/tests/.ignore R benchmark/tests/DATA/.gitignore A benchmark/tests/DATA/.gitignore R benchmark/tests/DATA/.ignore M bin/add-cross M bin/clean R bin/grab-wiki A bin/ls-ignore R bin/make-pdf-guide M bin/mlton-script M bin/platform M bin/regression R bin/sync-ignore M doc/changelog R doc/examples/ffi/.gitignore A doc/examples/ffi/.gitignore R doc/examples/ffi/.ignore A doc/examples/finalizable/.gitignore R doc/examples/finalizable/.gitignore R doc/examples/finalizable/.ignore R doc/examples/profiling/.gitignore A doc/examples/profiling/.gitignore R doc/examples/profiling/.ignore A doc/examples/save-world/.gitignore R doc/examples/save-world/.gitignore R doc/examples/save-world/.ignore A doc/guide/.gitignore R doc/guide/.gitignore R doc/guide/.ignore R doc/guide/AST R doc/guide/AccessControl R doc/guide/AdamGoode R doc/guide/AdmitsEquality R doc/guide/Alice R doc/guide/AllocateRegisters R doc/guide/AndreiFormiga R doc/guide/ArrayLiteral R doc/guide/BasisLibrary R doc/guide/Bug R doc/guide/Bugs20041109 R doc/guide/Bugs20051202 R doc/guide/Bugs20070826 R doc/guide/Bugs20100608 R doc/guide/CKitLibrary R doc/guide/CMinusMinus R doc/guide/CallGraph R doc/guide/CallingFromCToSML R doc/guide/CallingFromSMLToC R doc/guide/CallingFromSMLToCFunctionPointer R doc/guide/Changelog R doc/guide/ChrisClearwater R doc/guide/Chunkify R doc/guide/Closure R doc/guide/ClosureConvert R doc/guide/CombineConversions R doc/guide/CommonArg R doc/guide/CommonBlock R doc/guide/CommonSubexp R doc/guide/CompilationManager R doc/guide/CompileTimeOptions R doc/guide/CompilerOverview R doc/guide/CompilerPassTemplate R doc/guide/CompilingWithSMLNJ R doc/guide/ConcurrentML R doc/guide/ConcurrentMLImplementation R doc/guide/ConstantPropagation R doc/guide/Contact R doc/guide/Contify R doc/guide/CoreML R doc/guide/CoreMLSimplify R doc/guide/CreatingPages R doc/guide/Credits R doc/guide/CrossCompiling R doc/guide/DeadCode R doc/guide/DeepFlatten R doc/guide/DefineTypeBeforeUse R doc/guide/DefinitionOfStandardML R doc/guide/Defunctorize R doc/guide/Developers R doc/guide/Development R doc/guide/Documentation R doc/guide/Drawbacks R doc/guide/Eclipse R doc/guide/EditingPages R doc/guide/Elaborate R doc/guide/Emacs R doc/guide/EmacsBgBuildMode R doc/guide/EmacsDefUseMode R doc/guide/Enscript R doc/guide/EqualityType R doc/guide/EqualityTypeVariable R doc/guide/EtaExpansion R doc/guide/FAQ R doc/guide/FSharp R doc/guide/Features R doc/guide/FirstClassPolymorphism R doc/guide/Fixpoints R doc/guide/Flatten R doc/guide/Fold R doc/guide/Fold01N R doc/guide/ForLoops R doc/guide/ForeignFunctionInterface R doc/guide/ForeignFunctionInterfaceSyntax R doc/guide/ForeignFunctionInterfaceTypes R doc/guide/FrontEnd R doc/guide/FunctionalRecordUpdate R doc/guide/GarbageCollection R doc/guide/GenerativeDatatype R doc/guide/GenerativeException R doc/guide/Glade R doc/guide/Globalize R doc/guide/GnuMP R doc/guide/HaMLet R doc/guide/HenryCejtin R doc/guide/History R doc/guide/Home R doc/guide/HowProfilingWorks R doc/guide/HowToAttachFile R doc/guide/Identifier R doc/guide/Immutable R doc/guide/ImperativeTypeVariable R doc/guide/ImplementExceptions R doc/guide/ImplementHandlers R doc/guide/ImplementProfiling R doc/guide/ImplementSuffix R doc/guide/Index R doc/guide/InfixingOperators R doc/guide/Inline R doc/guide/InsertLimitChecks R doc/guide/InsertSignalChecks R doc/guide/Installation R doc/guide/IntermediateLanguage R doc/guide/IntroduceLoops R doc/guide/JesperLouisAndersen R doc/guide/JohnnyAndersen R doc/guide/KnownCase R doc/guide/LLVM R doc/guide/LambdaCalculus R doc/guide/LambdaFree R doc/guide/LanguageChanges R doc/guide/Lazy R doc/guide/Libraries R doc/guide/LibrarySupport R doc/guide/License R doc/guide/LineDirective R doc/guide/LocalFlatten R doc/guide/LocalRef R doc/guide/LoopInvariant R doc/guide/ML R doc/guide/MLBasis R doc/guide/MLBasisAnnotationExamples R doc/guide/MLBasisAnnotations R doc/guide/MLBasisAvailableLibraries R doc/guide/MLBasisExamples R doc/guide/MLBasisPathMap R doc/guide/MLBasisSyntaxAndSemantics R doc/guide/MLKit R doc/guide/MLLex R doc/guide/MLNLFFI R doc/guide/MLNLFFIGen R doc/guide/MLNLFFIImplementation R doc/guide/MLRISCLibrary R doc/guide/MLTONWIKIVERSION R doc/guide/MLYacc R doc/guide/MLj R doc/guide/MLmon R doc/guide/MLtonArray R doc/guide/MLtonBinIO R doc/guide/MLtonCont R doc/guide/MLtonContIsolateImplementation R doc/guide/MLtonExn R doc/guide/MLtonFinalizable R doc/guide/MLtonGC R doc/guide/MLtonIO R doc/guide/MLtonIntInf R doc/guide/MLtonItimer R doc/guide/MLtonMonoArray R doc/guide/MLtonMonoVector R doc/guide/MLtonPlatform R doc/guide/MLtonPointer R doc/guide/MLtonProcEnv R doc/guide/MLtonProcess R doc/guide/MLtonProfile R doc/guide/MLtonRandom R doc/guide/MLtonReal R doc/guide/MLtonRlimit R doc/guide/MLtonRusage R doc/guide/MLtonSignal R doc/guide/MLtonSocket R doc/guide/MLtonStructure R doc/guide/MLtonSyslog R doc/guide/MLtonTextIO R doc/guide/MLtonThread R doc/guide/MLtonVector R doc/guide/MLtonWeak R doc/guide/MLtonWord R doc/guide/MLtonWorld R doc/guide/Machine A doc/guide/Makefile R doc/guide/ManualPage R doc/guide/MatchCompilation R doc/guide/MatchCompile R doc/guide/MatthewFluet R doc/guide/MichaelNorrish R doc/guide/MikeThomas R doc/guide/MoinMoin R doc/guide/Monomorphise R doc/guide/MoscowML R doc/guide/Multi R doc/guide/Mutable R doc/guide/NeedsReview R doc/guide/NumericLiteral R doc/guide/OCaml R doc/guide/ObjectOrientedProgramming R doc/guide/OpenGL R doc/guide/OperatorPrecedence R doc/guide/OptionalArguments R doc/guide/OrphanedPages R doc/guide/OtherSites R doc/guide/Overloading R doc/guide/PackedRepresentation R doc/guide/PageSize R doc/guide/ParallelMove R doc/guide/Performance R doc/guide/PhantomType R doc/guide/PlatformSpecificNotes R doc/guide/PolyEqual R doc/guide/PolyHash R doc/guide/PolyML R doc/guide/PolymorphicEquality R doc/guide/Polyvariance R doc/guide/Poplog R doc/guide/PortingMLton R doc/guide/PrecedenceParse R doc/guide/Printf R doc/guide/PrintfGentle R doc/guide/ProductType R doc/guide/Profiling R doc/guide/ProfilingAllocation R doc/guide/ProfilingCounts R doc/guide/ProfilingTheStack R doc/guide/ProfilingTime R doc/guide/Projects R doc/guide/Pronounce R doc/guide/PropertyList R doc/guide/RSSA R doc/guide/RSSAShrink R doc/guide/RSSASimplify R doc/guide/RayRacine R doc/guide/Reachability R doc/guide/Redundant R doc/guide/RedundantTests R doc/guide/RefFlatten R doc/guide/References R doc/guide/Regions R doc/guide/Release20041109 R doc/guide/Release20051202 R doc/guide/Release20070826 R doc/guide/Release20100608 R doc/guide/ReleaseChecklist R doc/guide/RemoveUnused Log Message: ----------- Merge branch 'master' into llvm Merge in all changes up to 20130715 release Commit: 73679846761a405b75513202b9cb26f1c9319444 https://github.com/MLton/mlton/commit/73679846761a405b75513202b9cb26f1c9319444 Author: Matthew Fluet <mat...@gm...> Date: 2013-07-20 (Sat, 20 Jul 2013) Changed paths: M mlton/main/main.fun Log Message: ----------- Delete temporary .bc files at conclusion of compilation. Commit: 30a0044f45a174a8f828855a6769f9c8b3fa9bc7 https://github.com/MLton/mlton/commit/30a0044f45a174a8f828855a6769f9c8b3fa9bc7 Author: Matthew Fluet <mat...@gm...> Date: 2013-07-21 (Sun, 21 Jul 2013) Changed paths: M mlton/codegen/llvm-codegen/llvm-codegen.fun Log Message: ----------- Output declarations with original program's 'profileInfo'. This fixes exn-history{,2} regression tests with the LLVM codegen. Commit: 1d8eb8fd00dedc1c601057971b491bd492150288 https://github.com/MLton/mlton/commit/1d8eb8fd00dedc1c601057971b491bd492150288 Author: Matthew Fluet <mat...@gm...> Date: 2013-07-22 (Mon, 22 Jul 2013) Changed paths: M mlton/codegen/llvm-codegen/llvm-codegen.fun Log Message: ----------- Implement 'Word_mulCheck' in LLVM codegen. Intrinsics for '@llvm.{u,s}mul.with.overflows.i{8,16,32,64}' work with LLVM 3.3. Commit: 47b76b090b48d132bf8807d8cebbc40a08efeeb2 https://github.com/MLton/mlton/commit/47b76b090b48d132bf8807d8cebbc40a08efeeb2 Author: Matthew Fluet <mat...@gm...> Date: 2013-07-22 (Mon, 22 Jul 2013) Changed paths: M mlton/codegen/llvm-codegen/llvm-codegen.fun Log Message: ----------- Implement 'Real_mulsub' in LLVM codegen. The 'outputPrim' function already handles 'Real_mulsub'. Commit: 3181132791a9def972e461663b9618ed1dd4113a https://github.com/MLton/mlton/commit/3181132791a9def972e461663b9618ed1dd4113a Author: Matthew Fluet <mat...@gm...> Date: 2013-07-22 (Mon, 22 Jul 2013) Changed paths: M mlton/codegen/llvm-codegen/llvm-codegen.fun Log Message: ----------- Exlicitly handle all primitives marked '(* codegen *)' in 'implementsPrim'. Commit: 047082165c50d01d04654b643dd33075ae3492be https://github.com/MLton/mlton/commit/047082165c50d01d04654b643dd33075ae3492be Author: Matthew Fluet <mat...@gm...> Date: 2013-07-22 (Mon, 22 Jul 2013) Changed paths: M mlton/codegen/llvm-codegen/llvm-codegen.fun Log Message: ----------- Perform cast after load in translation of Machine IL 'Cast' operand. A 'Cast' operand will always be an r-value. Hence, it is appropriate to fetch the sub-operand as a value and cast the result. In particular, this ensures that no Machine IL registers are bitcast (rather, the contents of the registers are bitcast), which in turn allows the 'mem2reg' optimization of LLVM's 'opt' to completely eliminate all 'alloca's that provide storage for Machine IL registers. Commit: dc89f144b1cdf3d70a4faedc31ed6522f0a6e821 https://github.com/MLton/mlton/commit/dc89f144b1cdf3d70a4faedc31ed6522f0a6e821 Author: Matthew Fluet <mat...@gm...> Date: 2013-07-22 (Mon, 22 Jul 2013) Changed paths: M mlton/codegen/llvm-codegen/llvm-codegen.fun M mlton/codegen/llvm-codegen/llvm-codegen.sig M mlton/codegen/llvm-codegen/sources.cm M mlton/codegen/llvm-codegen/sources.mlb Log Message: ----------- Fix whitespace issues. Commit: 8792395b193b07e1e4e307b9d14f517ae1a24434 https://github.com/MLton/mlton/commit/8792395b193b07e1e4e307b9d14f517ae1a24434 Author: Matthew Fluet <mat...@gm...> Date: 2013-07-22 (Mon, 22 Jul 2013) Changed paths: M mlton/codegen/llvm-codegen/llvm-codegen.fun M mlton/codegen/llvm-codegen/llvm-codegen.sig Log Message: ----------- Add Copyright to LLVM codegen files. Commit: 5ad3299eef6c3859bfa37b5d11c4f973968a6b84 https://github.com/MLton/mlton/commit/5ad3299eef6c3859bfa37b5d11c4f973968a6b84 Author: Brian Leibig <bri...@gm...> Date: 2013-07-22 (Mon, 22 Jul 2013) Changed paths: M mlton/codegen/llvm-codegen/llvm-codegen.fun M mlton/codegen/llvm-codegen/llvm-codegen.sig M mlton/codegen/llvm-codegen/sources.cm M mlton/codegen/llvm-codegen/sources.mlb M mlton/main/main.fun Log Message: ----------- Merge pull request #2 from MatthewFluet/llvm Additional LLVM codegen updates Commit: 232f2cab9d00c3400f08b232f50a3a4725f18525 https://github.com/MLton/mlton/commit/232f2cab9d00c3400f08b232f50a3a4725f18525 Author: Matthew Fluet <mat...@gm...> Date: 2013-07-24 (Wed, 24 Jul 2013) Changed paths: M bin/regression Log Message: ----------- Drop extra flags from bin/regression script. Commit: b032209e2f739a55a622a4ef92e909735d6c92c6 https://github.com/MLton/mlton/commit/b032209e2f739a55a622a4ef92e909735d6c92c6 Author: Matthew Fluet <mat...@gm...> Date: 2013-07-24 (Wed, 24 Jul 2013) Changed paths: M mlton/codegen/llvm-codegen/llvm-codegen.fun Log Message: ----------- Conditionally implement 'Word_mulCheck' in LLVM codegen. On x86, '@llvm.smul.with.overflow.i64' becomes a call to __mulodi4 amd '@llvm.umul.with.overflow.i64' becomes a call to __udivdi3. These are provided by the LLVM compiler-rt project (and sometimes by libgcc). In any case, do not depend on non-standard libraries. Commit: 4a66fe35772317e60ad19c8afbd92de51e72ee1d https://github.com/MLton/mlton/commit/4a66fe35772317e60ad19c8afbd92de51e72ee1d Author: Matthew Fluet <mat...@gm...> Date: 2013-07-24 (Wed, 24 Jul 2013) Changed paths: M mlton/codegen/llvm-codegen/llvm-codegen.fun Log Message: ----------- Implement 'Real_muladd' in LLVM codegen. The 'outputPrim' function already handles 'Real_muladd'. Commit: a51117c627d7d6b5300e8c2485a36d0c52f02961 https://github.com/MLton/mlton/commit/a51117c627d7d6b5300e8c2485a36d0c52f02961 Author: Brian Leibig <bri...@gm...> Date: 2013-07-24 (Wed, 24 Jul 2013) Changed paths: M mlton/codegen/llvm-codegen/llvm-codegen.fun Log Message: ----------- Add 'unreachable' instruction after calling a C function that doesn't return Commit: f252b2a2b717c6dddb15eb18a07ae19669b4ecad https://github.com/MLton/mlton/commit/f252b2a2b717c6dddb15eb18a07ae19669b4ecad Author: Brian Leibig <bri...@gm...> Date: 2013-07-25 (Thu, 25 Jul 2013) Changed paths: M bin/regression M mlton/codegen/llvm-codegen/llvm-codegen.fun Log Message: ----------- Merge pull request #3 from MatthewFluet/llvm Additional LLVM codegen updates Commit: 9baf73dcc8ca710d5b7c9e9ebfff37fec12f7982 https://github.com/MLton/mlton/commit/9baf73dcc8ca710d5b7c9e9ebfff37fec12f7982 Author: Matthew Fluet <mat...@gm...> Date: 2014-03-20 (Thu, 20 Mar 2014) Changed paths: M Makefile Log Message: ----------- Drop 'check-llvm' target from Makefile. Commit: 0c2eb1990330d49d047f82664f0bddf9bd0e1d8e https://github.com/MLton/mlton/commit/0c2eb1990330d49d047f82664f0bddf9bd0e1d8e Author: Matthew Fluet <mat...@gm...> Date: 2014-03-20 (Thu, 20 Mar 2014) Changed paths: M basis-library/primitive/prim-mlton.sml M mlton/main/lookup-constant.fun Log Message: ----------- 'MLton_Codegen_codegen' constants reflect implementation order. Commit: a531d2f061da4990f607e1e60583d5a9124ca1b9 https://github.com/MLton/mlton/commit/a531d2f061da4990f607e1e60583d5a9124ca1b9 Author: Matthew Fluet <mat...@gm...> Date: 2014-03-20 (Thu, 20 Mar 2014) Changed paths: M basis-library/primitive/prim-mlton.sml M basis-library/real/real.sml Log Message: ----------- Capitalize and alphabetize codegen constructors. Commit: 827f9ae04ad0cfd95e3f53ad09a13bf58cd3f29e https://github.com/MLton/mlton/commit/827f9ae04ad0cfd95e3f53ad09a13bf58cd3f29e Author: Matthew Fluet <mat...@gm...> Date: 2014-03-20 (Thu, 20 Mar 2014) Changed paths: M mlton/control/control-flags.sig M mlton/control/control-flags.sml M mlton/main/compile.fun M mlton/main/lookup-constant.fun M mlton/main/main.fun Log Message: ----------- Capitalize and alphabetize codegen constructors. Commit: a108ddcbed35fc1f1838900b8e11a7e5a915e6a4 https://github.com/MLton/mlton/commit/a108ddcbed35fc1f1838900b8e11a7e5a915e6a4 Author: Matthew Fluet <mat...@gm...> Date: 2014-03-21 (Fri, 21 Mar 2014) Changed paths: M bin/mlton-script M mlton/main/main.fun Log Message: ----------- Add compile-time options to specify LLVM tools and options. Commit: 4d15d43cede0771d9af8d5e9fecff1cd52b920da https://github.com/MLton/mlton/commit/4d15d43cede0771d9af8d5e9fecff1cd52b920da Author: Matthew Fluet <mat...@gm...> Date: 2014-03-21 (Fri, 21 Mar 2014) Changed paths: M basis-library/real/real.sml M mlton/codegen/llvm-codegen/llvm-codegen.fun Log Message: ----------- Implement 'Real_qequal' in LLVM codegen. The LLVM instruction 'fcmp ueq' performs an unordered or equal comparision. Commit: 9f32dee7d1285ed50131925c7d9d3dae967b6fe8 https://github.com/MLton/mlton/commit/9f32dee7d1285ed50131925c7d9d3dae967b6fe8 Author: Matthew Fluet <mat...@gm...> Date: 2014-03-21 (Fri, 21 Mar 2014) Changed paths: M mlton/codegen/llvm-codegen/sources.cm M mlton/codegen/llvm-codegen/sources.mlb Log Message: ----------- Add Copyright to LLVM codegen files. Commit: 4f8db4b6f9d6d5bce66a697cfec02dc64d6c3627 https://github.com/MLton/mlton/commit/4f8db4b6f9d6d5bce66a697cfec02dc64d6c3627 Author: Matthew Fluet <mat...@gm...> Date: 2014-03-21 (Fri, 21 Mar 2014) Changed paths: M mlton/main/main.fun Log Message: ----------- Default chunkify strategy of LLVM codegen to 'coalesce 4096'. It seems to make more sense for the LLVM codegen to use the same chunkify strategy as the C codegen, in order to reduce compile time on larger projects. Commit: 33672e271378dc2df0659cedd57d0430b7ff93ad https://github.com/MLton/mlton/commit/33672e271378dc2df0659cedd57d0430b7ff93ad Author: Matthew Fluet <mat...@gm...> Date: 2014-03-22 (Sat, 22 Mar 2014) Changed paths: M man/mlton.1 Log Message: ----------- Document compile-time options to specify LLVM options in mlton.1. Commit: 75d783a0868d2a1339b1781a009acce003b4ec6d https://github.com/MLton/mlton/commit/75d783a0868d2a1339b1781a009acce003b4ec6d Author: Matthew Fluet <mat...@gm...> Date: 2014-03-22 (Sat, 22 Mar 2014) Changed paths: M doc/guide/txt/CompileTimeOptions.txt Log Message: ----------- Document compile-time options to specify LLVM options in guide. Commit: 0a33f66e720b58fd1947936880b50e000c270e4c https://github.com/MLton/mlton/commit/0a33f66e720b58fd1947936880b50e000c270e4c Author: Matthew Fluet <mat...@gm...> Date: 2014-03-22 (Sat, 22 Mar 2014) Changed paths: M mlton/main/main.fun Log Message: ----------- Add compile-time options to specify target-dependent LLVM options. Commit: 31352571a50d883ce1ddff6c8aa57785a3f22e43 https://github.com/MLton/mlton/commit/31352571a50d883ce1ddff6c8aa57785a3f22e43 Author: Matthew Fluet <mat...@gm...> Date: 2014-03-23 (Sun, 23 Mar 2014) Changed paths: A doc/guide/txt/CCodegen.txt M doc/guide/txt/Chunkify.txt A doc/guide/txt/Codegen.txt M doc/guide/txt/CompileTimeOptions.txt M doc/guide/txt/Credits.txt M doc/guide/txt/HowProfilingWorks.txt M doc/guide/txt/LLVM.txt A doc/guide/txt/LLVMCodegen.txt M doc/guide/txt/References.txt M doc/guide/txt/ToMachine.txt M man/mlton.1 Log Message: ----------- Document LLVM codegen in guide. Commit: 10803eb5be1cbe3a376987db0cd7dbde88dcddbe https://github.com/MLton/mlton/commit/10803eb5be1cbe3a376987db0cd7dbde88dcddbe Author: Matthew Fluet <mat...@gm...> Date: 2014-06-16 (Mon, 16 Jun 2014) Changed paths: M mlton/codegen/llvm-codegen/llvm-codegen.sig Log Message: ----------- Eliminate unused LLVMCodegen functor argument. Commit: d877f25dd3735ac6d26130e4e87a8490186fd963 https://github.com/MLton/mlton/commit/d877f25dd3735ac6d26130e4e87a8490186fd963 Author: Matthew Fluet <mat...@gm...> Date: 2014-07-01 (Tue, 01 Jul 2014) Changed paths: M mlton/main/compile.fun Log Message: ----------- Eliminate unused LLVMCodegen functor argument. Commit: 91d8dae9f43ad7b2de73d6c5084e580dae37e3af https://github.com/MLton/mlton/commit/91d8dae9f43ad7b2de73d6c5084e580dae37e3af Author: Matthew Fluet <mat...@gm...> Date: 2014-07-01 (Tue, 01 Jul 2014) Changed paths: M doc/guide/Makefile M doc/guide/bin/check-git-links.sh M doc/guide/bin/mk-html5-header-conf.sh M doc/guide/bin/mk-mlton-guide.sh M doc/guide/conf/mlton-html5.conf A doc/guide/src/.gitignore A doc/guide/src/AST.adoc A doc/guide/src/AdamGoode.adoc A doc/guide/src/AdmitsEquality.adoc A doc/guide/src/Alice.adoc A doc/guide/src/AllocateRegisters.adoc A doc/guide/src/AndreiFormiga.adoc A doc/guide/src/ArrayLiteral.adoc A doc/guide/src/BasisLibrary.adoc A doc/guide/src/Bug.adoc A doc/guide/src/Bugs20041109.adoc A doc/guide/src/Bugs20051202.adoc A doc/guide/src/Bugs20070826.adoc A doc/guide/src/Bugs20100608.adoc A doc/guide/src/Bugs20130715.adoc A doc/guide/src/CKitLibrary.adoc A doc/guide/src/CMinusMinus.adoc A doc/guide/src/CVS.adoc A doc/guide/src/CallGraph.adoc A doc/guide/src/CallingFromCToSML.adoc A doc/guide/src/CallingFromSMLToC.adoc A doc/guide/src/CallingFromSMLToCFunctionPointer.adoc A doc/guide/src/Ccodegen.adoc A doc/guide/src/Changelog.adoc A doc/guide/src/ChrisClearwater.adoc A doc/guide/src/Chunkify.adoc A doc/guide/src/Closure.adoc A doc/guide/src/ClosureConvert.adoc A doc/guide/src/Codegen.adoc A doc/guide/src/CombineConversions.adoc A doc/guide/src/CommonArg.adoc A doc/guide/src/CommonBlock.adoc A doc/guide/src/CommonSubexp.adoc A doc/guide/src/CompilationManager.adoc A doc/guide/src/CompileTimeOptions.adoc A doc/guide/src/CompilerOverview.adoc A doc/guide/src/CompilerPassTemplate.adoc A doc/guide/src/CompilingWithSMLNJ.adoc A doc/guide/src/ConcurrentML.adoc A doc/guide/src/ConcurrentMLImplementation.adoc A doc/guide/src/ConstantPropagation.adoc A doc/guide/src/Contact.adoc A doc/guide/src/Contify.adoc A doc/guide/src/CoreML.adoc A doc/guide/src/CoreMLSimplify.adoc A doc/guide/src/Credits.adoc A doc/guide/src/CrossCompiling.adoc A doc/guide/src/DeadCode.adoc A doc/guide/src/DeepFlatten.adoc A doc/guide/src/DefineTypeBeforeUse.adoc A doc/guide/src/DefinitionOfStandardML.adoc A doc/guide/src/Defunctorize.adoc A doc/guide/src/Developers.adoc A doc/guide/src/Developers.attachments/team.jpg A doc/guide/src/Development.adoc A doc/guide/src/Documentation.adoc A doc/guide/src/Documentation.attachments/.gitattributes A doc/guide/src/Documentation.attachments/mllex.pdf A doc/guide/src/Documentation.attachments/mlyacc.pdf A doc/guide/src/Drawbacks.adoc A doc/guide/src/Eclipse.adoc A doc/guide/src/Elaborate.adoc A doc/guide/src/Emacs.adoc A doc/guide/src/EmacsBgBuildMode.adoc A doc/guide/src/EmacsDefUseMode.adoc A doc/guide/src/EmacsDefUseMode.attachments/def-use-capture.png A doc/guide/src/Enscript.adoc A doc/guide/src/EqualityType.adoc A doc/guide/src/EqualityTypeVariable.adoc A doc/guide/src/EtaExpansion.adoc A doc/guide/src/Experimental.adoc A doc/guide/src/FAQ.adoc A doc/guide/src/FSharp.adoc A doc/guide/src/Features.adoc A doc/guide/src/FirstClassPolymorphism.adoc A doc/guide/src/Fixpoints.adoc A doc/guide/src/Flatten.adoc A doc/guide/src/Fold.adoc A doc/guide/src/Fold01N.adoc A doc/guide/src/ForLoops.adoc A doc/guide/src/ForeignFunctionInterface.adoc A doc/guide/src/ForeignFunctionInterfaceSyntax.adoc A doc/guide/src/ForeignFunctionInterfaceTypes.adoc A doc/guide/src/FrontEnd.adoc A doc/guide/src/FunctionalRecordUpdate.adoc A doc/guide/src/GarbageCollection.adoc A doc/guide/src/GenerativeDatatype.adoc A doc/guide/src/GenerativeException.adoc A doc/guide/src/Git.adoc A doc/guide/src/Glade.adoc A doc/guide/src/Globalize.adoc A doc/guide/src/GnuMP.adoc A doc/guide/src/GoogleSummerOfCode2013.adoc A doc/guide/src/GoogleSummerOfCode2014.adoc A doc/guide/src/HaMLet.adoc A doc/guide/src/HenryCejtin.adoc A doc/guide/src/History.adoc A doc/guide/src/Home.adoc A doc/guide/src/HowProfilingWorks.adoc A doc/guide/src/Identifier.adoc A doc/guide/src/Immutable.adoc A doc/guide/src/ImperativeTypeVariable.adoc A doc/guide/src/ImplementExceptions.adoc A doc/guide/src/ImplementHandlers.adoc A doc/guide/src/ImplementProfiling.adoc A doc/guide/src/ImplementSuffix.adoc A doc/guide/src/InfixingOperators.adoc A doc/guide/src/Inline.adoc A doc/guide/src/InsertLimitChecks.adoc A doc/guide/src/InsertSignalChecks.adoc A doc/guide/src/Installation.adoc A doc/guide/src/IntermediateLanguage.adoc A doc/guide/src/IntroduceLoops.adoc A doc/guide/src/JesperLouisAndersen.adoc A doc/guide/src/JohnnyAndersen.adoc A doc/guide/src/JohnnyAndersen.attachments/anoq.jpg A doc/guide/src/KnownCase.adoc A doc/guide/src/LLVCodegen.txt A doc/guide/src/LLVM.adoc A doc/guide/src/LambdaCalculus.adoc A doc/guide/src/LambdaFree.adoc A doc/guide/src/LanguageChanges.adoc A doc/guide/src/Lazy.adoc A doc/guide/src/Libraries.adoc A doc/guide/src/LibrarySupport.adoc A doc/guide/src/License.adoc A doc/guide/src/LineDirective.adoc A doc/guide/src/LocalFlatten.adoc A doc/guide/src/LocalRef.adoc A doc/guide/src/Logo.adoc A doc/guide/src/Logo.attachments/.gitignore A doc/guide/src/Logo.attachments/mlton.svg A doc/guide/src/LoopInvariant.adoc A doc/guide/src/ML.adoc A doc/guide/src/MLAntlr.adoc A doc/guide/src/MLBasis.adoc A doc/guide/src/MLBasis.attachments/.gitattributes A doc/guide/src/MLBasis.attachments/mlb-formal.pdf A doc/guide/src/MLBasisAnnotationExamples.adoc A doc/guide/src/MLBasisAnnotations.adoc A doc/guide/src/MLBasisAvailableLibraries.adoc A doc/guide/src/MLBasisExamples.adoc A doc/guide/src/MLBasisPathMap.adoc A doc/guide/src/MLBasisSyntaxAndSemantics.adoc A doc/guide/src/MLKit.adoc A doc/guide/src/MLLPTLibrary.adoc A doc/guide/src/MLLex.adoc A doc/guide/src/MLNLFFI.adoc A doc/guide/src/MLNLFFIGen.adoc A doc/guide/src/MLNLFFIImplementation.adoc A doc/guide/src/MLRISCLibrary.adoc A doc/guide/src/MLULex.adoc A doc/guide/src/MLYacc.adoc A doc/guide/src/MLj.adoc A doc/guide/src/MLmon.adoc A doc/guide/src/MLtonArray.adoc A doc/guide/src/MLtonBinIO.adoc A doc/guide/src/MLtonCont.adoc A doc/guide/src/MLtonContIsolateImplementation.adoc A doc/guide/src/MLtonCross.adoc A doc/guide/src/MLtonCross.attachments/mlton-cross_20100608.orig.tar.gz A doc/guide/src/MLtonExn.adoc A doc/guide/src/MLtonFinalizable.adoc A doc/guide/src/MLtonGC.adoc A doc/guide/src/MLtonIO.adoc A doc/guide/src/MLtonIntInf.adoc A doc/guide/src/MLtonItimer.adoc A doc/guide/src/MLtonLibraryProject.adoc A doc/guide/src/MLtonMonoArray.adoc A doc/guide/src/MLtonMonoVector.adoc A doc/guide/src/MLtonPlatform.adoc A doc/guide/src/MLtonPointer.adoc A doc/guide/src/MLtonProcEnv.adoc A doc/guide/src/MLtonProcess.adoc A doc/guide/src/MLtonProfile.adoc A doc/guide/src/MLtonRandom.adoc A doc/guide/src/MLtonReal.adoc A doc/guide/src/MLtonRlimit.adoc A doc/guide/src/MLtonRusage.adoc A doc/guide/src/MLtonSignal.adoc A doc/guide/src/MLtonStructure.adoc A doc/guide/src/MLtonSyslog.adoc A doc/guide/src/MLtonTextIO.adoc A doc/guide/src/MLtonThread.adoc A doc/guide/src/MLtonVector.adoc A doc/guide/src/MLtonWeak.adoc A doc/guide/src/MLtonWord.adoc A doc/guide/src/MLtonWorld.adoc A doc/guide/src/Machine.adoc A doc/guide/src/ManualPage.adoc A doc/guide/src/MatchCompilation.adoc A doc/guide/src/MatchCompile.adoc A doc/guide/src/MatthewFluet.adoc A doc/guide/src/MichaelNorrish.adoc A doc/guide/src/MikeThomas.adoc A doc/guide/src/MikeThomas.attachments/picture.jpg A doc/guide/src/Monomorphise.adoc A doc/guide/src/MoscowML.adoc A doc/guide/src/Multi.adoc A doc/guide/src/Mutable.adoc A doc/guide/src/NeedsReview.adoc A doc/guide/src/NumericLiteral.adoc A doc/guide/src/OCaml.adoc A doc/guide/src/ObjectOrientedProgramming.adoc A doc/guide/src/OpenGL.adoc A doc/guide/src/OperatorPrecedence.adoc A doc/guide/src/OptionalArguments.adoc A doc/guide/src/OtherSites.adoc A doc/guide/src/Overloading.adoc A doc/guide/src/PackedRepresentation.adoc A doc/guide/src/ParallelMove.adoc A doc/guide/src/Performance.adoc A doc/guide/src/PhantomType.adoc A doc/guide/src/PlatformSpecificNotes.adoc A doc/guide/src/PolyEqual.adoc A doc/guide/src/PolyHash.adoc A doc/guide/src/PolyML.adoc A doc/guide/src/PolymorphicEquality.adoc A doc/guide/src/Polyvariance.adoc A doc/guide/src/Poplog.adoc A doc/guide/src/PortingMLton.adoc A doc/guide/src/PrecedenceParse.adoc A doc/guide/src/Printf.adoc A doc/guide/src/PrintfGentle.adoc A doc/guide/src/ProductType.adoc A doc/guide/src/Profiling.adoc A doc/guide/src/ProfilingAllocation.adoc A doc/guide/src/ProfilingCounts.adoc A doc/guide/src/ProfilingTheStack.adoc A doc/guide/src/ProfilingTime.adoc A doc/guide/src/Projects.adoc A doc/guide/src/Pronounce.adoc A doc/guide/src/Pronounce.attachments/pronounce-mlton.mp3 A doc/guide/src/PropertyList.adoc A doc/guide/src/Pygments.adoc A doc/guide/src/RSSA.adoc A doc/guide/src/RSSAShrink.adoc A doc/guide/src/RSSASimplify.adoc A doc/guide/src/RayRacine.adoc A doc/guide/src/Reachability.adoc A doc/guide/src/Redundant.adoc A doc/guide/src/RedundantTests.adoc A doc/guide/src/RefFlatten.adoc A doc/guide/src/References.adoc A doc/guide/src/References.attachments/.gitattributes A doc/guide/src/References.attachments/060916-mlton.pdf A doc/guide/src/References.attachments/Shipman02.pdf A doc/guide/src/Regions.adoc A doc/guide/src/Release20041109.adoc A doc/guide/src/Release20051202.adoc A doc/guide/src/Release20070826.adoc A doc/guide/src/Release20100608.adoc A doc/guide/src/Release20130715.adoc A doc/guide/src/ReleaseChecklist.adoc A doc/guide/src/Releases.adoc A doc/guide/src/RemoveUnused.adoc A doc/guide/src/Restore.adoc A doc/guide/src/ReturnStatement.adoc A doc/guide/src/RunTimeOptions.adoc A doc/guide/src/RunningOnAIX.adoc A doc/guide/src/RunningOnAMD64.adoc A doc/guide/src/RunningOnARM.adoc A doc/guide/src/RunningOnAlpha.adoc A doc/guide/src/RunningOnCygwin.adoc A doc/guide/src/RunningOnDarwin.adoc A doc/guide/src/RunningOnFreeBSD.adoc A doc/guide/src/RunningOnHPPA.adoc A doc/guide/src/RunningOnHPUX.adoc A doc/guide/src/RunningOnIA64.adoc A doc/guide/src/RunningOnLinux.adoc A doc/guide/src/RunningOnMinGW.adoc A doc/guide/src/RunningOnNetBSD.adoc A doc/guide/src/RunningOnOpenBSD.adoc A doc/guide/src/RunningOnPowerPC.adoc A doc/guide/src/RunningOnPowerPC64.adoc A doc/guide/src/RunningOnS390.adoc A doc/guide/src/RunningOnSolaris.adoc A doc/guide/src/RunningOnSparc.adoc A doc/guide/src/RunningOnX86.adoc A doc/guide/src/SML3d.adoc A doc/guide/src/SMLNET.adoc A doc/guide/src/SMLNJ.adoc A doc/guide/src/SMLNJDeviations.adoc A doc/guide/src/SMLNJLibrary.adoc A doc/guide/src/SMLSharp.adoc A doc/guide/src/SMLofNJStructure.adoc A doc/guide/src/SSA.adoc A doc/guide/src/SSA2.adoc A doc/guide/src/SSA2Simplify.adoc A doc/guide/src/SSASimplify.adoc A doc/guide/src/SXML.adoc A doc/guide/src/SXMLShrink.adoc A doc/guide/src/SXMLSimplify.adoc A doc/guide/src/ScopeInference.adoc A doc/guide/src/SelfCompiling.adoc A doc/guide/src/Serialization.adoc A doc/guide/src/ShowBasis.adoc A doc/guide/src/ShowProf.adoc A doc/guide/src/Shrink.adoc A doc/guide/src/SimplifyTypes.adoc A doc/guide/src/Sources.adoc A doc/guide/src/SpaceSafety.adoc A doc/guide/src/Stabilizers.adoc A doc/guide/src/Stabilizers.attachments/stabilizers_alpha_2006-10-09.tar.gz A doc/guide/src/StandardML.adoc A doc/guide/src/StandardMLBooks.adoc A doc/guide/src/StandardMLGotchas.adoc A doc/guide/src/StandardMLHistory.adoc A doc/guide/src/StandardMLImplementations.adoc A doc/guide/src/StandardMLPortability.adoc A doc/guide/src/StandardMLTutorials.adoc A doc/guide/src/StaticSum.adoc A doc/guide/src/StephenWeeks.adoc A doc/guide/src/StyleGuide.adoc A doc/guide/src/Subversion.adoc A doc/guide/src/SuccessorML.adoc A doc/guide/src/SureshJagannathan.adoc A doc/guide/src/Swerve.adoc A doc/guide/src/Swerve.attachments/swerve.tar.bz2 A doc/guide/src/SyntacticConventions.adoc A doc/guide/src/TILT.adoc A doc/guide/src/Talk.adoc A doc/guide/src/TalkDiveIn.adoc A doc/guide/src/TalkFolkLore.adoc A doc/guide/src/TalkFromSMLTo.adoc A doc/guide/src/TalkHowHigherOrder.adoc A doc/guide/src/TalkHowModules.adoc A doc/guide/src/TalkHowPolymorphism.adoc A doc/guide/src/TalkMLtonApproach.adoc A doc/guide/src/TalkMLtonFeatures.adoc A doc/guide/src/TalkMLtonHistory.adoc A doc/guide/src/TalkStandardML.adoc A doc/guide/src/TalkTemplate.adoc A doc/guide/src/TalkWholeProgram.adoc A doc/guide/src/TipsForWritingConciseSML.adoc A doc/guide/src/ToMachine.adoc A doc/guide/src/ToRSSA.adoc A doc/guide/src/ToSSA2.adoc A doc/guide/src/TomMurphy.adoc A doc/guide/src/TypeChecking.adoc A doc/guide/src/TypeConstructor.adoc A doc/guide/src/TypeIndexedValues.adoc A doc/guide/src/TypeVariableScope.adoc A doc/guide/src/Unicode.adoc A doc/guide/src/UniversalType.adoc A doc/guide/src/UnresolvedBugs.adoc A doc/guide/src/UnsafeStructure.adoc A doc/guide/src/Useless.adoc A doc/guide/src/Users.adoc A doc/guide/src/Utilities.adoc A doc/guide/src/ValueRestriction.adoc A doc/guide/src/VariableArityPolymorphism.adoc A doc/guide/src/Variant.adoc A doc/guide/src/VesaKarvonen.adoc A doc/guide/src/VesaKarvonen.attachments/vesa-in-mlton-t-shirt.jpg A doc/guide/src/WarnUnusedAnomalies.adoc A doc/guide/src/WesleyTerpstra.adoc A doc/guide/src/WholeProgramOptimization.adoc A doc/guide/src/WishList.adoc A doc/guide/src/XML.adoc A doc/guide/src/XMLShrink.adoc A doc/guide/src/XMLSimplify.adoc A doc/guide/src/XMLSimplifyTypes.adoc A doc/guide/src/ZZZOrphanedPages.adoc A doc/guide/src/Zone.adoc A doc/guide/src/eXene.adoc A doc/guide/src/fxp.adoc A doc/guide/src/mGTK.adoc R doc/guide/txt/.gitignore R doc/guide/txt/AST.txt R doc/guide/txt/AdamGoode.txt R doc/guide/txt/AdmitsEquality.txt R doc/guide/txt/Alice.txt R doc/guide/txt/AllocateRegisters.txt R doc/guide/txt/AndreiFormiga.txt R doc/guide/txt/ArrayLiteral.txt R doc/guide/txt/BasisLibrary.txt R doc/guide/txt/Bug.txt R doc/guide/txt/Bugs20041109.txt R doc/guide/txt/Bugs20051202.txt R doc/guide/txt/Bugs20070826.txt R doc/guide/txt/Bugs20100608.txt R doc/guide/txt/Bugs20130715.txt R doc/guide/txt/CCodegen.txt R doc/guide/txt/CKitLibrary.txt R doc/guide/txt/CMinusMinus.txt R doc/guide/txt/CVS.txt R doc/guide/txt/CallGraph.txt R doc/guide/txt/CallingFromCToSML.txt R doc/guide/txt/CallingFromSMLToC.txt R doc/guide/txt/CallingFromSMLToCFunctionPointer.txt R doc/guide/txt/Changelog.txt R doc/guide/txt/ChrisClearwater.txt R doc/guide/txt/Chunkify.txt R doc/guide/txt/Closure.txt R doc/guide/txt/ClosureConvert.txt R doc/guide/txt/Codegen.txt R doc/guide/txt/CombineConversions.txt R doc/guide/txt/CommonArg.txt R doc/guide/txt/CommonBlock.txt R doc/guide/txt/CommonSubexp.txt R doc/guide/txt/CompilationManager.txt R doc/guide/txt/CompileTimeOptions.txt R doc/guide/txt/CompilerOverview.txt R doc/guide/txt/CompilerPassTemplate.txt R doc/guide/txt/CompilingWithSMLNJ.txt R doc/guide/txt/ConcurrentML.txt R doc/guide/txt/ConcurrentMLImplementation.txt R doc/guide/txt/ConstantPropagation.txt R doc/guide/txt/Contact.txt R doc/guide/txt/Contify.txt R doc/guide/txt/CoreML.txt R doc/guide/txt/CoreMLSimplify.txt R doc/guide/txt/Credits.txt R doc/guide/txt/CrossCompiling.txt R doc/guide/txt/DeadCode.txt R doc/guide/txt/DeepFlatten.txt R doc/guide/txt/DefineTypeBeforeUse.txt R doc/guide/txt/DefinitionOfStandardML.txt R doc/guide/txt/Defunctorize.txt R doc/guide/txt/Developers.attachments/team.jpg R doc/guide/txt/Developers.txt R doc/guide/txt/Development.txt R doc/guide/txt/Documentation.attachments/.gitattributes R doc/guide/txt/Documentation.attachments/mllex.pdf R doc/guide/txt/Documentation.attachments/mlyacc.pdf R doc/guide/txt/Documentation.txt R doc/guide/txt/Drawbacks.txt R doc/guide/txt/Eclipse.txt R doc/guide/txt/Elaborate.txt R doc/guide/txt/Emacs.txt R doc/guide/txt/EmacsBgBuildMode.txt R doc/guide/txt/EmacsDefUseMode.attachments/def-use-capture.png R doc/guide/txt/EmacsDefUseMode.txt R doc/guide/txt/Enscript.txt R doc/guide/txt/EqualityType.txt R doc/guide/txt/EqualityTypeVariable.txt R doc/guide/txt/EtaExpansion.txt R doc/guide/txt/Experimental.txt R doc/guide/txt/FAQ.txt R doc/guide/txt/FSharp.txt R doc/guide/txt/Features.txt R doc/guide/txt/FirstClassPolymorphism.txt R doc/guide/txt/Fixpoints.txt R doc/guide/txt/Flatten.txt R doc/guide/txt/Fold.txt R doc/guide/txt/Fold01N.txt R doc/guide/txt/ForLoops.txt R doc/guide/txt/ForeignFunctionInterface.txt R doc/guide/txt/ForeignFunctionInterfaceSyntax.txt R doc/guide/txt/ForeignFunctionInterfaceTypes.txt R doc/guide/txt/FrontEnd.txt R doc/guide/txt/FunctionalRecordUpdate.txt R doc/guide/txt/GarbageCollection.txt R doc/guide/txt/GenerativeDatatype.txt R doc/guide/txt/GenerativeException.txt R doc/guide/txt/Git.txt R doc/guide/txt/Glade.txt R doc/guide/txt/Globalize.txt R doc/guide/txt/GnuMP.txt R doc/guide/txt/GoogleSummerOfCode2013.txt R doc/guide/txt/HaMLet.txt R doc/guide/txt/HenryCejtin.txt R doc/guide/txt/History.txt R doc/guide/txt/Home.txt R doc/guide/txt/HowProfilingWorks.txt R doc/guide/txt/Identifier.txt R doc/guide/txt/Immutable.txt R doc/guide/txt/ImperativeTypeVariable.txt R doc/guide/txt/ImplementExceptions.txt R doc/guide/txt/ImplementHandlers.txt R doc/guide/txt/ImplementProfiling.txt R doc/guide/txt/ImplementSuffix.txt R doc/guide/txt/InfixingOperators.txt R doc/guide/txt/Inline.txt R doc/guide/txt/InsertLimitChecks.txt R doc/guide/txt/InsertSignalChecks.txt R doc/guide/txt/Installation.txt R doc/guide/txt/IntermediateLanguage.txt R doc/guide/txt/IntroduceLoops.txt R doc/guide/txt/JesperLouisAndersen.txt R doc/guide/txt/JohnnyAndersen.attachments/anoq.jpg R doc/guide/txt/JohnnyAndersen.txt R doc/guide/txt/KnownCase.txt R doc/guide/txt/LLVM.txt R doc/guide/txt/LLVMCodegen.txt R doc/guide/txt/LambdaCalculus.txt R doc/guide/txt/LambdaFree.txt R doc/guide/txt/LanguageChanges.txt R doc/guide/txt/Lazy.txt R doc/guide/txt/Libraries.txt R doc/guide/txt/LibrarySupport.txt R doc/guide/txt/License.txt R doc/guide/txt/LineDirective.txt R doc/guide/txt/LocalFlatten.txt R doc/guide/txt/LocalRef.txt R doc/guide/txt/Logo.attachments/.gitignore R doc/guide/txt/Logo.attachments/mlton.svg R doc/guide/txt/Logo.txt R doc/guide/txt/LoopInvariant.txt R doc/guide/txt/ML.txt R doc/guide/txt/MLAntlr.txt R doc/guide/txt/MLBasis.attachments/.gitattributes R doc/guide/txt/MLBasis.attachments/mlb-formal.pdf R doc/guide/txt/MLBasis.txt R doc/guide/txt/MLBasisAnnotationExamples.txt R doc/guide/txt/MLBasisAnnotations.txt R doc/guide/txt/MLBasisAvailableLibraries.txt R doc/guide/txt/MLBasisExamples.txt R doc/guide/txt/MLBasisPathMap.txt R doc/guide/txt/MLBasisSyntaxAndSemantics.txt R doc/guide/txt/MLKit.txt R doc/guide/txt/MLLPTLibrary.txt R doc/guide/txt/MLLex.txt R doc/guide/txt/MLNLFFI.txt R doc/guide/txt/MLNLFFIGen.txt R doc/guide/txt/MLNLFFIImplementation.txt R doc/guide/txt/MLRISCLibrary.txt R doc/guide/txt/MLULex.txt R doc/guide/txt/MLYacc.txt R doc/guide/txt/MLj.txt R doc/guide/txt/MLmon.txt R doc/guide/txt/MLtonArray.txt R doc/guide/txt/MLtonBinIO.txt R doc/guide/txt/MLtonCont.txt R doc/guide/txt/MLtonContIsolateImplementation.txt R doc/guide/txt/MLtonCross.attachments/mlton-cross_20100608.orig.tar.gz R doc/guide/txt/MLtonCross.txt R doc/guide/txt/MLtonExn.txt R doc/guide/txt/MLtonFinalizable.txt R doc/guide/txt/MLtonGC.txt R doc/guide/txt/MLtonIO.txt R doc/guide/txt/MLtonIntInf.txt R doc/guide/txt/MLtonItimer.txt R doc/guide/txt/MLtonLibraryProject.txt R doc... [truncated message content] |
