#4116: Type supplement for constructor specific uses of sum types
---------------------------------+------------------------------------------
Reporter: gabrielrf | Owner:
Type: proposal | Status: new
Priority: normal | Component: Compiler
Version: 6.13 | Keywords:
Os: Unknown/Multiple | Testcase:
Architecture: Unknown/Multiple | Failure: None/Unknown
---------------------------------+------------------------------------------
Changes (by gabrielrf):
* cc: griba2...@… (added)
Comment:
Replying to [comment:3 gabrielrf]:
> Related theoretical article:
http://winterkoninkje.livejournal.com/56979.html
The type supplement could be seen as a type narrowing mechanism to the
"difference types" explained in the article.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4116#comment:8>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
