Opened 6 years ago

Last modified 3 months ago

#3283 new feature request

Selective disabling of unused bind warnings

Reported by: ajd Owned by:
Priority: normal Milestone:
Component: Compiler Version: 6.10.2
Keywords: newcomer Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: #17 Differential Revisions:

Description

I like to compile with -fwarn-unused-binds to keep my code clean, but I think a couple of extra flags to control this would be useful:

  • -fno-warn-unused-fields which would turn off warnings for record field names that were not used. I know you can prefix them with _, but then when you do use them then you have to change the name, etc.
  • A {-# USED f, g, h, ... #-} pragma to tell the compiler not to warn about the functions given in the pragma.

I can see how especially the second could be controversial as it introduces an incompatibility, but I think both of these features could be put to good use. Not very high priority, though.

Change History (4)

comment:1 Changed 6 years ago by igloo

  • difficulty set to Unknown
  • Milestone set to 6.12.1

comment:2 Changed 5 years ago by igloo

  • Milestone changed from 6.12.1 to _|_
  • Type of failure set to None/Unknown

comment:3 Changed 9 months ago by nomeata

This might be a nice beginners tickets, but is it useful to people? No comment here for a long time... It seems to be related to #17.

comment:4 Changed 3 months ago by thomie

  • Keywords newcomer added

Adding newcomer keyword at nomeata's suggestion.

Note: See TracTickets for help on using tickets.