What is $warning_names$??

From: ghc-devs [mailto:ghc-devs-bounces@haskell.org] On Behalf Of ????? ??????????
Sent: 26 October 2015 14:53
To: Richard Eisenberg
Cc: ghc-devs@haskell.org
Subject: Re: Warning suppression pragmas

Hello Richard!

Can you take a look at some sort of specification i wrote week ago?

I placed it here: https://ghc.haskell.org/trac/ghc/wiki/Design/LocalWarningPragmas

I can imagine only two use cases, and i'm not sure about correcteness of it

---

С уважением,

Жаворонков Эдгар

Best regards,

Edgar A. Zhavoronkov

2015-10-20 1:44 GMT+03:00 Эдгар Жаворонков <edzhavoronkov@gmail.com>:

Oh, okay, sure

---

С уважением,

Жаворонков Эдгар

Yours sincerely,

Zhavornkov Edgar

2015-10-20 1:37 GMT+03:00 Richard Eisenberg <eir@cis.upenn.edu>:

Sure. But before thinking about implementation, let's think about specification. Write a wiki page (perhaps https://ghc.haskell.org/trac/ghc/wiki/Design/LocalWarningPragmas ) with the design of how the feature should work, with several examples. Once we know what we're building, then we can talk about how to build it.

Thanks!

Richard

On Oct 19, 2015, at 6:21 PM, Эдгар Жаворонков <edzhavoronkov@gmail.com> wrote:

Hello, Richard,

Do you know something about defining own pragmas in GHC?

---

С уважением,

Жаворонков Эдгар

2015-10-20 1:17 GMT+03:00 Richard Eisenberg <eir@cis.upenn.edu>:

Hi Edgar,

No, that doesn't exist yet. Would surely be useful, though.

Richard

On Oct 19, 2015, at 6:16 PM, Эдгар Жаворонков <edzhavoronkov@gmail.com> wrote:

No, i mean exactly pragmas in source code, that i can particulary add to function or a part of the code for example.

E.g:

{-# BEGIN_SUPPRESS_WARNINGS #-}

foo :: a -> b

#do something that throws warnings

{-# END_SUPPRESS_WARNINGS #-}

2015-10-20 1:10 GMT+03:00 Richard Eisenberg <eir@cis.upenn.edu>:

I just responded to #602, but perhaps you're just looking for the -fno-warn-XXX options listed here: https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/flag-reference.html#idp14879296

Richard

On Oct 19, 2015, at 5:22 PM, Эдгар Жаворонков <edzhavoronkov@gmail.com> wrote:

Hi everyone!

Do you know, if there is pragma for warning suppression? I want to implement something like warning suppression related to this ticket in GHC's Trac (https://ghc.haskell.org/trac/ghc/ticket/602). Or i need to implement that kind of pragma by myself?

Thanks in advance!
Edgar

_______________________________________________
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs