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