[Haskell-cafe] Possible extension to Haskell overloading behavior

[Chris Smith]

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