#2344: oddity with package prefixes for data constructors
-----------------------------+----------------------------------------------
Reporter: claus | Owner:
Type: feature request | Status: new
Priority: normal | Milestone:
Component: GHCi | Version: 6.9
Severity: normal | Resolution:
Keywords: | Difficulty: Unknown
Testcase: | Architecture: Unknown
Os: Unknown |
-----------------------------+----------------------------------------------
Changes (by claus):
* type: bug => feature request
Comment:
ah, i see. so it is really telling me that the thing is not in scope,
while giving me an indication of what it is that is not in scope.
i first noticed the effect via the type tooltips in my haskellmode plugins
for vim, which are derived from interpreting the output of `:browse!
*Main`. now i see that the difference is between
{{{
import Prelude()
import Data.Time.Clock(getCurrentTime,UTCTime)
}}}
which gives the type of `getCurrentTime` as `GHC.IOBase.IO UTCTime`, and
{{{
import Prelude()
import Data.Time.Clock(getCurrentTime) --,UTCTime)
}}}
which gives the type as `GHC.IOBase.IO
time-1.1.2.0:Data.Time.Clock.UTC.UTCTime`.
okay, so there is a system to this. but the presence of the package prefix
alone does not always imply "not in scope", does it? perhaps some way of
indicating the "not in scope" aspect would be useful (putting it in braces
perhaps?).
anyway, i'm changing this to a feature request. it isn't a bug, just a
little odd and unexpected, and perhaps someone finds a way to make it less
odd, but it isn't high priority.
thanks.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2344#comment:2>
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
