Re: [Haskell-cafe] Bug in SYB, SYB-documentation or GHC-API (or I messed up somewhere)

2012-05-14 Thread Philip K . F . Hölzenspies
Dear Pedro, On 13 May 2012, at 20:29, José Pedro Magalhães wrote: > On Fri, May 11, 2012 at 5:12 PM, "Philip K. F. Hölzenspies" > wrote: > > However, it turns out that this never leads to an evaluation of > extTyNamesLoc. I've come as far as to see that, since "Located a" is a > synonym for

Re: [Haskell-cafe] Bug in SYB, SYB-documentation or GHC-API (or I messed up somewhere)

2012-05-13 Thread José Pedro Magalhães
Hi Philip, On Fri, May 11, 2012 at 5:12 PM, "Philip K. F. Hölzenspies" < p...@st-andrews.ac.uk> wrote: > > However, it turns out that this never leads to an evaluation of > extTyNamesLoc. I've come as far as to see that, since "Located a" is a > synonym for "GenLocated SrcSpan a", the type we're

[Haskell-cafe] Bug in SYB, SYB-documentation or GHC-API (or I messed up somewhere)

2012-05-11 Thread Philip K. F. Hölzenspies
Dear Haskelers, Since I don't quite know whether this is a SYB-thing or a GHC-specific thing, I figured this report should go here. If not, kindly redirect. I am trying to write a program, using the GHC-API to refactor some parts of the GHC-code (initially, I want to add a type variable to the