#12360: Extend support for binding implicit parameters -------------------------------------+------------------------------------- Reporter: MichaelBurge | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.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 Iceland_jack): This is a bad idea right: {{{#!hs pattern ImplicitTime :: (?t::UTCTime) => UTCTime pattern ImplicitTime = ?t printTime :: (?t :: UTCTime) => IO () printTime = putStrLn $ show ImplicitTime main = do ImplicitTime <- getCurrentTime printTime }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12360#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler