Re: [GHC] #11329: Visible type applications: failing tests with WAY=hpc

15 Mar 2016

      #11329: Visible type applications: failing tests with WAY=hpc
-------------------------------------+-------------------------------------
        Reporter:  thomie            |                Owner:  goldfire
            Type:  bug               |               Status:  new
        Priority:  high              |            Milestone:  8.0.1
       Component:  Compiler          |              Version:  7.11
      Resolution:                    |             Keywords:
                                     |  TypeApplications
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
                                     |  parser/should_compile/VtaParse
                                     |  typecheck/should_compile/Vta1
                                     |  typecheck/should_compile/Vta2
      Blocked By:                    |             Blocking:
 Related Tickets:  #11456            |  Differential Rev(s):  Phab:D1824
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by Richard Eisenberg <eir@…>):

 In [changeset:"972730cc42a419b8cd148abaa927e03415da3a68/ghc" 972730c/ghc]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="972730cc42a419b8cd148abaa927e03415da3a68"
 Refactor visible type application.

 This replaces the old HsType and HsTypeOut constructors
 with HsAppType and HsAppTypeOut, leading to some simplification.
 (This refactoring addresses #11329.)

 This also fixes #11456, which stumbled over HsType (which is
 not an expression).

 test case: ghci/scripts/T11456

 [skip ci]
 }}}

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