#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