Re: Changes to Typeable

2012-11-01 Thread Ian Lynagh
On Tue, Oct 30, 2012 at 09:21:49AM +, José Pedro Magalhães wrote: Well, they will at least start throwing warnings, which means validate won't pass. You can disable warnings for those libraries in mk/validate-settings.mk. Perhaps we should permanently disable warnings for all libraries

Re: Changes to Typeable

2012-10-30 Thread José Pedro Magalhães
*Subject:* Re: Changes to Typeable ** ** Sorry, I got a bit lost in this discussion. Let me try to provide a summary. Current status: I have a local branch with the new poly-kinded Typeable working fine. It works as described in [1]. It actually allows deriving Typeable for things

RE: Changes to Typeable

2012-10-29 Thread Simon Peyton-Jones
From: josepedromagalh...@gmail.com [mailto:josepedromagalh...@gmail.com] On Behalf Of José Pedro Magalhães Sent: 29 October 2012 09:06 To: Gábor Lehel; Simon Peyton-Jones; librar...@haskell.org Subject: Re: Changes to Typeable Sorry, I got a bit lost in this discussion. Let me try to provide

RE: Changes to Typeable

2012-10-04 Thread Simon Peyton-Jones
time. Simon From: josepedromagalh...@gmail.com [mailto:josepedromagalh...@gmail.com] On Behalf Of José Pedro Magalhães Sent: 04 October 2012 10:00 To: Simon Peyton-Jones Subject: Re: Changes to Typeable Hi Simon, Just a status update: I have a local branch with the new poly-kinded Typeable

Re: changes in Typeable

2011-07-14 Thread Jack Henahan
I noticed this when I glanced at my build progress: libraries/vector/Data/Vector/Unboxed/Base.hs:32:66: Warning: In the use of `mkTyCon' (imported from Data.Typeable): Deprecated: either derive Typeable, or use mkTyCon3 instead There was some