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

Define splice hole in library #17140

Closed
wants to merge 6 commits into from
Closed

Define splice hole in library #17140

wants to merge 6 commits into from

Conversation

nicolasstucki
Copy link
Contributor

Fixes #17137

@nicolasstucki nicolasstucki force-pushed the splice-hole-in-library branch 6 times, most recently from 919c252 to 8694476 Compare March 23, 2023 12:59
@nicolasstucki nicolasstucki self-assigned this Mar 23, 2023
@nicolasstucki nicolasstucki force-pushed the splice-hole-in-library branch from 8694476 to 01ee569 Compare March 23, 2023 13:32
@nicolasstucki nicolasstucki mentioned this pull request Mar 23, 2023
Closed
@nicolasstucki
Copy link
Contributor Author

Quote tasty size analysis: https://gist.github.com/nicolasstucki/3d87d400db1928f5b4813955eb019ffb

@nicolasstucki
Copy link
Contributor Author

The encoding is complex and fragile. It also introduces too much overhead in the encoded TASTy for the quotes.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@bishabosha bishabosha bishabosha left review comments

Assignees

@nicolasstucki nicolasstucki

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Encoding of quote HOLE in TASTy
2 participants
@nicolasstucki @bishabosha