#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 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? For (2) I suggest just saying `(3 :: Int)`. There are more exciting things to do than allow "@" in place of "::". -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/5296#comment:18 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler