Skip to content

No way at all to set fixity for infix operators defined in template haskell

There appears to be no way to create fixity declarations in template haskell.

As a result, I can define a complicated sequence of infix identifiers in a template Haskell expression, but I still have to go through and hand-enter the {infixl, infixr, infix} declarations at the top. Admittedly the fixities it creates won't be used by the current module, but importers of the module should still see them.

There is a precedent for template Haskell handling some fixity concerns because all of the Info pieces of template Haskell tell you the fixities of the infix operators in question.

Trac metadata
Trac field Value
Version 6.6.1
Type Bug
TypeOfFailure OtherFailure
Priority normal
Resolution Unresolved
Component Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system Multiple
Architecture Multiple
Edited by guest
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information