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.

Sign up for GitHub

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

Jump to bottom

more principled generic printer #533

Draft
wants to merge 6 commits into
base: main
Choose a base branch
from
Draft

more principled generic printer #533

wants to merge 6 commits into from

Commits on Sep 30, 2024

  1. feat(engine): introduce a new generic printer

    @W95Psp
    W95Psp committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    7b8bafa View commit details
    Browse the repository at this point in the history

  2. fix: rustc update minor changes

    @W95Psp
    Lucas Franceschino authored and W95Psp committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    2ee810c View commit details
    Browse the repository at this point in the history

  3. fix: minor fixes after rebasing

    @W95Psp
    W95Psp committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    c10e43f View commit details
    Browse the repository at this point in the history

  4. refactor: rename Generic_printer to Deprecated_generic_printer

    @W95Psp
    W95Psp committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    03a84bd View commit details
    Browse the repository at this point in the history

  5. refactor: rename New_generic_printer to Generic_printer

    @W95Psp
    W95Psp committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    8033453 View commit details
    Browse the repository at this point in the history

  6. refactor: inline github:W95psp/ocaml-sourcemaps in the repo

    @W95Psp
    W95Psp committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    c972606 View commit details
    Browse the repository at this point in the history