From: simonmar Date: Mon, 18 Mar 2002 09:44:46 +0000 (+0000) Subject: [project @ 2002-03-18 09:44:46 by simonmar] X-Git-Tag: Approx_11550_changesets_converted~2256 X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=982604d0ed218a2547959427caf691d50783fe87;p=ghc-hetmet.git [project @ 2002-03-18 09:44:46 by simonmar] update mention of PrelGHC --- diff --git a/ghc/compiler/basicTypes/MkId.lhs b/ghc/compiler/basicTypes/MkId.lhs index f9a9e87..0be245e 100644 --- a/ghc/compiler/basicTypes/MkId.lhs +++ b/ghc/compiler/basicTypes/MkId.lhs @@ -773,12 +773,12 @@ mkDictFunId dfun_name clas inst_tyvars inst_tys dfun_theta %* * %************************************************************************ -These Ids can't be defined in Haskell. They could be defined in -unfoldings in PrelGHC.hi-boot, but we'd have to ensure that they -were definitely, definitely inlined, because there is no curried -identifier for them. That's what mkCompulsoryUnfolding does. -If we had a way to get a compulsory unfolding from an interface file, -we could do that, but we don't right now. +These Ids can't be defined in Haskell. They could be defined in +unfoldings in the wired-in GHC.Prim interface file, but we'd have to +ensure that they were definitely, definitely inlined, because there is +no curried identifier for them. That's what mkCompulsoryUnfolding +does. If we had a way to get a compulsory unfolding from an interface +file, we could do that, but we don't right now. unsafeCoerce# isn't so much a PrimOp as a phantom identifier, that just gets expanded into a type coercion wherever it occurs. Hence we