#4404: RecordWildCards
----------------------------------------+-----------------------------------
Reporter: igloo | Owner:
Type: bug | Status: new
Priority: normal | Milestone: 7.2.1
Component: Compiler (Type checker) | Version: 6.12.3
Keywords: | Testcase:
Blockedby: | Difficulty:
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: None/Unknown
----------------------------------------+-----------------------------------
With this module:
{{{
{-# LANGUAGE RecordWildCards #-}
module TT where
data T = T {t1, t2 :: Int}
f :: T -> Int
f d = x
where T {t1 = x, ..} = d
g :: T -> Int
g (T {t1 = x, ..}) = x
}}}
`f` gives warnings about t2 being unused:
{{{
$ ghc -Wall -c n.hs
n.hs:9:11: Warning: Defined but not used: `t2'
}}}
which is probably not what we want for variables bound by a wildcard.
Reported by Serge here:
http://www.haskell.org/pipermail/glasgow-haskell-
bugs/2010-October/025858.html
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4404>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
