#5296: Add explicit type applications -------------------------------------+------------------------------------- Reporter: dsf | Owner: goldfire Type: feature request | Status: new Priority: low | Milestone: 7.12.1 Component: Compiler (Type | Version: 7.0.3 checker) | Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: 1897 | Blocking: Related Tickets: | Differential Revisions: Phab:D1138 -------------------------------------+------------------------------------- Comment (by goldfire): Replying to [comment:18 simonpj]:

Can I tell, in GHCi, whether a particular function (perhaps in scope by being imported) is amenably to VTA? Perhaps `:info f` tells me?

No. But there should be. `:info` would be easy to modify. But I think `:type` should indicate this as well somehow.

For (2) I suggest just saying `(3 :: Int)`. There are more exciting

things to do than allow "@" in place of "::". Yes, I suppose that's true. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/5296#comment:19 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler