ghc-8.4.1-release tag

Hi, I noticed that the tag ghc-8.4.1-release points to f31c40efdc918bc9da8a325327ba5a472bd6ea9e but the tarball has different content: $ cat /tmp/ghc-8.4.1/GIT_COMMIT_ID 0a3e2f324dbd525d626ebd3d97e8ffa1cf2f0ffb Ben, would you mind updating the git tag to reflect reality, to avoid confusion

TcPluginContradiction understanding problem and converting Type to Typeable

Hello, I'm writing a type-checker plugin for ghc, and I'm stuck on two problems. I can't understand how does TcPluginContradiction work. My problem is, when I do TcPluginContradiction listOfFailedConstraints and run the plugin on something which should fail, compiler output contains strange

Re: GHC Core / STG to supercombinators

> On 10 Apr 2018, at 9:23 am, Csaba Hruska wrote: > > I'd like to use GHC as a haskell frontend in a project. > I wonder what is the easiest way to compile Haskell to supercombinators (top > level functions) using GHC as a library. > > Is it possible to use the