#9107: An alternative to witness values ----------------------------+---------------------------------------------- Reporter: | Owner: spacekitteh | Status: closed Type: feature | Milestone: request | Version: 7.9 Priority: normal | Keywords: Component: | Architecture: Unknown/Multiple Compiler | Difficulty: Moderate (less than a day) Resolution: invalid | Blocked By: Operating System: | Related Tickets: Unknown/Multiple | Type of failure: | None/Unknown | Test Case: | Blocking: | ----------------------------+---------------------------------------------- Changes (by carter): * status: new => closed * resolution: => invalid Comment: This seems to be covered by using either of Implicit Params or Proxy types the Proxy witness type in http://www.haskell.org/ghc/docs/7.8.2/html/libraries/base-4.7.0.0/Data- Proxy.html see http://www.haskell.org/ghc/docs/7.8.2/html/users_guide/other-type- extensions.html for info on implicit parameters closing. Also ask me or others on IRC if stumped about how to use those -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9107#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler