[Haskell-cafe] Possible extension to Haskell overloading behavior

Chris Smith cdsmith at gmail.com
Tue Jul 9 22:47:50 CEST 2013

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