Re: User constructed types with new Data.Typeable and Data.Reflection

2018-02-10 Thread Edward Kmett
Did you mean Type.Reflection? (reflection's Data.Reflection offers a completely unrelated notion of Typeable reflection, hence my confusion.) -Edward On Sat, Feb 10, 2018 at 5:16 AM, Development wrote: > Hey guys I have a (hopefully quick) question. > > With the new

Re: StgLint worth maintaining?

2018-02-10 Thread Ömer Sinan Ağacan
Created #14787 as tracking ticket. Patch is at D4404. Ömer 2018-02-09 12:22 GMT+03:00 Simon Peyton Jones : > Good summary! I suggest that you open a ticket with this email as the > Description. Then we can point to it later. > > I agree that there is little point in

User constructed types with new Data.Typeable and Data.Reflection

2018-02-10 Thread Development
Hey guys I have a (hopefully quick) question. With the new `Data.Typeable` and `Data.Reflection` in base 4.10 have we really lost the ability for users to compose `TypeRep`’s? I was using `Data.Typeable` before (mainly `mkTyConApp`). But in the new base 4.10 I cannot find any way to achieve