[Haskell-cafe] Possible extension to Haskell overloading behavior

[Chris Smith]

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