Johan,
to summarize:
1. If an instance is marked as OVERLAPPABLE, then clients may overlap it
without having any pragmas
2. If an instance is NOT marked OVERLAPPABLE, then clients may still
overlap it, but then they have to use an explicit OVERLAPPING pragma.
So you should either add
Hi,
On 25 August 2015 at 14:18, Johan Tibell johan.tib...@gmail.com wrote:
The proposed change to my library is here:
https://github.com/tibbe/cassava/pull/95/files
We remove the OverlappingInstances pragma and instead add an OVERLAPPABLE
pragma like so:
instance {-# OVERLAPPABLE #-}
Hi all,
I want to write a URL to represent GHC. It seems that www.haskell.org/ghc is
the right one. But that page is quite ugly! A full redesign is always a
challenge, so I'll make a simple request: remove announcements of old releases,
for some definition of old. (I suggest: all releases from
Hi,
A low-effort alternative would be to swap the order of the 'Latest News'
and 'What is GHC?' sections.
Cheers,
Dave
On Wed, Aug 26, 2015 at 2:21 PM, dongen don...@cs.ucc.ie wrote:
* Richard Eisenberg e...@cis.upenn.edu [2015-08-25 22:34:16 -0400]:
: I want to write a URL to represent
It seems like in your App syntax you're having a non-function in function
position. You can see this by looking at what failing function
(splitFunTy_maybe) is doing:
splitFunTy_maybe :: Type - Maybe (Type, Type)
-- ^ Attempts to extract the argument and result types from a type
...
* Richard Eisenberg e...@cis.upenn.edu [2015-08-25 22:34:16 -0400]:
: I want to write a URL to represent GHC. It seems that
: www.haskell.org/ghc is the right one. But that page is quite ugly!
: A full redesign is always a challenge, so I'll make a simple request:
: remove announcements of old
The purpose of the plugin is to automatically improve the numerical
stability of Haskell code. It is supposed to identify numeric
expressions, then use Herbie (https://github.com/uwplse/herbie) to
generate a numerically stable version, then rewrite the numerically
stable version back into the
The proposed change to my library is here:
https://github.com/tibbe/cassava/pull/95/files
We remove the OverlappingInstances pragma and instead add an OVERLAPPABLE
pragma like so:
instance {-# OVERLAPPABLE #-} FromField a = FromField (Maybe a) where
This causes clients of the library that
Would it be OK if they added the OVERLAPPING pragma first and then I change my
library to use OVERLAPPABLE?
I think so, yes. Does that not work? Is it bad? Do you think the semantics is
wrong?
Simon
From: Johan Tibell [mailto:johan.tib...@gmail.com]
Sent: 25 August 2015 13:19
To: Simon
