#12529: Error message: visible type application of constructor/variable that is not in scope -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Resolution: | Keywords: | TypeApplications Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect | Unknown/Multiple warning at compile-time | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by Iceland_jack): This gave me pause when I thought `Proxy` was in scope and tried applying to to a type variable `Proxy @s` -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12529#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler