#2595: Implement record update for existential and GADT data types
------------------------------+---------------------------------------------
Reporter: simonpj | Owner:
Type: feature request | Status: new
Priority: normal | Milestone: 6.12 branch
Component: Compiler | Version: 6.8.3
Resolution: | Keywords:
Testcase: tc244 | Blockedby:
Difficulty: Unknown | Os: Unknown/Multiple
Blocking: | Architecture: Unknown/Multiple
Failure: None/Unknown |
------------------------------+---------------------------------------------
Comment(by simonmar):
This has a similar flavour to typechecking pattern bindings, where we
decided we wanted the static semantics to be defined by the desugaring
([http://hackage.haskell.org/trac/haskell-
prime/wiki/SpecifyPatternBindingSemantics]). I know nothing about the
typechecker, but perhaps this is a two birds/one stone situation?
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2595#comment:6>
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
