Opened 5 years ago

Closed 5 years ago

#7009 closed bug (fixed)

Add function forallC

Reported by: boris Owned by: pcapriotti
Priority: normal Milestone: 7.6.1
Component: Template Haskell Version: 7.4.2
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


As for template-haskell there are Q monad functions corresponding to three of four Con constructors (NormalC, RecC, InfixC, ForallC). Could you please add

forallC :: [TyVarBndr] -> CxtQ -> ConQ

Change History (2)

comment:1 Changed 5 years ago by pcapriotti

difficulty: Unknown
Milestone: 7.6.1
Owner: set to pcapriotti
Type: feature requestbug

Thanks for the report. The forallC function is actually already there, but is not being exported in Language.Haskell.TH.

comment:2 Changed 5 years ago by pcapriotti

Resolution: fixed
Status: newclosed


commit 6814bbd64814c618299b1ff0f9cf4fba955d6632
Author: Paolo Capriotti <>
Date:   Tue Jun 19 17:17:05 2012 +0100

    Re-export forallC in Language.Haskell.TH (#7009)
Note: See TracTickets for help on using tickets.