Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

DROP TABLE: Can we classify it as hint instead as error? #365

Closed
Donnerstagnacht started this conversation in Ideas
Discussion options

If I write a drop table statement, it is technically correct code:

DROP TABLE IF EXISTS public.groups;
DROP TABLE IF EXISTS groups;

But it creates the following error:

Dropping a table may break existing clients.
image

I was wondering if this could/should be a hint or a warning instead of an error since this statement may be intended and therefore correct.

Another option would be to provide an override option like in python or typescript for types:
python: # type: ignore typescript: // @ts-ignore // @ts-expect-error

Or is this an intended behavior? If so, why?

You must be logged in to vote

Replies: 1 comment 1 reply

Comment options

@psteinroe is currently working on annotations, so we'll soon have a way to // @pg-ignore it 👍
that being said, you're probably right, this should be a warning, not an error. WDYT @psteinroe ?

You must be logged in to vote
1 reply
Comment options

Yes

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

AltStyle によって変換されたページ (->オリジナル) /