Second alpha for OCaml 4.11.0#16568
Merged
kit-ty-kate merged 1 commit intoocaml:masterfrom Jun 3, 2020
Merged
Conversation
Member
|
Thanks a lot! |
Contributor
|
Commit: 2cf1d7e @Octachron has posted 26 contributions. ☀️ All lint checks passed 2cf1d7e
☀️ Installability check (+5)
|
Member
Author
|
It is a good question? Concerning the opam packages for the compiler, currently, I am manually creating the new packages by automatically patching the previous versions. At some point, I would like to iron out the process, but for now just updating the existing opam packages should be enough. |
hannesm
added a commit
to hannesm/opam-repository
that referenced
this pull request
Dec 5, 2020
… FreeBSD As done earlier (in ocaml#16575) and mentioned in ocaml#16568 (comment) this is no longer necessary since ocaml/ocaml#9437 - which was part of 4.11.0. NB: I'm not a big fan of modifying existing packages, but imho this is sane and safe in this case, and looking at ocaml#16575 it seemed to be fine with maintainers back then. I did not touch: - 32bit - flambda+musl - flambda+musl+static Since I don't understand how they are supposed to work in the first place. Eventually it'd make sense to restrict them to supported platforms via (available = [ os = "linux" & os-distribution = ... ])?
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
4 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
This is the new opam package for the second alpha of OCaml 4.11.0
The change compared to the first alpha are:
[additional fixes] 6673, 1132, 9617: Relax the handling of explicit polymorphic types
(Leo White, review by Jacques Garrigue and Gabriel Scherer)
[additional fixes] 7364, 2188, 9592, 9609: improvement of the unboxability check for types
with a single constructor. Mutually-recursive type declarations can
now contain unboxed types. This is based on the paper
https://arxiv.org/abs/1811.02300
9549, 9557: Make -flarge-toc the default for PowerPC and introduce
-fsmall-toc to enable the previous behaviour.
(David Allsopp, report by Nathaniel Wesley Filardo, review by Xavier Leroy)
9320, 9550: under Windows, make sure that the Unix.exec* functions
properly quote their argument lists.
(Xavier Leroy, report by André Maroneze, review by Nicolás Ojeda Bär
and David Allsopp)
9490, 9505: ensure proper rounding of file times returned by
Unix.stat, Unix.lstat, Unix.fstat.
(Xavier Leroy and Guillaume Melquiond, report by David Brown,
review by Gabriel Scherer and David Allsopp)
8676, 9594: turn debugger off in programs launched by the program
being debugged
(Xavier Leroy, report by Michael Soegtrop, review by Gabriel Scherer)
9552: restore ocamloptp build and installation
(Florian Angeletti, review by David Allsopp and Xavier Leroy)
7708, 9580: Ensure Stdlib documentation index refers to Stdlib.
(Stephen Dolan, review by Florian Angeletti, report by Hannes Mehnert)
7817, 9546: Unsound inclusion check for polymorphic variant
(Jacques Garrigue, report by Mikhail Mandrykin, review by Gabriel Scherer)
9189, 9281: fix a conflict with Gentoo build system
by removing an one-letter Makefile variable.
(Florian Angeletti, report by Ralph Seichter, review by David Allsopp
and Damien Doligez)