Opened 7 years ago

Closed 7 years ago

#4327 closed task (fixed)

OPTIONS_GHC messages still mention deprecated OPTIONS pragma

Reported by: br1 Owned by: igloo
Priority: normal Milestone:
Component: Compiler Version: 6.12.3
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: Documentation bug Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


The GHC docs indicate that the OPTIONS pragma is deprecated and OPTIONS_GHC is preferred. Compiler messages, such as "unknown flag in {-# OPTIONS #-} pragma," still use OPTIONS instead of OPTIONS_GHC. The messages should be updated to remove OPTIONS in favor of OPTIONS_GHC.

Change History (2)

comment:1 Changed 7 years ago by igloo

Owner: set to igloo

Thanks for the report

comment:2 Changed 7 years ago by igloo

Resolution: fixed
Status: newclosed

Fixed in HEAD and 7.0:

Fri Sep 24 13:04:23 BST 2010  Ian Lynagh <>
  * Change "OPTIONS" to "OPTIONS_GHC" in error messages; fixes #4327
Note: See TracTickets for help on using tickets.