Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

feat: Add new transformation to ppx-metaquot that introduces the register_sampler calls #1

Open
wants to merge 6 commits into
base: a7977b52
Choose a base branch
from

Conversation

hernoufM
Copy link

@hernoufM hernoufM commented Apr 3, 2022

  • New transformation has been added that inserts let () = Introspection.register_sampler name fun
    for each toplevel binding prefixed with sample_* in test.ml.

  • Compilation units stored in demo-repository/exercises/exercise_name/ during the
    precompilation are no longer staged.

AltGr added 5 commits April 1, 2022 14:33
to cmi, cma and js.
Includes changes to the toploop to handle the dynamic loading.
Finally :)
This should give a nice economy of bandwidth since the uncyphered compilation
artifacts will compress much better.
@hernoufM hernoufM force-pushed the ppx-sample-register branch 2 times, most recently from 73b3232 to f0973bd Compare April 3, 2022 20:37
@hernoufM hernoufM marked this pull request as draft April 4, 2022 14:34
…ister_sampler` calls

* New transformation has been added that inserts `let () = Introspection.register_sampler name fun`
  for each toplevel binding prefixed with `sample_*` in test.ml.

* Compilation units stored in `demo-repository/exercises/exercise_name/` during the
  precompilation are no longer staged.
@hernoufM hernoufM force-pushed the ppx-sample-register branch from f0973bd to b93d170 Compare April 8, 2022 09:40
@hernoufM hernoufM changed the title feat: Add ppx-recorder that introduces the register_sampler calls feat: Add new transformation to ppx-metaquot that introduces the register_sampler calls Apr 8, 2022
@hernoufM hernoufM marked this pull request as ready for review April 8, 2022 14:59
@AltGr AltGr force-pushed the a7977b52 branch 2 times, most recently from 0699cef to d348acb Compare April 22, 2022 15:41
@AltGr AltGr force-pushed the a7977b52 branch 3 times, most recently from 81ff75a to a86b256 Compare October 30, 2023 13:46
@AltGr AltGr force-pushed the a7977b52 branch 3 times, most recently from 0a507b6 to 6ce797f Compare November 3, 2023 12:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants