[GHC] #8884: Reifying closed type families is broken

GHC ghc-devs at haskell.org
Mon Mar 17 18:19:07 UTC 2014


#8884: Reifying closed type families is broken
-------------------------------------+------------------------------------
        Reporter:  goldfire          |            Owner:  goldfire
            Type:  bug               |           Status:  closed
        Priority:  normal            |        Milestone:  7.8.1
       Component:  Template Haskell  |          Version:  7.8.1-rc2
      Resolution:  fixed             |         Keywords:
Operating System:  Unknown/Multiple  |     Architecture:  Unknown/Multiple
 Type of failure:  None/Unknown      |       Difficulty:  Unknown
       Test Case:  th/T8884          |       Blocked By:
        Blocking:                    |  Related Tickets:
-------------------------------------+------------------------------------

Comment (by nomeata):

 Test case fails on ghc-7.8:
 {{{
 Actual stderr output differs from expected:
 --- ./th/T8884.stderr   2014-03-17 16:06:49.515482947 +0000
 +++ ./th/T8884.comp.stderr      2014-03-17 16:44:36.121051051 +0000
 @@ -1,3 +0,0 @@
 -type family T8884.Foo (a_0 :: k_1) :: k_1 where T8884.Foo x_2 = x_2
 -type family T8884.Baz (a_0 :: k_1) :: *
 -type instance T8884.Baz x_0 = x_0
 *** unexpected failure for T8884(normal)
 }}}
 https://s3.amazonaws.com/archive.travis-ci.org/jobs/20947547/log.txt
 Maybe some test files missing?

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


More information about the ghc-tickets mailing list