Skip to content

round-trip tests#88

Open
andres-erbsen wants to merge 1 commit intomainfrom
andreser/roundtrip-tests
Open

round-trip tests#88
andres-erbsen wants to merge 1 commit intomainfrom
andreser/roundtrip-tests

Conversation

@andres-erbsen
Copy link
Copy Markdown
Collaborator

No description provided.

@andres-erbsen andres-erbsen force-pushed the andreser/roundtrip-tests branch from cd13479 to 83ccc09 Compare April 18, 2026 01:00
Comment thread Kraken/Semantics.lean
Comment on lines +841 to +842
| .before_current_instruction => "."
| .after_current_instruction => "."
Copy link
Copy Markdown
Collaborator Author

@andres-erbsen andres-erbsen Apr 18, 2026

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I don't know how to print these; currently only the latter is used

@andres-erbsen andres-erbsen marked this pull request as ready for review April 18, 2026 01:03
@andres-erbsen andres-erbsen force-pushed the andreser/roundtrip-tests branch 2 times, most recently from fee4c0b to efbe704 Compare April 18, 2026 20:38
@andres-erbsen andres-erbsen force-pushed the andreser/roundtrip-tests branch from efbe704 to ead51c4 Compare April 18, 2026 20:51
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