[GHC] #13659: Bug report: "AThing evaluated unexpectedly tcTyVar a_alF"

[GHC]

#13659: Bug report: "AThing evaluated unexpectedly tcTyVar a_alF"
-------------------------------------+-------------------------------------
        Reporter:  costaparas        |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  highest           |            Milestone:
       Component:  Compiler          |              Version:  8.0.1
      Resolution:                    |             Keywords:
Operating System:  Linux             |         Architecture:  x86_64
 Type of failure:  Compile-time      |  (amd64)
  performance bug                    |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by RyanGlScott):

 I can't reproduce this bug on GHC 8.0.1 or later:

 {{{
 $ /opt/ghc/8.0.1/bin/ghci Bug.hs
 GHCi, version 8.0.1: http://www.haskell.org/ghc/  :? for help
 Loaded GHCi configuration from /home/rgscott/.ghci
 [1 of 1] Compiling Printf           ( Bug.hs, interpreted )

 Bug.hs:12:27: error:
     • Expected a type, but ‘a’ has kind ‘[*]’
     • In the first argument of ‘Format’, namely ‘'[Int, a]’
       In the type ‘Format '[Int, a]’
       In the definition of data constructor ‘I’
 Failed, modules loaded: none.
 }}}

 Commit 5955510e5f57464b1f4f42b510e3558d6e691380 was what fixed it.

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