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

Use Inravina pretty printer #1406

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

Use Inravina pretty printer #1406

wants to merge 2 commits into from

Conversation

yitzchak
Copy link
Member

@yitzchak yitzchak commented Dec 27, 2022

This isn't production ready. I just want to keep tabs on the various tests.

  • Pass regression tests
  • Pass ANSI tests
    • miser mode
    • quasiquote
    • circle detection
    • correct line breaking.
  • Simplify client dispatching
  • Benchmark and optimize

@yitzchak yitzchak force-pushed the inravina branch 3 times, most recently from 9242aa3 to a00f861 Compare January 10, 2023 15:18
@yitzchak yitzchak force-pushed the inravina branch 2 times, most recently from adb72fc to 03ec54a Compare January 20, 2023 11:01
@yitzchak yitzchak force-pushed the inravina branch 4 times, most recently from 15e4f97 to 8eec028 Compare February 8, 2023 14:22
@yitzchak yitzchak force-pushed the inravina branch 2 times, most recently from 89fe40a to 94acc3d Compare February 9, 2023 10:47
@yitzchak yitzchak force-pushed the inravina branch 2 times, most recently from afce64a to 58cbb1c Compare February 18, 2023 14:29
@yitzchak yitzchak force-pushed the inravina branch 3 times, most recently from b06a92e to ab76292 Compare May 20, 2023 14:37
@yitzchak yitzchak force-pushed the inravina branch 2 times, most recently from 80e2437 to 15bad94 Compare June 4, 2023 17:56
@yitzchak yitzchak force-pushed the inravina branch 2 times, most recently from 65afaa2 to 59f9955 Compare June 18, 2023 22:36
@yitzchak yitzchak force-pushed the inravina branch 2 times, most recently from 63cb555 to b356c3c Compare July 4, 2023 16:35
@yitzchak yitzchak force-pushed the inravina branch 2 times, most recently from 17855f5 to 16f3167 Compare July 27, 2023 18:41
@yitzchak yitzchak force-pushed the inravina branch 2 times, most recently from f495c5f to e759bb3 Compare August 2, 2023 18:32
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.

1 participant