#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_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
