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.
>
>
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
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
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 ::
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
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