Status of OverloadedRecordFields [Was: Re: Proposal: Dot as Postfix Function Apply]

[copying ghc-devs as the following is perhaps more relevant there] On 04/11/15 10:44, Jeremy wrote: > Dot as Postfix Function Apply > (https://ghc.haskell.org/trac/ghc/wiki/Records/DeclaredOverloadedRecordFields/DotPostfix) > was originally part of ORF, but dropped to keep the scope/discussion

Type Checker Plugin: Producing the correct evidence

Hello, I am using type checker plugins to select specific instances in a program. My current problem concerns the following instance: class Polymonad m n p where (>>=) :: m a -> (a -> n b) -> p b instance ( Effect m, E.Inv m f (Unit m), f ~ Plus m f (Unit m)) => Polymonad (m (f ::

Re: [ANNOUNCE] GHC 7.10.3 release candidate 1

Peter Trommler writes: > I created #11061. > Erikd has provided a patch tested on OS X fixing this issue. I'll push an rc2 source tarball some time today. Cheers, - Ben signature.asc Description: PGP signature ___ ghc-devs mailing

Evaluating types and determining instantiability of an instance

Hello, I am trying to write a type checker plugin and I noticed that I keep trying to reimplement functionality that GHC type system already implements, but I can't seem to find a way to access the functionality. Part of these features I already asked in another (previous) email [1] to the

Re: Evaluating types and determining instantiability of an instance

I think what you want is what I have attempted to do in th-context: https://hackage.haskell.org/package/th-context But it uses template-haskell types rather than GHC internal types. On Thu, Nov 5, 2015 at 10:12 AM, Jan Bracker wrote: > Hello, > > I am trying to

Printing local Var(Id) types(in Outputable outputs)

Hi all, I'm considering getting into the trouble of implementing this: A flag for printing types of local Ids. To be more specific, I'd like to see types of local Ids and binders in case expression alternatives etc. I may name it -dshow-local-id-types or something like that. An example output