parse error on input ‘@’ does not suggest TypeApplications
Motivation
The error message triggered below does not suggest enabling TypeApplications:
just5 = Just @Int 5
-- parse error on input ‘@’
Proposal
just5 = Just @Int 5
-- parse error on input ‘@’
-- Did you mean to enable TypeApplications?
This would likely allow HLS pick up and allow adding the pragma semi-automatically. Would also suggesst the correct solution in 90% of the cases I see this message :)
For context:
intHead = head @int
-- Pattern syntax in expression context: head@Int
-- Did you mean to enable TypeApplications?