Re: [Haskell-cafe] TemplateHaskell forces manual declaration ordering?

Good catch! Hurray for improving docs. Ben On Wednesday, 21 May 2014 12:37:42, Michael Alan Dorman < mdorman@ironicdesign.com> wrote:

"edwardsbenj@gmail.com" writes:

...

I was making the naive assumption that if OP didn't know about it then it wasn't prominent. That perhaps was a little hasty. There is a discussion of this very thing in the official user guide. First section, 7.16.1. Syntax.

I'm assuming you're referring to the subsection that begins:

* The type environment seen by reify includes all the top-level declaration up to the end of the immediately preceding declaration group, but no more.

So I'll just note that the text you refer to---which does, as you note, lay out those limitations---is new with 7.8, and I was using the docs for the compiler version I'm using, 7.6.3.

http://www.haskell.org/ghc/docs/7.6.3/html/users_guide/ template-haskell.html

Perhaps it would have made sense to consult the latest docs, but then it also refers to typed TH expression and other things that don't exist in 7.6.3. :)

Mike.