I've often needed to use Semigroup <> and pretty-print <> in the same
module. Thanks for trying to improve the situation.
Are there other Semigroups where people want the right-associative > b <+> c` occur more often than
`a <+> b <> c`? Or is that just an artifact of the pretty-printing <>
bein
On 2015-08-03 at 04:43, Phil Ruffwind wrote:
> I think the error message could be made clearer simply by emphasizing the fact
> that type ambiguity over the lack of instances.
>
> Ambiguous type variable 't0' arising from a use of
> elem :: a -> t0 a -> Bool
> caused by the lack of a
On 2015-08-02 at 23:17, Reid Barton wrote:
> It may be worth noting that the existing error message is actually
> technically
> correct, in the sense that what would be needed for the program to compile
> is exactly an instance of the form "instance Foldable t where ...". Then the
> compiler would
On 2015-07-31 at 08:59, Simon Peyton Jones wrote:
> Daniel Bergey wrote:
> | How hard would it be to give a different error message instead of "No
> | instance ..." when the type variable is ambiguous? I always find this
> | error slightly misleading, since it seem
On 2015-07-30 at 21:39, Michael Karg wrote:
> I guess without that pragma, the string literals already imply t ~ [] for
> Foldable t.
You're basically right. Without OverloadedStrings, a string literal
("foo") is always a String. With OverloadedStrings, it's free to be
any t such that IsString
I just read that GHC wants to convert the manual to asciidoc. If no one
else has yet volunteered to do this, I hearby volunteer myself.
I haven't contributed to the GHC manual before, nor to GHC. I guess
that I will need to learn my way around Phabricator? I expect to be
proof-reading sections
