Determine instance method from class method callsite

Sorry, I messed up subject and mailing list. Copying to both list now after the mistake (wanted only ghc-devs for specificity). Thanks! 2017-09-19 7:36 GMT+02:00 Robin Palotai : > Hello GHC devs, > > Before inventing the wheel, want to check if there is a GHC API way to

Spurious recompilations when using a compiler plugin

It appears that use of GHC plugins causes client code to get needlessly recompiled. (See Trac issues 12567 and 7414 .) It’s becoming more of a problem for usability of the plugin

Re: ANN: Overlay Hackage Package Index for GHC HEAD

Hi Herbert, This sounds like a great idea :) Glad to see ideas from Eta inspiring new ideas in GHC. "constantly nagging upstream maintainers to release quickfixes for unreleased GHC HEAD snapshots which will likely break again a few weeks later" ^ This is what motivated us to start eta-hackage

Re: A type checker plugin for row types

Thank you Matthew! I very much appreciate this kind of feedback. 1) I've updated the (bulk of the) wiki page to match the github repo just now. In particular, the "Elm" example lives here https://github.com/nfrisby/coxswain/blob/master/sculls/Elm.hs, so I just copied its most recent version onto

Re: ANN: Overlay Hackage Package Index for GHC HEAD

Sounds amazing - could you add the procedure you described to the "stock" multi-GHC Travis example [1]? It already has a "HEAD" env (see "env: BUILD=cabal GHCVER=head"...), but breaks [2] due to the package problems you mentioned. [1]:

Re: ANN: Overlay Hackage Package Index for GHC HEAD

Something like this is definitely useful for testing. When building GHC HEAD I override the ghcHEAD derivation on nixpkgs to the right commit I want to use and then can similarly specify which patches and versions of packages to use by modifying the 'configuration-ghc-head.nix' file. This is

ANN: Overlay Hackage Package Index for GHC HEAD

Hi GHC devs, A long-standing common problem when testing/dogfooding GHC HEAD is that at some point during the development cycle more and more packages from Hackage will run into build failures. Obviously, constantly nagging upstream maintainers to release quickfixes for unreleased GHC HEAD

Re: A type checker plugin for row types

Hi Nicolas, I briefly tried out the plugin this morning and have a few comments. 1. The example file on the wiki page fails to compile. I needed to modify two of the constraints on `getName` and `getPos` to get it to work. 2. I was inspecting how well the compiler optimises your representation