#7961: Remove restrictions on promoting GADT's
---------------------------------+------------------------------------------
Reporter: danharaj | Owner:
Type: feature request | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.6.3
Keywords: | Os: Unknown/Multiple
Architecture: Unknown/Multiple | Failure: None/Unknown
Difficulty: Unknown | Testcase:
Blockedby: | Blocking:
Related: #6204 |
---------------------------------+------------------------------------------
Comment(by goldfire):
I'm curious to see Simon speak for himself here, but that comment was
inspired by the fact that implementing the type system in that paper adds
a reasonable-sized dollop of complexity to GHC, and to a specific spot on
which the soundness of the whole operation depends. (Reasonable people
differ on what a reasonable-sized dollop of complexity is, of course.)
Simon has expressed reluctance at merging and complicating GHC. We are
consumed by other tasks at the moment, but I'm looking forward to pressing
this issue more in a few weeks. The comment that it could be merged by
midsummer remains a hopeful but sensible goal.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7961#comment:7>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
ghc-tickets mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/ghc-tickets
