Skip to content

Out-of-date commentary in Tc.Deriv.Infer

Check out https://gitlab.haskell.org/ghc/ghc/-/blob/15ab6cd548f284732a7f89d78c2b89b1bfc4ea1d/compiler/GHC/Tc/Deriv/Infer.hs#L805

  • The commentary there talks about creating a variable unsolved, which does not seem to exist.

  • In addition, the partition below creates bad, which is just ignored. Maybe this is right -- I have not thought about it. But if it is right, it should be documented.

cc @RyanGlScott

Edited by Ryan Scott
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information