An alternative (and I think this has also been proposed before) is to
simply drop the Graphics.UI header from the module hierarchy. The main con
here is that there's an increased risk of module name-clashes, but GHC
already solves this with the PackageImports extension.
On Friday, April 25, 2014,
IIRC ConstraintKinds is only required in the module that defines the
type synonym, so your module T does not need it. My guess is that
haskell-src-exts sees 'Log.Stack =>', in which we have nullary
constraint instead of a unary constraint, and assumes that's bogus
without MultiParamTypeClasses. But
On Sun, Feb 14, 2016, at 18:15, Evan Laforge wrote:
> Right, that sounds like a good idea to me, it's the same reason I
> added the synonym myself.
>
> WRT not needing an extension I guess this is part of a general pattern
> where you don't need extensions to use code that uses extensions. In
> t
On Mon, Jun 6, 2016, at 07:37, Carter Schonwald wrote:
> I don't suppose there's any hope of having this resolved prior to GHC 8.2
> because it is a real usability regression? Because I think we can all
> agree
> that the proposed change would not break any 8.0 series code, and
> positively impac
next major version
> > i.e. 8.2.* , but I'm also wondering if perhaps the "overly constrained
> > type" warning should be flat out removed from Wall even in ghc 8.0.2,
> >
> > On Monday, June 6, 2016, Carter Schonwald > > wrote:
> >
&g