Dear Template Haskell folk I've now arranged that nameBase (mkName "Foo.baz") == "baz" nameModule (MkName "Foo.baz") == "Foo" as you might expect. There is a difference between the result of calling mkName, and a quoted name e.g 'map. The former is dynamically bound and the latter is lexically bound. Because there's a difference, I've made them print differently in the pretty printer Foo.baz for the dynamically bound one Foo:baz for the lexically scoped one This might break someone's code. Maybe they should both print as "Foo.baz"? There is no Haddock documentation to speak of in the TH libraries. Would someone (Ian?) like to add some? Simon | -----Original Message----- | From: Keean Schupke [mailto:k.schupke@imperial.ac.uk] | Sent: 21 December 2004 15:31 | To: Simon Peyton-Jones | Cc: template-haskell@haskell.org | Subject: Re: [Template-haskell] Re: template-haskell names in 6.3 | | It won't make a difference right now, so you can leave it out for now, | but I think it should work... | | Keean. | | Simon Peyton-Jones wrote: | | >aha, that's a good question. | > | >Hmm. It probably ought to work (though it won't today). Would it make | >a difference? | > | >S | > | >| -----Original Message----- | >| From: Keean Schupke [mailto:k.schupke@imperial.ac.uk] | >| Sent: 21 December 2004 14:03 | >| To: Simon Peyton-Jones | >| Cc: template-haskell@haskell.org | >| Subject: Re: [Template-haskell] Re: template-haskell names in 6.3 | >| | >| So does this work? | >| | >| nameModule (mkName "Foo.Bar") | >| | >| Keean. | > | > | >