Add UInfixT, like UInfixE or UInfixP but for types

TemplateHaskell provides UInfixE and UInfixP for punting fixity handling of infix operators in expressions and patterns. There doesn't seem to be an equivalent for type operators in TH's type representation, but it would be nice to have one.

(In fact, it doesn't appear possible to implement this manually, either, as the TemplateHaskell doesn't expose fixity information at all for type operators, at least as far as I can tell.)

Trac metadata

Trac field	Value
Version	7.10.1
Type	FeatureRequest
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Template Haskell
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture

changed weight to 5

added Tfeature request TemplateHaskell Trac import labels

Happy to support a newcomer in addressing this deficiency.

added newcomer label

For reference: the (one-line) implementation of UInfixP and the corresponding "Converting UInfix" note.

Addressing this looks fairly straightforward.

(1) Add a new UInfixT Type Name Type data constructor to the declaration of Language.Haskell.TH.Syntax.Type.

(2) Add a new branch to cvtTypeKind with a one-to-one conversion to HsOpTy. Then the renamer already handles restructuring the tree.

I'll try my hand at it myself when I get the time, if no one has taken it up by then.

Without looking at the code myself, this sounds entirely reasonable to me. Thanks!

assigned to @trac-spinda

Trac metadata

Trac field	Value
Differential revisions	- → D1088

mentioned in commit 21782739

closed

Trac metadata

Trac field	Value
Resolution	Unresolved → ResolvedFixed

changed milestone to %8.0.1

added Pnormal label