[Git][ghc/ghc][wip/amg/hasfield-2020] fixup! Rewrite matchHasField to generate evidence more directly

[Adam Gundry]

Adam Gundry pushed to branch wip/amg/hasfield-2020 at Glasgow Haskell Compiler / GHC


Commits:
a943914b by Adam Gundry at 2020-09-20T16:20:58+01:00
fixup! Rewrite matchHasField to generate evidence more directly

- - - - -


1 changed file:

- compiler/GHC/Tc/Instance/Class.hs


Changes:

=====================================
compiler/GHC/Tc/Instance/Class.hs
=====================================
@@ -691,7 +691,7 @@ matchHasField dflags short_cut clas tys
                -- the field selector should be in scope
              , Just gre <- lookupGRE_FieldLabel rdr_env fl
 
-             -> ASSERT ( k `eqType` typeSymbolKind )
+             -> ASSERT( k `eqType` typeSymbolKind )
                -- Look up the updater and instantiate its type with fresh metavars
                 do { upd_id <- tcLookupId (flUpdate fl)
                    ; inst_upd@(_, _, upd_ty) <- tcInstType newMetaTyVars upd_id



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/a943914b0cc0c9a399bd575651a2ba4ab9375ae8

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/a943914b0cc0c9a399bd575651a2ba4ab9375ae8
You're receiving this email because of your account on gitlab.haskell.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20200920/9c6326e3/attachment.html>