Merge ocaml-jst 2022-10-24 #914
Merged
Conversation
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
25188da flambda-backend: Missed comment from PR802 (ocaml-flambda#887) 9469765 flambda-backend: Improve the semantics of asynchronous exceptions (new simpler version) (ocaml-flambda#802) d9e4dd0 flambda-backend: Fix `make runtest` on NixOS (ocaml-flambda#874) 4bbde7a flambda-backend: Simpler symbols (ocaml-flambda#753) ef37262 flambda-backend: Add opaqueness to Obj.magic under Flambda 2 (ocaml-flambda#862) a9616e9 flambda-backend: Add build system hooks for ocaml-jst (ocaml-flambda#869) 045ef67 flambda-backend: Allow the compiler to build with stock Dune (ocaml-flambda#868) 3cac5be flambda-backend: Simplify Makefile logic for natdynlinkops (ocaml-flambda#866) c5b12bf flambda-backend: Remove unnecessary install lines (ocaml-flambda#860) ff12bbe flambda-backend: Fix unused variable warning in st_stubs.c (ocaml-flambda#861) c84976c flambda-backend: Static check for noalloc: attributes (ocaml-flambda#825) ca56052 flambda-backend: Build system refactoring for ocaml-jst (ocaml-flambda#857) 39eb7f9 flambda-backend: Remove integer comparison involving nonconstant polymorphic variants (ocaml-flambda#854) c102688 flambda-backend: Fix soundness bug by using currying information from typing (ocaml-flambda#850) 6a96b61 flambda-backend: Add a primitive to enable/disable the tick thread (ocaml-flambda#852) f64370b flambda-backend: Make Obj.dup use a new primitive, %obj_dup (ocaml-flambda#843) 9b78eb2 flambda-backend: Add test for ocaml-flambda#820 (include functor soundness bug) (ocaml-flambda#841) 8f24346 flambda-backend: Add `-dtimings-precision` flag (ocaml-flambda#833) 65c2f22 flambda-backend: Add test for ocaml-flambda#829 (ocaml-flambda#831) 7b27a49 flambda-backend: Follow-up PR#829 (comballoc fixes for locals) (ocaml-flambda#830) ad7ec10 flambda-backend: Use a custom condition variable implementation (ocaml-flambda#787) 3ee650c flambda-backend: Fix soundness bug in include functor (ocaml-flambda#820) 2f57378 flambda-backend: Static check noalloc (ocaml-flambda#778) aaad625 flambda-backend: Emit begin/end region only when stack allocation is enabled (ocaml-flambda#812) 17c7173 flambda-backend: Fix .cmt for included signatures (ocaml-flambda#803) e119669 flambda-backend: Increase delays in tests/lib-threads/beat.ml (ocaml-flambda#800) ccc356d flambda-backend: Prevent dynamic loading of the same .cmxs twice in private mode, etc. (ocaml-flambda#784) 14eb572 flambda-backend: Make local extension point equivalent to local_ expression (ocaml-flambda#790) 487d11b flambda-backend: Fix tast_iterator and tast_mapper for include functor. (ocaml-flambda#795) a50a818 flambda-backend: Reduce closure allocation in List (ocaml-flambda#792) 96c9c60 flambda-backend: Merge ocaml-jst a775b88 flambda-backend: Fix ocaml/otherlibs/unix 32-bit build (ocaml-flambda#767) f7c2679 flambda-backend: Create object files internally to avoid invoking GAS (ocaml-flambda#757) c7a46bb flambda-backend: Bugfix for Cmmgen.expr_size with locals (ocaml-flambda#756) b337cb6 flambda-backend: Fix build_upstream for PR749 (ocaml-flambda#750) 8e7e81c flambda-backend: Differentiate is_int primitive between generic and variant-only versions (ocaml-flambda#749) git-subtree-dir: ocaml git-subtree-split: 25188da
05e2ed4 Add [@tail hint] annotation to select default behaviour explicitly (#43) 56818c4 jst.dune build fix (after flambda-backend merge) 567b955 Merge flambda-backend changes 409bdce Support building with dune (ocaml-flambda#49) 839c1cc Merge flambda-backend changes ab34788 Merge flambda-backend changes baf31df New uniform treatment for misplaced attribute warnings (#44) git-subtree-dir: ocaml git-subtree-split: 05e2ed4
|
I've asked @ccasin if he can review the whole of this. |
* dune file fix for dependency changes * Fix test output (duplicated attributes are no longer ignored) * Refactor checking of flambda-backend-only attrs to match new style
ccasin
approved these changes
Oct 25, 2022
|
I have read the dune changes. |
mshinwell
added a commit
to mshinwell/flambda-backend
that referenced
this pull request
Dec 13, 2022
06c189a flambda-backend: Make stack allocation the default (ocaml-flambda#1013) 98debd5 flambda-backend: Initial support for value slots not of value kind (ocaml-flambda#946) deb1714 flambda-backend: Add is_last flag to closinfo words (ocaml-flambda#938) d07fce1 flambda-backend: Disable poll insertion in Configure (ocaml-flambda#967) 0f1ce0e flambda-backend: Regenerate ocaml/configure autoconf 2.69 (instead of 2.71) (ocaml-flambda#1012) 27132d8 flambda-backend: Fix for spurious typing error related to expanding through functor arguments (ocaml-flambda#997) 724fb68 flambda-backend: Use `Compilation_unit.t` instead of `Ident.t` for globals (ocaml-flambda#871) 396d5b8 flambda-backend: Add a test for frametable setup in natdynlinked libraries (ocaml-flambda#983) b73ab12 flambda-backend: Fix invocation of `caml_shared_startup` in native dynlink (ocaml-flambda#980) 7c7d75a flambda-backend: Fix split_default_wrapper which did not trigger anymore with flambda2 (ocaml-flambda#970) 8fb75bd flambda-backend: Port ocaml/ocaml#11727 and ocaml/ocaml#11732 (ocaml-flambda#965) fdb7987 flambda-backend: Fix include functor issue after 4.14 merge. (ocaml-flambda#948) 9745cdb flambda-backend: Print -dprofile/-dtimings output to stdout like 4.12 (ocaml-flambda#943) 5f51f21 flambda-backend: Merge pull request ocaml-flambda#932 from mshinwell/4.14-upgrade 841687d flambda-backend: Run make alldepend in ocaml/ (ocaml-flambda#936) 72a7658 flambda-backend: Remove reformatting changes only in dynlink/dune (preserving PR889 and adjusting to minimise diff) 6d758cd flambda-backend: Revert whitespace changes in dune files, to match upstream c86bf6e flambda-backend: Remove duplicate tests for polling 971dbeb flambda-backend: Testsuite fixes 32f8356 flambda-backend: Topeval fix for symbols patch befea01 flambda-backend: Compilation fixes / rectify merge faults a84543f flambda-backend: Merge ocaml-jst 8e65056 flambda-backend: Merge ocaml-jst 4d70045 flambda-backend: Remove filename from system frametable (amd64) (ocaml-flambda#920) 5e57b7d flambda-backend: Bugfix for runtime frame_descr logic for C frames (ocaml-flambda#918) 6423d5e flambda-backend: Merge pull request ocaml-flambda#914 from mshinwell/merge-ocaml-jst-2022-10-24 ead605c flambda-backend: Add a missing Extract_exception (ocaml-flambda#916) c8f1481 flambda-backend: Resolve conflicts and add specialise/specialised attributes to Builtin_attributes cf4d0d3 flambda-backend: Merge fixes (#21) c2f742f flambda-backend: Re-enable some tests for Flambda2 (ocaml-flambda#881) 3d38d13 flambda-backend: Long frames in frametable (ocaml-flambda#797) 85aec7b flambda-backend: Add loop attribute to Builtin_attributes c0f16e3 flambda-backend: Compilation fixes 90dea23 flambda-backend: Merge flambda-backend/main 5acc6ea flambda-backend: Fixes after merge e501946 flambda-backend: Merge ocaml-jst 115083b flambda-backend: Merge ocaml-jst 9943b2e flambda-backend: Revert "Revert "Transform tail-recursive functions into recursive continuations (ocaml-flambda#893)"" (ocaml-flambda#909) ce339f1 flambda-backend: Fix alloc modes and call kinds for overapplications (ocaml-flambda#902) e6a317c flambda-backend: Revert "Transform tail-recursive functions into recursive continuations (ocaml-flambda#893)" 853c488 flambda-backend: Transform tail-recursive functions into recursive continuations (ocaml-flambda#893) 5a977e4 flambda-backend: Fix missing End_region primitives on switch arms (ocaml-flambda#898) 7fa7f9d flambda-backend: Add missing dependencies to Dune files (ocaml-flambda#889) 3cd36f0 flambda-backend: Have Lambda `Pgetglobal` and `Psetglobal` take `Compilation_unit.t` (ocaml-flambda#896) 7565915 flambda-backend: [@poll error] attribute (ocaml-flambda#745) 9eb9448 flambda-backend: Backport the main safepoints PRs (ocaml-flambda#740) 689bdda flambda-backend: Add strict mode for ocamldep (ocaml-flambda#892) git-subtree-dir: ocaml git-subtree-split: 06c189a
mshinwell
added a commit
to mshinwell/flambda-backend
that referenced
this pull request
Dec 13, 2022
06c189a flambda-backend: Make stack allocation the default (ocaml-flambda#1013) 98debd5 flambda-backend: Initial support for value slots not of value kind (ocaml-flambda#946) deb1714 flambda-backend: Add is_last flag to closinfo words (ocaml-flambda#938) d07fce1 flambda-backend: Disable poll insertion in Configure (ocaml-flambda#967) 0f1ce0e flambda-backend: Regenerate ocaml/configure autoconf 2.69 (instead of 2.71) (ocaml-flambda#1012) 27132d8 flambda-backend: Fix for spurious typing error related to expanding through functor arguments (ocaml-flambda#997) 724fb68 flambda-backend: Use `Compilation_unit.t` instead of `Ident.t` for globals (ocaml-flambda#871) 396d5b8 flambda-backend: Add a test for frametable setup in natdynlinked libraries (ocaml-flambda#983) b73ab12 flambda-backend: Fix invocation of `caml_shared_startup` in native dynlink (ocaml-flambda#980) 7c7d75a flambda-backend: Fix split_default_wrapper which did not trigger anymore with flambda2 (ocaml-flambda#970) 8fb75bd flambda-backend: Port ocaml/ocaml#11727 and ocaml/ocaml#11732 (ocaml-flambda#965) fdb7987 flambda-backend: Fix include functor issue after 4.14 merge. (ocaml-flambda#948) 9745cdb flambda-backend: Print -dprofile/-dtimings output to stdout like 4.12 (ocaml-flambda#943) 5f51f21 flambda-backend: Merge pull request ocaml-flambda#932 from mshinwell/4.14-upgrade 841687d flambda-backend: Run make alldepend in ocaml/ (ocaml-flambda#936) 72a7658 flambda-backend: Remove reformatting changes only in dynlink/dune (preserving PR889 and adjusting to minimise diff) 6d758cd flambda-backend: Revert whitespace changes in dune files, to match upstream c86bf6e flambda-backend: Remove duplicate tests for polling 971dbeb flambda-backend: Testsuite fixes 32f8356 flambda-backend: Topeval fix for symbols patch befea01 flambda-backend: Compilation fixes / rectify merge faults a84543f flambda-backend: Merge ocaml-jst 8e65056 flambda-backend: Merge ocaml-jst 4d70045 flambda-backend: Remove filename from system frametable (amd64) (ocaml-flambda#920) 5e57b7d flambda-backend: Bugfix for runtime frame_descr logic for C frames (ocaml-flambda#918) 6423d5e flambda-backend: Merge pull request ocaml-flambda#914 from mshinwell/merge-ocaml-jst-2022-10-24 ead605c flambda-backend: Add a missing Extract_exception (ocaml-flambda#916) c8f1481 flambda-backend: Resolve conflicts and add specialise/specialised attributes to Builtin_attributes cf4d0d3 flambda-backend: Merge fixes (#21) c2f742f flambda-backend: Re-enable some tests for Flambda2 (ocaml-flambda#881) 3d38d13 flambda-backend: Long frames in frametable (ocaml-flambda#797) 85aec7b flambda-backend: Add loop attribute to Builtin_attributes c0f16e3 flambda-backend: Compilation fixes 90dea23 flambda-backend: Merge flambda-backend/main 5acc6ea flambda-backend: Fixes after merge e501946 flambda-backend: Merge ocaml-jst 115083b flambda-backend: Merge ocaml-jst 9943b2e flambda-backend: Revert "Revert "Transform tail-recursive functions into recursive continuations (ocaml-flambda#893)"" (ocaml-flambda#909) ce339f1 flambda-backend: Fix alloc modes and call kinds for overapplications (ocaml-flambda#902) e6a317c flambda-backend: Revert "Transform tail-recursive functions into recursive continuations (ocaml-flambda#893)" 853c488 flambda-backend: Transform tail-recursive functions into recursive continuations (ocaml-flambda#893) 5a977e4 flambda-backend: Fix missing End_region primitives on switch arms (ocaml-flambda#898) 7fa7f9d flambda-backend: Add missing dependencies to Dune files (ocaml-flambda#889) 3cd36f0 flambda-backend: Have Lambda `Pgetglobal` and `Psetglobal` take `Compilation_unit.t` (ocaml-flambda#896) 7565915 flambda-backend: [@poll error] attribute (ocaml-flambda#745) 9eb9448 flambda-backend: Backport the main safepoints PRs (ocaml-flambda#740) 689bdda flambda-backend: Add strict mode for ocamldep (ocaml-flambda#892) git-subtree-dir: ocaml git-subtree-split: 06c189a
mshinwell
added a commit
to mshinwell/flambda-backend
that referenced
this pull request
Dec 28, 2022
b11eea1 flambda-backend: Introduce Import_info (ocaml-flambda#1036) bc5b135 flambda-backend: Fix `ocamlobjinfo` on flambda2 .cmx files (ocaml-flambda#1029) c8babbd flambda-backend: Compilation_unit optimisations (ocaml-flambda#1035) e8d3e22 flambda-backend: Use 4.14.0 opam switch for building (includes upgrading ocamlformat to 0.24.1) (ocaml-flambda#1030) eb14a86 flambda-backend: Port PR81 from ocaml-jst (ocaml-flambda#1024) 131bc12 flambda-backend: Merge ocaml-jst 2022-12-13 (ocaml-flambda#1022) 06c189a flambda-backend: Make stack allocation the default (ocaml-flambda#1013) 98debd5 flambda-backend: Initial support for value slots not of value kind (ocaml-flambda#946) deb1714 flambda-backend: Add is_last flag to closinfo words (ocaml-flambda#938) d07fce1 flambda-backend: Disable poll insertion in Configure (ocaml-flambda#967) 0f1ce0e flambda-backend: Regenerate ocaml/configure autoconf 2.69 (instead of 2.71) (ocaml-flambda#1012) 27132d8 flambda-backend: Fix for spurious typing error related to expanding through functor arguments (ocaml-flambda#997) 724fb68 flambda-backend: Use `Compilation_unit.t` instead of `Ident.t` for globals (ocaml-flambda#871) 396d5b8 flambda-backend: Add a test for frametable setup in natdynlinked libraries (ocaml-flambda#983) b73ab12 flambda-backend: Fix invocation of `caml_shared_startup` in native dynlink (ocaml-flambda#980) 7c7d75a flambda-backend: Fix split_default_wrapper which did not trigger anymore with flambda2 (ocaml-flambda#970) 8fb75bd flambda-backend: Port ocaml/ocaml#11727 and ocaml/ocaml#11732 (ocaml-flambda#965) fdb7987 flambda-backend: Fix include functor issue after 4.14 merge. (ocaml-flambda#948) 9745cdb flambda-backend: Print -dprofile/-dtimings output to stdout like 4.12 (ocaml-flambda#943) 5f51f21 flambda-backend: Merge pull request ocaml-flambda#932 from mshinwell/4.14-upgrade 841687d flambda-backend: Run make alldepend in ocaml/ (ocaml-flambda#936) 72a7658 flambda-backend: Remove reformatting changes only in dynlink/dune (preserving PR889 and adjusting to minimise diff) 6d758cd flambda-backend: Revert whitespace changes in dune files, to match upstream c86bf6e flambda-backend: Remove duplicate tests for polling 971dbeb flambda-backend: Testsuite fixes 32f8356 flambda-backend: Topeval fix for symbols patch befea01 flambda-backend: Compilation fixes / rectify merge faults a84543f flambda-backend: Merge ocaml-jst 8e65056 flambda-backend: Merge ocaml-jst 4d70045 flambda-backend: Remove filename from system frametable (amd64) (ocaml-flambda#920) 5e57b7d flambda-backend: Bugfix for runtime frame_descr logic for C frames (ocaml-flambda#918) 6423d5e flambda-backend: Merge pull request ocaml-flambda#914 from mshinwell/merge-ocaml-jst-2022-10-24 ead605c flambda-backend: Add a missing Extract_exception (ocaml-flambda#916) c8f1481 flambda-backend: Resolve conflicts and add specialise/specialised attributes to Builtin_attributes cf4d0d3 flambda-backend: Merge fixes (#21) c2f742f flambda-backend: Re-enable some tests for Flambda2 (ocaml-flambda#881) 3d38d13 flambda-backend: Long frames in frametable (ocaml-flambda#797) 85aec7b flambda-backend: Add loop attribute to Builtin_attributes c0f16e3 flambda-backend: Compilation fixes 90dea23 flambda-backend: Merge flambda-backend/main 5acc6ea flambda-backend: Fixes after merge e501946 flambda-backend: Merge ocaml-jst 115083b flambda-backend: Merge ocaml-jst 9943b2e flambda-backend: Revert "Revert "Transform tail-recursive functions into recursive continuations (ocaml-flambda#893)"" (ocaml-flambda#909) ce339f1 flambda-backend: Fix alloc modes and call kinds for overapplications (ocaml-flambda#902) e6a317c flambda-backend: Revert "Transform tail-recursive functions into recursive continuations (ocaml-flambda#893)" 853c488 flambda-backend: Transform tail-recursive functions into recursive continuations (ocaml-flambda#893) 5a977e4 flambda-backend: Fix missing End_region primitives on switch arms (ocaml-flambda#898) 7fa7f9d flambda-backend: Add missing dependencies to Dune files (ocaml-flambda#889) 3cd36f0 flambda-backend: Have Lambda `Pgetglobal` and `Psetglobal` take `Compilation_unit.t` (ocaml-flambda#896) 7565915 flambda-backend: [@poll error] attribute (ocaml-flambda#745) 9eb9448 flambda-backend: Backport the main safepoints PRs (ocaml-flambda#740) 689bdda flambda-backend: Add strict mode for ocamldep (ocaml-flambda#892) git-subtree-dir: ocaml git-subtree-split: b11eea1
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
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.
There were a few actual conflicts to fix here arising from the new unused attribute checking mechanism.