Skip to content

Instantly share code, notes, and snippets.

@yehezkieldio

yehezkieldio/disallow-try-catch.grit

Last active August 23, 2025 00:29
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save yehezkieldio/0a93051e4a29abc516467b52b2739319 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save yehezkieldio/0a93051e4a29abc516467b52b2739319 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
disallow-try-catch.grit
`$fn` where {
$fn <: `try { $body } catch($err) { $catchBody }`,
register_diagnostic(
span = $fn,
message = "Try-catch blocks are disallowed. Consult project guidelines for the expected error handling approach."
)
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment