Normalize diagnostics to use either a backtick or a single quote, not both at random

[whitequark]

Bikeshed: which of these should we use?

[tpwrules]

What is an example of each in the code as it stands?

I'd say that backticks are better for code examples in like "x is bad. Do y". But single quotes are better for values, like "x should be a y, not 'z'"

[whitequark]

I'd say that backticks are better for code examples in like "x is bad. Do y". But single quotes are better for values, like "x should be a y, not 'z'"

I like this distinction!

What is an example of each in the code as it stands?

Backticks:

amaranth/amaranth/back/rtlil.py

Line 1007 in 31a12c0

raise TypeError("The `convert()` function requires a `ports=` argument")

Single quotes:

amaranth/amaranth/build/plat.py

Line 48 in 31a12c0

raise AttributeError("Platform '{}' does not constrain its default clock"