Open hasufell opened 4 years ago
Thanks for the report. I can reproduce. On master this is down to a warning by the power of the errors-fall-back-on-exactprint feature, but that simply leaves it non-reformatted.
It is possible to work around this by prefixing the (~)
, (in this case (~) ro 'RO
) but that is a bit sad. Need to implement -XTypeOperator
support, see #271.
Even though technically a duplicate, I'll leave this open because type equality might be a bit more common than other type operators. And maybe we can prioritise this over the full type operators; those might be a can of worms if we wish to support precedences.
fails to be parsed/formatted with:
works fine. Both compile and are the same in GHC.