Skip to content

Coarsen exceptions#44

Merged
jeaye merged 1 commit intojank-lang:mainfrom
dgr:dgr-coarsen-exceptions
Jan 20, 2025
Merged

Coarsen exceptions#44
jeaye merged 1 commit intojank-lang:mainfrom
dgr:dgr-coarsen-exceptions

Conversation

@dgr
Copy link
Contributor

@dgr dgr commented Jan 19, 2025

Converts (is (thrown? XyzException ...)) to (is (thrown? Exception ...)).

Converts `(is (thrown? XyzException ...))` to `(is (thrown? Exception ...))`.
@jeaye jeaye merged commit 967ea84 into jank-lang:main Jan 20, 2025
2 of 3 checks passed
@jeaye
Copy link
Member

jeaye commented Jan 20, 2025

Thanks!

@dgr dgr deleted the dgr-coarsen-exceptions branch January 21, 2025 02:59
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