[Haskell-cafe] Possible extension to Haskell overloading behavior

Chris Smith cdsmith at gmail.com
Tue Jul 9 23:13:15 CEST 2013

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?

On Tue, Jul 9, 2013 at 1:51 PM, Chris Smith <cdsmith at gmail.com> wrote:
> Oh, never mind.  In this case, I guess I don't need an extension at all!
> On Tue, Jul 9, 2013 at 1:47 PM, Chris Smith <cdsmith at gmail.com> wrote:
>> Oh, yes.  That looks great!  Also seems to work with OverloadedStrings
>> in the natural way in GHC 7.6, although that isn't documented.
>> Now if only it didn't force NoImplicitPrelude, since I really want to
>> -hide-package base and -package my-other-prelude.  Even adding
>> -XImplicitPrelude doesn't help.
>> On Tue, Jul 9, 2013 at 11:46 AM, Aleksey Khudyakov
>> <alexey.skladnoy at gmail.com> wrote:
>>> On 08.07.2013 23:54, Chris Smith wrote:
>>>> So I've been thinking about something, and I'm curious whether anyone
>>>> (in particular, people involved with GHC) think this is a worthwhile
>>>> idea.
>>>> I'd like to implement an extension to GHC to offer a different
>>>> behavior for literals with polymorphic types.  The current behavior is
>>>> something like:
>>> Probably RebidableSyntax[1] could work for you. From description it
>>> allows to change meaning of literals.
>>> [1]
>>> http://www.haskell.org/ghc/docs/7.6.3/html/users_guide/syntax-extns.html#rebindable-syntax
>>> _______________________________________________
>>> Haskell-Cafe mailing list
>>> Haskell-Cafe at haskell.org
>>> http://www.haskell.org/mailman/listinfo/haskell-cafe

More information about the Haskell-Cafe mailing list