#1595: duplicate "not in scope" error when giving multiple vars type-signatures
at
once
-----------------------------+----------------------------------------------
Reporter: Isaac Dupree | Owner:
Type: bug | Status: new
Priority: normal | Milestone: 6.10
Component: Compiler | Version: 6.6.1
Severity: minor | Resolution:
Keywords: | Difficulty: Unknown
Os: Unknown | Testcase:
Architecture: Unknown |
-----------------------------+----------------------------------------------
Changes (by simonpj):
* milestone: => 6.10
Comment:
Good point. This is a rare case where GHC does not preserve the original
source syntax, and really it should. At the moment we have in `HsBinds`
{{{
data Sig name -- Signatures and pragmas
= -- An ordinary type signature
-- f :: Num a => a -> a
TypeSig (Located name) -- A bog-std type signature
(LHsType name)
}}}
Really that `(Located name)` should be a list `[Located name]`. Making
this change consistently should not be hard. Still, it's not very
important, so I think I'll milestone it for 6.10, not 6.8.
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1595>
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
