Re: 8.2.1: Ord TyCon is gone?

2017-07-29 Thread Edward Z. Yang
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

Re: 8.2.1: Ord TyCon is gone?

2017-07-29 Thread Levent Erkok
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

Re: 8.2.1: Ord TyCon is gone?

2017-07-29 Thread Ben Gamari
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 >>

Re: 8.2.1: Ord TyCon is gone?

2017-07-29 Thread Brandon Allbery
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,

Re: 8.2.1: Ord TyCon is gone?

2017-07-29 Thread Ben Gamari
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

Re: 8.2.1: Ord TyCon is gone?

2017-07-29 Thread Benno Fünfstück
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

Re: 8.2.1: Ord TyCon is gone?

2017-07-29 Thread Niklas Hambüchen
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