But how long will it be until someone posts a bug report complaining
#11376: Inconsistent specified type variables among functions and datatypes/classes when using -XTypeApplications -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: goldfire Type: bug | Status: new Priority: normal | Milestone: 8.0.1 Component: Compiler (Type | Version: 8.1 checker) | Keywords: Resolution: | TypeApplications Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: Other | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by simonpj): OK, well we can both live with * `:type var` prints the original type of `var`, whereas `:type expr` typechecks, instantiates, and re-generalises the type of `expr`. that `:t (blah)` is different from `:t blah`? Maybe not long, but we can just point to the user manual. Having two commands is a pain when you can get the second by adding parens to the first. Now we just need someone to do it. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11376#comment:34 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler