[GHC] #8088: Disposable types language extension

[GHC]

#8088: Disposable types language extension
----------------------------+----------------------------------------------
        Reporter:  schyler  |            Owner:
            Type:  feature  |           Status:  closed
  request                   |        Milestone:
        Priority:  normal   |          Version:
       Component:           |         Keywords:
  Compiler                  |     Architecture:  Unknown/Multiple
      Resolution:  invalid  |       Difficulty:  Moderate (less than a day)
Operating System:           |       Blocked By:
  Unknown/Multiple          |  Related Tickets:
 Type of failure:           |
  None/Unknown              |
       Test Case:           |
        Blocking:           |
----------------------------+----------------------------------------------

Comment (by carter):

 Just to explain more, while in principal thats a great idea, that has a
 lot of implications for the garbage collector, and it doesn't address the
 fact that there might be more than one valid handle! (how does the GC
 understand equality among handles?! ). Theres a lot of subtleties, though
 there are probably some good experiments that could be done with the
 garbage collector to explore this.

 Basically: this is a research project, not a feature :)

-- 
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8088#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler