Opened 2 months ago

Last modified 11 days ago

#8761 new feature request

Make pattern synonyms work with Template Haskell

Reported by: goldfire Owned by:
Priority: normal Milestone: 7.8.3
Component: Template Haskell Version:
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Difficulty: Unknown
Test Case: Blocked By:
Blocking: Related Tickets:

Description

Template Haskell has no support for pattern synonyms. This should be added.

Specifically:

  • Create syntax in Language.Haskell.TH.Syntax and corresponding functions in Language.Haskell.TH.Lib
  • Support in DsMeta for desugaring pattern synonym quotations. See rep_bind.
  • Support in Convert for splicing in pattern synonyms.
  • Support in TcSplice for reifying pattern synonyms. See reifyThing.

Change History (4)

comment:1 Changed 2 months ago by thoughtpolice

  • Milestone set to 7.8.2
  • Version 7.8.1-rc1 deleted

This isn't going to be done in time for 7.8.1 at least.

comment:2 Changed 2 months ago by thoughtpolice

Or, well, unless you propose to add it (very soon), Richard. :)

comment:3 Changed 2 months ago by goldfire

No. My thought is that the TH interface should (barring some large disaster) remain stable from the RC to the released version. That way, packages that use TH can test against the RC and be confident that their code will work against the release. Even if I were to implement it today (no plans to), I wouldn't recommend merging. I created the ticket just as a reminder (to anyone) that this should be done.

comment:4 Changed 11 days ago by thoughtpolice

  • Milestone changed from 7.8.2 to 7.8.3
Note: See TracTickets for help on using tickets.