Opened 8 years ago

Last modified 3 years ago

#1830 new feature request

Automatic derivation of Lift

Reported by: guest Owned by:
Priority: normal Milestone:
Component: Template Haskell Version: 6.8.1
Keywords: Cc: alfonso.acosta@…, vogt.adam@…
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Revisions:


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] [2]

Change History (7)

comment:1 Changed 8 years ago by igloo

  • difficulty set to Unknown
  • Milestone set to 6.10 branch

We should aim to decide something in time for 6.10.

comment:3 Changed 7 years ago by simonmar

  • Architecture changed from Unknown to Unknown/Multiple

comment:4 Changed 7 years ago by simonmar

  • Operating System changed from Unknown to Unknown/Multiple

comment:5 Changed 6 years ago by igloo

  • Milestone changed from 6.10 branch to _|_

comment:6 Changed 5 years ago by aavogt

  • Cc vogt.adam@… added
  • Type of failure set to None/Unknown

comment:7 Changed 3 years ago by morabbin

Bump; worth looking at merging th-lift again?

Note: See TracTickets for help on using tickets.