Hi all,
I just found myself in the need of Uniquable instance for RdrName. I'm
surprised that such
instance does not exist already because other datatypes like Name or OccName
already have
Uniquable instances. So, is there a reason why Uniquable instance for RdrName
does not exist
already (o
Copying ghc-devs. Oleg says:
| Sorry for reporting a problem via e-mail. It seems track no
| longer accepts anonymous (guest) submissions. When I tried to register
| the account I was told that my submission is a spam. The tracker is
| really well protected.
Can anyone help him? I'll ope
Forwarding to haskell-infrastructure.
-- Forwarded message --
From: Simon Peyton Jones
Date: Mon, Jun 16, 2014 at 8:59 AM
Subject: RE: Regression in the typechecker in GHC 7.8.2
To: "o...@okmij.org" , "ghc-devs@haskell.org" <
ghc-devs@haskell.org>
Copying ghc-devs. Oleg says:
Without looking into the precise details, this looks dangerous to me. Why do
you want this? The danger I see lurking is that you might find two RdrNames
that give the same answer to getUnique but represent different things:
foo x = x + (\x -> x) 3
I see two `x`s there that will have the same Un
> Why do you want this? The danger I see lurking is that you might find two
> RdrNames that give the same answer to getUnique but represent different
Yes, that's exactly my concern.
> Why do you want this?
I'm working on #7282 - RebindableSyntax and Arrows. Here's a snippet from
desugaring of arr
FYI it's #7828, not #7282.
Jan, I'm very glad you're working on this. Thanks!
On Mon, Jun 16, 2014 at 2:33 PM, Jan Stolarek
wrote:
> > Why do you want this? The danger I see lurking is that you might find two
> > RdrNames that give the same answer to getUnique but represent different
> Yes, th
would making arrow remindable involve dropping the arr == haksell functions
assumption or doing something that would allow generalized arrows?
On Mon, Jun 16, 2014 at 5:14 PM, Nicolas Frisby
wrote:
> FYI it's #7828, not #7282.
>
> Jan, I'm very glad you're working on this. Thanks!
>
>
> On Mon,