Re: suppress warning "Defined but not used: type variable ‘x’" in GHC-8.0

2016-01-17 Thread Andrew Farmer
Can't you just: instance Foo [a] where type Bar [_a] = Int (At least I think I did that somewhere...) On Jan 16, 2016 9:24 PM, "Edward Kmett" wrote: > As a data point I now get thousands of occurrences of this warning across > my packages. > > It is quite annoying. > >

Re: HEADS UP: Need 7.10.3?

2015-09-16 Thread Andrew Farmer
As you mentioned, the two show stoppers for HERMIT are #10528 (specifically SPJs commit in comment:15 - see [1]) and #10829 (see D1246). The first disables inlining/rule application in the LHS of rules, the second does the same in the RHS. nofib results for the latter are on the ticket. I've set

Re: Proposal: Turn on ScopedTypeVariables by default

2015-02-23 Thread Andrew Farmer
I have often thought the same thing. This is probably the language extension I enable the most... a quick grep shows about 40% of my modules. I'm guessing the problem is that its not Haskell 98/2010? I think GHC has a policy to do only what the spec says by default. Is that still true now that

Re: GhcPlugin-writing and finding things

2014-07-23 Thread Andrew Farmer
Have you considered using HERMIT for this? I think this is a rough approximation of what you are trying to do (using HERMIT): import HERMIT.Plugin import HERMIT.Dictionary plugin = hermitPlugin $ \ opts - firstPhase $ run $ tryR $ innermostR $ promoteBindR compileFooBindR compileFooBindR ::

Re: A language extension for dealing with Prelude.foldr vs Foldable.foldr and similar dilemmas

2013-05-27 Thread Andrew Farmer
I generally agree with Iavor's points, but if this is such an issue, why not make Prelude more general by default and have a special 'Prelude.Basic' with the more specific type signatures for beginners? The general Prelude would be implicitly imported as now, unless the module imported

Re: proposal: separate lists for ghc-cvs commits and ghc-dev chatter

2012-12-06 Thread Andrew Farmer
I'd also like to follow discussions, but unsubscribed from cvs-ghc due to the volume. Maybe the reply-to field on cvs-ghc emails could be set to glasgow-haskell-bugs? (or whatever the agreed upon dev list is called) Then if someone replies to a bot/commit message on cvs-ghc, it automatically