Outdated comment in GHC.Real
GHC.Real
(lines 518-534) says:
{- Rules for powers with known small exponent
...
It might be desirable to have corresponding rules also for
exponents of other types, in particular Word, but we can't
have those rules here (importing GHC.Word or GHC.Int would
create a cyclic module dependency), and it's doubtful they
would fire, since the exponents of other types tend to get
floated out before the rule has a chance to fire.
The remark about cyclic module dependency seems to be outdated: nowadays GHC.Real
certainly has Word
in scope. My proposal is to exclude this remark and change the paragraph to
It might be desirable to have corresponding rules also for
exponents of other types (e. g., Word), but it's doubtful they
would fire, since the exponents of other types tend to get
floated out before the rule has a chance to fire.
Trac metadata
Trac field | Value |
---|---|
Version | 8.2.1 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Documentation |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |