Commit 982604d0 authored by simonmar's avatar simonmar
Browse files

[project @ 2002-03-18 09:44:46 by simonmar]

update mention of PrelGHC
parent 801c9549
......@@ -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
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment