[Haskell-cafe] Possible extension to Haskell overloading behavior

[Aleksey Khudyakov]

On 10.07.2013 01:13, Chris Smith wrote:
> Ugh... I take back the never mind.  So if I replace Prelude with an
> alternate definition, but don't use RebindableSyntax, and then hide
> the base package, GHC still uses fromInteger and such from base even
> though it should be inaccessible.  But if I do use RebindableSyntax,
> then the end-user has to add 'import Prelude' to the top of their
> code.  Am I missing something?
>
If base is hidden GHCi refuses to start becaus it can't import Prelude 
(with -XNoImplicitPrelude it starts just fine).

According to documentation GHC will use whatever fromInteger is in 
scope. But I never used extension in such way.