[GHC] #9107: An alternative to witness values

[GHC]

#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