Ticket #1673 (new feature request)

Opened 10 months ago

Last modified 2 weeks ago

Template Haskell support for type families

Reported by: g9ks157k@acme.softbase.org Assigned to:
Priority: low Milestone: 6.10 branch
Component: Template Haskell Version: 6.7
Severity: normal Keywords:
Cc: hpacheco@gmail.com, ganesh@earth.li, mjm2002@gmail.com Difficulty: Unknown
Test Case: Architecture: x86
Operating System: Linux

Description

Would it be possible to add support for analyzing and generating type family stuff to Template Haskell?

Change History

09/10/07 00:58:44 changed by simonpj

  • priority changed from normal to low.

I don't think this is likely to happen any time soon.

TH has a data type for Haskell programs, completely separate from GHC's data type. This is a strength because it brings stablity, but a weakness because it means it always lags a long way behind.

In the case of type families, we barely have them working in GHC, so it'd might be a bit soon to dump them into TH. And even when they are stable there's the question of who will do the design and implementation. Perhaps some TH users can join in!

Meanwhile I'll put this as low priority.

Simon

11/05/07 15:59:40 changed by igloo

  • milestone set to 6.10 branch.

I've put this in the 6.10 milestone for now, but it would probably need someone to jump in and implement it.

03/31/08 13:49:53 changed by ganesh

  • cc set to ganesh@earth.li.

04/07/08 21:11:19 changed by hpacheco

  • cc changed from ganesh@earth.li to hpacheco@gmail.com.

04/07/08 21:11:45 changed by hpacheco

  • cc changed from hpacheco@gmail.com to hpacheco@gmail.com, ganesh@earth.li.

04/07/08 21:19:00 changed by hpacheco

Myself, I would simply like to be able to write TH code to automatically generate type family instances. However, I understand it is not a very important feature.

06/19/08 15:39:51 changed by morrow

  • cc changed from hpacheco@gmail.com, ganesh@earth.li to hpacheco@gmail.com, ganesh@earth.li, mjm2002@gmail.com.