id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,os,architecture,failure,difficulty,testcase,blockedby,blocking,related
3933,"""include"" deprecation warning is a bit off",isaacdupree,igloo,"This is silly, but I got a warning
{{{
Display.hs:1:11:
    Warning: -#include is deprecated: No longer has any effect
}}}
from a piece of code that actually used the `{-# INCLUDE #-}` pragma. Shouldn't it say INCLUDE is deprecated or that they're all deprecated?  Slightly related to #3844.
",bug,closed,high,6.12.3,Compiler,6.12.1,fixed,,,Unknown/Multiple,Unknown/Multiple,Incorrect warning at compile-time,,,,,