#1831: reify never provides the declaration of variables -------------------------------------+------------------------------------- Reporter: guest | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: ⊥ Component: Template Haskell | Version: 6.8.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by parsonsmatt): I'd like to register interest in having this available :) My specific use case is walking the AST from a given point to capture uses of `throw`, `throwM`, `throwIO`, etc. and try to get a list of possible exception types that might arise from a given function. eg: {{{ openFile' :: FilePath -> IO (Either IOException String) openFile' f = [catch|openFile f|] }}} It seems like this would be useful for other sorts of static analysis, as well. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/1831#comment:16 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler