#13305: static: check for identifiers should only consider term level variables -------------------------------------+------------------------------------- Reporter: edsko | Owner: (none) Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 8.0.2 Resolution: worksforme | Keywords: | StaticPointers 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 facundo.dominguez): Tried all of these and they were accepted by ghc: {{{ f0 :: StaticPtr (Int -> Int) f0 = static id f1 :: Typeable a => StaticPtr (a -> a) f1 = static id f2 :: Typeable a => Dict (Num a) -> StaticPtr (a -> a) f2 Dict = static id f3 :: Typeable a => StaticPtr (Dict (Num a) -> a -> a) f3 = static (\Dict -> (+1)) }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13305#comment:15 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler