The feature of visible type applications was added in PureScript 0.15.10. However, currently in PureScript IDE, whenever the source code contains the @ symbol, many features of the IDE stop working, such as Type info tooltips, Go to definition, and Code lenses. Here's a (slightly contrived) example:
Not sure if this is a purs ide issue.
Versions:
purs 0.15.15
PureScript IDE 0.26.3
The feature of visible type applications was added in PureScript 0.15.10. However, currently in PureScript IDE, whenever the source code contains the @ symbol, many features of the IDE stop working, such as Type info tooltips, Go to definition, and Code lenses. Here's a (slightly contrived) example:
Not sure if this is a
purs ideissue.Versions:
purs 0.15.15
PureScript IDE 0.26.3