[Template-haskell] RE: Template Haskell...

[Simon Peyton-Jones]

| However, I realise that there are philosophical and implementation
| oriented problems with the idea.  Firstly, being able to reify code
| from another module means that all .hi files would bloat to many times
| their size as they now have to contain reified versions of the
| declarations in the modules and all this just in case someone happens
| to want to reify the declaration somewhere else.

Yes, that's my primary objection... but I suppose we could have the
-fbloat-hi-files flag!
Let's see how things look when the dust has settled on the current
iteration

Simon