Re: [Haskell-cafe] Possible extension to Haskell overloading behavior

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.