. Hölzenspies
Cc: Simon Peyton Jones; Edward Kmett; ghc-devs@haskell.org
Subject: Re: Broken Data.Data instances
And I dipped my toes into the phabricator water, and uploaded a diff to
https://phabricator.haskell.org/D153
I left the lines long for now, so that it is clear that I simply added
is, of course, a good one ;)
Regards,
Philip
From: Alan Kim Zimmerman [mailto:alan.z...@gmail.com]
Sent: maandag 28 juli 2014 14:10
To: Holzenspies, P.K.F. (EWI)
Cc: Simon Peyton Jones; Edward Kmett; ghc-devs@haskell.org
Subject: Re: Broken Data.Data instances
Philip
I
;)
Regards,
Philip
*From:* Alan Kim Zimmerman [mailto:alan.z...@gmail.com]
*Sent:* maandag 28 juli 2014 14:10
*To:* Holzenspies, P.K.F. (EWI)
*Cc:* Simon Peyton Jones; Edward Kmett; ghc-devs@haskell.org
*Subject:* Re: Broken Data.Data instances
Philip
I think the main reason
: Philip K.F. Hölzenspies; Edward Kmett; ghc-devs@haskell.org
Subject: Re: Broken Data.Data instances
Did you look at https://phabricator.haskell.org/D157? It superseded
https://phabricator.haskell.org/D153
On Fri, Aug 15, 2014 at 5:17 PM, Simon Peyton Jones
simo...@microsoft.commailto:simo
Zimmerman [mailto:alan.z...@gmail.com]
*Sent:* maandag 28 juli 2014 14:10
*To:* Holzenspies, P.K.F. (EWI)
*Cc:* Simon Peyton Jones; Edward Kmett; ghc-devs@haskell.org
*Subject:* Re: Broken Data.Data instances
Philip
I think the main reason for the WrongPhase thing is to have something
-devs@haskell.org
Subject: Re: Broken Data.Data instances
And I dipped my toes into the phabricator water, and uploaded a diff to
https://phabricator.haskell.org/D153
I left the lines long for now, so that it is clear that I simply added
parameters to existing type signatures.
On Tue, Aug 12, 2014
,
Philip
*From:* Alan Kim Zimmerman [mailto:alan.z...@gmail.com]
*Sent:* maandag 28 juli 2014 14:10
*To:* Holzenspies, P.K.F. (EWI)
*Cc:* Simon Peyton Jones; Edward Kmett; ghc-devs@haskell.org
*Subject:* Re: Broken Data.Data instances
Philip
I think the main reason
]
*Sent:* maandag 28 juli 2014 14:10
*To:* Holzenspies, P.K.F. (EWI)
*Cc:* Simon Peyton Jones; Edward Kmett; ghc-devs@haskell.org
*Subject:* Re: Broken Data.Data instances
Philip
I think the main reason for the WrongPhase thing is to have something
that explicitly has a Data and Typeable
Subject: Re: Broken Data.Data instances
Philip, Alan,
If you need a hand, I'm happy to pitch in guidance.
I've had to mangle a bunch of hand-written Data instances and push out patches
to a dozen packages that used to be built this way before I convinced the
authors to switch to safer versions
; Simon Peyton Jones; ghc-devs
*Subject:* Re: Broken Data.Data instances
Philip, Alan,
If you need a hand, I'm happy to pitch in guidance.
I've had to mangle a bunch of hand-written Data instances and push out
patches to a dozen packages that used to be built this way before I
convinced
...@gmail.com]
Sent: maandag 28 juli 2014 11:14
To: Simon Peyton Jones
Cc: Edward Kmett; Holzenspies, P.K.F. (EWI); ghc-devs
Subject: Re: Broken Data.Data instances
I have made a conceptual example of this here http://lpaste.net/108262
Alan
On Mon, Jul 28, 2014 at 9:50 AM, Alan Kim Zimmerman
alan.z
them twice. Any ideas on this, Edward?
Regards,
Philip
From: Alan Kim Zimmerman [mailto:alan.z...@gmail.com]
Sent: maandag 28 juli 2014 11:14
To: Simon Peyton Jones
Cc: Edward Kmett; Holzenspies, P.K.F. (EWI); ghc-devs
Subject: Re: Broken Data.Data instances
I have made a conceptual example
,
Philip
From: Alan Kim Zimmerman [mailto:alan.z...@gmail.com]
Sent: maandag 28 juli 2014 14:10
To: Holzenspies, P.K.F. (EWI)
Cc: Simon Peyton Jones; Edward Kmett; ghc-devs@haskell.org
Subject: Re: Broken Data.Data instances
Philip
I think the main reason for the WrongPhase thing is to have something
,
Philip
*From:* Alan Kim Zimmerman [mailto:alan.z...@gmail.com]
*Sent:* maandag 28 juli 2014 14:10
*To:* Holzenspies, P.K.F. (EWI)
*Cc:* Simon Peyton Jones; Edward Kmett; ghc-devs@haskell.org
*Subject:* Re: Broken Data.Data instances
Philip
I think the main reason
. (EWI)
*Cc:* Simon Peyton Jones; Edward Kmett; ghc-devs@haskell.org
*Subject:* Re: Broken Data.Data instances
Philip
I think the main reason for the WrongPhase thing is to have something
that explicitly has a Data and Typeable instance, to allow generic (SYB)
traversal. If we can get
removable).
Regards,
Philip
Van: Alan Kim Zimmerman [alan.z...@gmail.com]
Verzonden: vrijdag 25 juli 2014 13:44
Aan: Simon Peyton Jones
CC: Holzenspies, P.K.F. (EWI); ghc-devs@haskell.org
Onderwerp: Re: Broken Data.Data instances
By the way, I would be happy
[alan.z...@gmail.com]
*Verzonden:* vrijdag 25 juli 2014 13:44
*Aan:* Simon Peyton Jones
*CC:* Holzenspies, P.K.F. (EWI); ghc-devs@haskell.org
*Onderwerp:* Re: Broken Data.Data instances
By the way, I would be happy to attempt this task, if the concept is
viable.
On Thu, Jul 24, 2014 at 11:23
, P.K.F. (EWI); ghc-devs@haskell.org
*Onderwerp:* Re: Broken Data.Data instances
By the way, I would be happy to attempt this task, if the concept is
viable.
On Thu, Jul 24, 2014 at 11:23 PM, Alan Kim Zimmerman
alan.z...@gmail.com wrote:
While we are talking about fixing traversals
*CC:* Holzenspies, P.K.F. (EWI); ghc-devs@haskell.org
*Onderwerp:* Re: Broken Data.Data instances
By the way, I would be happy to attempt this task, if the concept is
viable.
On Thu, Jul 24, 2014 at 11:23 PM, Alan Kim Zimmerman
alan.z...@gmail.com wrote:
While we are talking about
@haskell.org
*Onderwerp:* Re: Broken Data.Data instances
By the way, I would be happy to attempt this task, if the concept is
viable.
On Thu, Jul 24, 2014 at 11:23 PM, Alan Kim Zimmerman
alan.z...@gmail.com wrote:
While we are talking about fixing traversals, how about getting rid
]
Verzonden: vrijdag 25 juli 2014 13:44
Aan: Simon Peyton Jones
CC: Holzenspies, P.K.F. (EWI); ghc-devs@haskell.org
Onderwerp: Re: Broken Data.Data instances
By the way, I would be happy to attempt this task, if the concept is viable.
On Thu, Jul 24, 2014 at 11:23 PM, Alan Kim Zimmerman
--
*Van:* Alan Kim Zimmerman [alan.z...@gmail.com]
*Verzonden:* vrijdag 25 juli 2014 13:44
*Aan:* Simon Peyton Jones
*CC:* Holzenspies, P.K.F. (EWI); ghc-devs@haskell.org
*Onderwerp:* Re: Broken Data.Data instances
By the way, I would be happy to attempt this task
divergence (which it might well be), and (b) the pitfalls are documented.
Simon
*From:* Philip K.F. Hölzenspies [mailto:p.k.f.holzensp...@utwente.nl]
*Sent:* 24 July 2014 18:42
*To:* Simon Peyton Jones
*Cc:* ghc-devs@haskell.org
*Subject:* Re: Broken Data.Data instances
Dear Simon, et
GHC's data structures are often mutually recursive. e.g.
* The TyCon for Maybe contains the DataCon for Just
* The DataCon For just contains Just's type
* Just's type contains the TyCon for Maybe
So any attempt to recursively walk over all these structures, as you would
Dear Simon, et al,
These are very good points to make for people writing such traversals
and queries. I would be more than happy to write a page on the pitfalls
etc. on the wiki, but in my experience so far, exploring the innards of
GHC is tremendously helped by trying small things out and
*To:* Simon Peyton Jones
*Cc:* ghc-devs@haskell.org
*Subject:* Re: Broken Data.Data instances
Dear Simon, et al,
These are very good points to make for people writing such traversals and
queries. I would be more than happy to write a page on the pitfalls etc. on
the wiki, but in my experience
26 matches
Mail list logo