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.
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
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 cdsm...@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
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
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
This is working now. Trying to use -XRebindableSyntax with
-XImplicitPrelude seems to not work (Prelude is still not loaded) when the
exposed Prelude is from base, but it works fine when the Prelude is from a
different package. Counterintuitive, but it does everything I need it to.
Thanks for
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:
Oops, when I wrote this, I'd assumed it was possible to export
defaults from a module, like an alternate Prelude. But it looks like
they only affect the current module. So this whole thing depends on
also being able to either define defaults in an imported module, or in
options to GHC.
On Mon,
