[GHC] #1800: Template Haskell support for running functions defined in the same module

[GHC]

#1800: Template Haskell support for running functions defined in the same  module
------------------------------+---------------------------------------------
 Reporter:  simonpj           |          Owner:         
     Type:  feature request   |         Status:  new    
 Priority:  normal            |      Milestone:  _|_    
Component:  Template Haskell  |        Version:  6.6.1  
 Severity:  normal            |     Resolution:         
 Keywords:                    |     Difficulty:  Unknown
 Testcase:                    |   Architecture:  Unknown
       Os:  Unknown           |  
------------------------------+---------------------------------------------
Comment (by simonpj):

 Replying to [comment:4 fons]:

 > Others might not agree, but at least for me, the lack of the feature
 requested in this ticket is the biggest practical limitation of Template
 Haskell.

 I rather agree -- that's why I created the ticket.  But, even with a
 brutal compile-everything approach it's not straightforward to implement
 this feature.  At the moment there is no plumbing to feed stuff right
 through the code generator before type checking is complete.  Monomorphism
 makes it more complicated: consider
 {{{
 n = 45 + 23
 ...
 x = n + 1 ::Int
 }}}
 Today, `n`'s (monomorphic) type is resolved to `Int`, but only at the end
 of the module; until then we can't generate code for it.

 Nothing really difficult, but these tiresome interactions take time to
 think through and resolve.

 Meanwhile, folks, if you care about this feature, add yourselves to the cc
 list.

 Simon

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1800#comment:5>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler