Sorry about being late to the conversation, but if you need a map
from Type to something, go look at TypeMap in the TrieMap module.
Edward
Excerpts from Levent Erkok's message of 2017-07-28 23:12:32 -0700:
> I'm trying to port some plugin code from GHC 8.0.2 to GHC 8.2.1; alas I'm
> getting an er
Thanks!
Turns out I actually needed an `Ord` instance for `(TyCon, [TyCon])`, which
made using `UniqFM` rather difficult, but it wasn't hard to work around the
issue by using nonDetCmpUnique function from the `Unique` module. For a
side project, I think it's good enough..
Cheers,
-Levent.
On Sa
Brandon Allbery writes:
> On Sat, Jul 29, 2017 at 10:07 AM, Ben Gamari wrote:
>
>> Hmm. I am unable to reproduce this,
>>
>> $ ghci
>> λ> import Type.Reflection
>> λ> let tc = typeRepTyCon (typeRep @Int)
>> λ> tc == tc
>> True
>>
>> Does that work for you?
>>
>
> Maybe I'm mi
On Sat, Jul 29, 2017 at 10:07 AM, Ben Gamari wrote:
> Hmm. I am unable to reproduce this,
>
> $ ghci
> λ> import Type.Reflection
> λ> let tc = typeRepTyCon (typeRep @Int)
> λ> tc == tc
> True
>
> Does that work for you?
>
Maybe I'm missing something, but doesn't that only tes
Levent Erkok writes:
> I'm trying to port some plugin code from GHC 8.0.2 to GHC 8.2.1; alas I'm
> getting an error suggesting that TyCon is no longer an instance of Ord:
>
> Data/SBV/Plugin/Analyze.hs:580:33: error:
> • No instance for (Ord TyCon) arising from a use of ‘M.lookup’
> The
Hi,
Maybe you can use UniqFM for your map:
https://hackage.haskell.org/package/ghc-8.2.1/docs/UniqFM.html
Regards,
Benno
Hi Levent,
>
> that seems to be this commit, part of the making-ghc-deterministic effort:
>
> https://ghc.haskell.org/trac/ghc/ticket/4012#comment:213
>
> CC @niteria who mi
Hi Levent,
that seems to be this commit, part of the making-ghc-deterministic effort:
https://ghc.haskell.org/trac/ghc/ticket/4012#comment:213
CC @niteria who might be answer your question.
Niklas
On 29/07/17 08:12, Levent Erkok wrote:
> I'm trying to port some plugin code from GHC 8.0.2 to
I'm trying to port some plugin code from GHC 8.0.2 to GHC 8.2.1; alas I'm
getting an error suggesting that TyCon is no longer an instance of Ord:
Data/SBV/Plugin/Analyze.hs:580:33: error:
• No instance for (Ord TyCon) arising from a use of ‘M.lookup’
There are instances for similar types