OK. I've made this change, at least for now.
Everyone: yell if you don't like the results.
-Wnot switches off all warnings.
Simon
> -----Original Message-----
> From: [EMAIL PROTECTED]
> Sent: Thursday, June 24, 1999 12:31 PM
> To: [EMAIL PROTECTED]
> Subject: default -fwarn-unused-binds -fwarn-unused-matches
>
>
> -fwarn-unused-binds -fwarn-unused-matches
>
> are very useful. Maybe, it worths making these keys default?
>
> ------------------
> Sergey Mechveliani
> [EMAIL PROTECTED]
>
RE: default -fwarn-unused-binds -fwarn-unused-matches
Simon Peyton-Jones Thu, 24 Jun 1999 15:05:22 +0200 (MET DST)
- default -fwarn-unused-binds -fwarn-unused-matches S.D.Mechveliani
- RE: default -fwarn-unused-binds -fwarn-unused-mat... Simon Peyton-Jones
- RE: default -fwarn-unused-binds -fwarn-unused-mat... Simon Marlow
- Re: default -fwarn-unused-binds -fwarn-unused-... Keith Wansbrough
