[GHC] #15016: Referencing a do-bound variable in a rec block with ApplicativeDo results in variable not in scope during type checking

[GHC]

#15016: Referencing a do-bound variable in a rec block with ApplicativeDo results
in variable not in scope during type checking
-------------------------------------+-------------------------------------
        Reporter:  rjmk              |                Owner:  sighingnow
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:  8.4.3
       Component:  Compiler          |              Version:  8.2.2
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by rjmk):

 I'm not sure I understand you correctly when you say

 > When we use rec in do blocks, rather than mdo blocks, the outer
 variables won't be included into the scope of rec block.

 so this may not be relevant, but removing the ApplicativeDo allows the
 code to compile.

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