GitLab

@@ -879,7 +879,7 @@ generator never has to manipulate a value of type 'a :: TYPE rr'.
  * error :: forall (rr::RuntimeRep) (a::TYPE rr). String -> a
    Code generator never has to manipulate the return value.
 -* unsafeCoerce#, defined in Desugar.mkUnsafeCoercePair:
 +* unsafeCoerce#, defined in Desugar.mkUnsafeCoercePrimPair:
    Always inlined to be a no-op
       unsafeCoerce# :: forall (r1 :: RuntimeRep) (r2 :: RuntimeRep)
                               (a :: TYPE r1) (b :: TYPE r2).

@@ -599,6 +599,8 @@ even if we need pure access; note that wiring-in an Id requires all
  entities used in its definition *also* to be wired in, transitively
  and recursively.  This can be a huge pain.  The little trick
  documented here allows us to have the best of both worlds.
 +(This has been improved with the new known-occ/keys work.
 + See Note [Overview of known entities] in GHC.Builtin.)
  Motivating example: unsafeCoerce#. See [Wiring in unsafeCoerce#] for the
  details.

@@ -616,7 +616,7 @@ dsLookupKnownOccId uniq = tyThingId <$> dsLookupKnownOccThing uniq
  --------------------------------------
  -- Lookups for known-key things
 -dsLookupKnownKeyName :: KnownKey -> DsM Name
 +dsLookupKnownKeyName :: HasDebugCallStack => KnownKey -> DsM Name
  dsLookupKnownKeyName uniq
    = do { rebindable_src <- dsGetKnownKeySource
         ; dsToIfL $

@@ -2566,7 +2566,7 @@ tcGhciStmts stmts
        -- We use Any rather than a dummy type such as () because of
        -- the rules of unsafeCoerce#; see Unsafe/Coerce.hs for the details.
 -      ; AnId unsafe_coerce_id <- tcLookupKnownKeyGlobal unsafeCoercePrimIdKey
 +      ; unsafe_coerce_id <- tcLookupKnownKeyId unsafeCoercePrimIdKey
             -- We use unsafeCoerce# here because of (U11) in
             -- Note [Implementing unsafeCoerce] in base:Unsafe.Coerce