Skip to content

Conversation

@bobzhang
Copy link
Member

No description provided.

gasche and others added 30 commits February 15, 2015 21:10
git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@15852 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
This reverts commit 4.02@15753 (4892549 ). The feature is not ready yet, it breaks compilation of programs that merely link .c files inside a standard executable. See PR#6475 for further discussion. git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@15863 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@15871 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
(Jérémie Dimino, request by Peter Zotov) git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@15891 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
…#' in trailing symbols, although the operator is then rejected by the type-checker). (Cherry-picked from trunk, rev 15892.) git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@15893 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@15895 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
…s; attributes come after constructor/field declarations. git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@15896 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
…files" This break oasis-using packages because -thread, as explained in PR#6809. This reverts commit 429a397. git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@15903 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@15916 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@15928 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@15929 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@15933 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
bobzhang and others added 28 commits June 26, 2018 15:33
TODO: cherry-pick on 4.06
- save_signature_with_imports is used in -pack - save_signature used in Typemod.type_implementation & and `after_parsing_sig` - output_cmi is used in saving cmt file TODO: design cmi format to make this operation more efficient
This exposes the first `report_error` binding from the vendored `typecore.ml` (the binding is shadowed afterward). This allows us to avoid copy pasting the whole error pattern matching logic, which differs enough between compiler versions to be annoying to cppo. I have a similar `typecore.ml` patch for the 4.06 compiler
[Super errors] Simplify super_typecore logic
I'm not sure why this is here, but the changes already got in, in 164758af4802ca6624dc3648d46b32f559cdfe69. And I think this commit didn't get applied in an idempotent way? Now we ended up with two `#if` lol
9c4e02ed8021c796db307681a32f87a785d6f0b5 is a revert of 164758af4802ca6624dc3648d46b32f559cdfe69. But I noticed just now that typecore.mli correctly added the #if only once (contrary to typecore.ml). So I'm adding the #if back into the interface file.
* [Super errors] Expose previously shadowed `report_error` Used by super_typemod.ml * [Super errors] Clean up super_typemod Defer work to the newly exposed `Typemod.super_report_error_no_wrap_printing_env`
- when making blocks, adding explicit block tag for each kind - not inline lazy destruction, it does not make sense under JS setting
@bobzhang bobzhang closed this Aug 19, 2019
@bobzhang bobzhang deleted the lazy_cons_destruct_tag branch August 19, 2019 09:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet