|
From: 'Matthew F. v. MLton-c. <mlt...@ml...> - 2026-09-19 14:27:27
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: d3fcb2f6794e54e59407f5bae8eac54a9bc10220 https://github.com/MLton/mlton/commit/d3fcb2f6794e54e59407f5bae8eac54a9bc10220 Author: Matthew Fluet <mat...@gm...> Date: 2026-09-19 (Sat, 19 Sep 2026) Changed paths: M basis-library/io/imperative-io.fun Log Message: ----------- Replace elem-by-elem copies with sequence copies in `ImperativeIO()` Commit: aa2fd1ad9b91375903a4253cfcf1ea5ef2754f37 https://github.com/MLton/mlton/commit/aa2fd1ad9b91375903a4253cfcf1ea5ef2754f37 Author: Matthew Fluet <Mat...@gm...> Date: 2026-09-19 (Sat, 19 Sep 2026) Changed paths: M basis-library/io/imperative-io.fun Log Message: ----------- Merge pull request #657 from MatthewFluet/gcis-mtfvcs-m1.master Replace elem-by-elem copies with sequence copies in `ImperativeIO()` Compare: https://github.com/MLton/mlton/compare/a1f9518800f7...aa2fd1ad9b91 To unsubscribe from these emails, change your notification settings at https://github.com/MLton/mlton/settings/notifications To unsubscribe from this group and stop receiving emails from it, send an email to mlt...@ml.... |