#1830: Automatic derivation of Lift
--------------------------------+-------------------------------------------
Reporter: guest | Owner:
Type: feature request | Status: new
Priority: normal | Component: Template Haskell
Version: 6.8.1 | Severity: normal
Keywords: | Testcase:
Architecture: Unknown | Os: Unknown
--------------------------------+-------------------------------------------
This feature request was brought up in this template-haskell thread[1]:
There are apparently two implementation alternatives:
1) Merge Ian's th-lift library[2] with the mainstream template-haskell
library
2) Implement "instance Data a => Lift a" (requires allowing undecidable
and overlapping instances) in template-haskell. Since Data can be derived
automatically by GHC, such an instance would imply automatic derivation of
Lift as well.
[1] http://www.haskell.org/pipermail/template-
haskell/2007-October/000635.html
[2] http://hackage.haskell.org/cgi-bin/hackage-scripts/package/th-lift-0.2
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1830>
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
