#1841: Data.Typeable: Instances of basic types don't provide qualified strings
to
mkTyCon
----------------------------+-----------------------------------------------
Reporter: guest | Owner:
Type: bug | Status: new
Priority: normal | Milestone: Not GHC
Component: libraries/base | Version: 6.8.1
Severity: normal | Resolution:
Keywords: | Difficulty: Unknown
Testcase: | Architecture: Unknown
Os: Unknown |
----------------------------+-----------------------------------------------
Comment (by guest):
@simonpj
I'll work in a patch, thanks for your replies.
@igloo
I don't think it will break anyhting, actually it will protect
Data.Typeable from breaking if a user mixes the predefined basic types
with custom ones (strange, I know, but possible anyway). So I think I'll
use Prelude in my patch since it's implementation-independent.
However I don't really know what to do with (->) and [].
For arrows, I think I'll use conditional compilation. "GHC.Prim.(->)" in
the case of GHC and I'll find out where's defined in hugs (maybe it's
treated specially and not really defined anywhere)
But I'm confused about the list constructor. Prelude.[] should work but
I've noticed a wierd GHC behaviour (version 6.6 sorry) when using the
constructor qualified. Is there a reason for which GHC fails parsing the
following declarations?
{{{
f = undefined :: Prelude.[] Prelude.Int
g = undefined :: GHC.Base.[] Prelude.Int
}}}
The errors I get are:
{{{
parse error on input `.'
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1841#comment:9>
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
