[Template-haskell] TH version 2

[Simon Peyton-Jones]

Folks

Further to recent to-ing and fro-ing, I have now

	a) Committed the most recent version of TH to the HEAD.  You'll
have to
	build from source to get it, or grab a development snapshot
	
	b) Brought the "notes" document more or less up to date
		http://research.microsoft.com/~simonpj/tmp/notes2.ps

Do have a read of the new "notes".  It's quite a bit more coherent than
before.  There are chunks that are not yet implemented (notably,
splicing into binding positions), and differences of detail (e.g. the
error reporting).  But the new Name stuff is all there, and the new
reification stuff.

Type splices next (should not take long).  

Many long-standing bugs are fixed.  For example

	f x = $( [| x |] )

now works (and more interesting examples with similar flavour).

Please send feedback to the list.

Simon