[GHC] #14432: Outdated comment in GHC.Real

GHC ghc-devs at haskell.org
Mon Nov 6 23:53:37 UTC 2017


#14432: Outdated comment in GHC.Real
-------------------------------------+-------------------------------------
           Reporter:  Bodigrim       |             Owner:  (none)
               Type:  bug            |            Status:  new
           Priority:  normal         |         Milestone:
          Component:  Documentation  |           Version:  8.2.1
           Keywords:                 |  Operating System:  Unknown/Multiple
       Architecture:                 |   Type of failure:  Documentation
  Unknown/Multiple                   |  bug
          Test Case:                 |        Blocked By:
           Blocking:                 |   Related Tickets:
Differential Rev(s):                 |         Wiki Page:
-------------------------------------+-------------------------------------
 `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.
 }}}

-- 
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14432>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler


More information about the ghc-tickets mailing list