#5334: record wildcards: field not initialised reported as type error
---------------------------------+------------------------------------------
Reporter: aruiz | Owner: simonpj
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.0.4
Keywords: | Testcase:
Blockedby: | Difficulty:
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: GHC rejects valid program
---------------------------------+------------------------------------------
Comment(by simonpj@…):
commit 5d89565b043eaff9028205b79363ef0d0c17ff17
{{{
Author: Simon Peyton Jones <[email protected]>
Date: Wed Jul 20 15:38:58 2011 +0100
Improve semantics of wild-card expansion (fixes #5334)
When expanding the {..} stuff in an *expression*, take
account of which variables are in scope.
I updated the documentation, and in doing so found that
part of the previously-documented semantics wasn't implemented
(namely the stuff about fields in scope), so I fixed that too.
compiler/rename/RnEnv.lhs | 43 ++++++++++++++++-----------
compiler/rename/RnPat.lhs | 57
++++++++++++++++++++++++++-----------
docs/users_guide/glasgow_exts.xml | 33 ++++++++++++++++-----
3 files changed, 90 insertions(+), 43 deletions(-)
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5334#comment:2>
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
