Opened 11 years ago

Last modified 3 years ago

#2867 new feature request

Make a way to tell GHC that a pragma name should be "recognised"

Reported by: igloo Owned by:
Priority: lowest Milestone:
Component: Compiler Version: 6.10.1
Keywords: Cc: ndmitchell@…, lemmih@…, ghc@…
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:

Description

GHC warns about unrecognised pragmas, but other impls can add pragmas inbetween GHC releases. If you want to use those pragmas then you can't just use -Wall -Werror when compiling. We could make a pragma to tell GHC to not warn about other pragmas, e.g.

{-# KNOWN_PRAGMA FOO #-}

would make GHC not warn about FOO pragmas.

Suggested in #2847.

Change History (19)

comment:1 Changed 11 years ago by NeilMitchell

Cc: ndmitchell@… added

comment:2 Changed 11 years ago by simonmar

Wouldn't it be better to do something like this

{-# OPTIONS_GHC -fno-warn-unrecognised-pragma FOO #-}

And then we can document that the default options include

-fno-warn-unrecognised-pragma OPTIONS_HUGS
etc.

comment:3 Changed 11 years ago by igloo

Summary: Make a pragma that tells GHC that another pragma name is OKMake a way to tell GHC that a pragma name should be "recognised"

comment:4 Changed 11 years ago by Lemmih

Cc: lemmih@… added

comment:5 Changed 9 years ago by igloo

Milestone: 6.12 branch6.12.3

comment:6 Changed 9 years ago by igloo

Milestone: 6.12.36.14.1
Priority: normallow

comment:7 Changed 9 years ago by igloo

Milestone: 7.0.17.0.2

comment:8 Changed 9 years ago by igloo

Milestone: 7.0.27.2.1

comment:9 Changed 8 years ago by igloo

Milestone: 7.2.17.4.1

comment:10 Changed 8 years ago by igloo

Milestone: 7.4.17.6.1
Priority: lowlowest

comment:11 Changed 7 years ago by igloo

Milestone: 7.6.17.6.2

comment:12 Changed 5 years ago by thoughtpolice

Milestone: 7.6.27.10.1

Moving to 7.10.1.

comment:13 Changed 5 years ago by agdfrnd

Owner: set to agdfrnd
Type: bugfeature request
Type of failure: None/Unknown

comment:14 Changed 5 years ago by agdfrnd

Owner: agdfrnd deleted

comment:15 Changed 5 years ago by thoughtpolice

Milestone: 7.10.17.12.1

Moving to 7.12.1 milestone; if you feel this is an error and should be addressed sooner, please move it back to the 7.10.1 milestone.

comment:16 Changed 5 years ago by thoughtpolice

Moving to 7.12.1 milestone; if you feel this is an error and should be addressed sooner, please move it back to the 7.10.1 milestone.

comment:17 Changed 4 years ago by thoughtpolice

Milestone: 7.12.18.0.1

Milestone renamed

comment:18 Changed 4 years ago by thomie

Milestone: 8.0.1

comment:19 Changed 3 years ago by Lemming

Cc: ghc@… added
Note: See TracTickets for help on using tickets.