
#12371: Error message, room for improvement
-------------------------------------+-------------------------------------
Reporter: Iceland_jack | Owner:
Type: bug | Status: merge
Priority: normal | Milestone:
Component: Compiler | Version: 8.0.1
Resolution: | Keywords:
| TypeApplications
Operating System: Unknown/Multiple | Architecture:
Type of failure: Incorrect | Unknown/Multiple
warning at compile-time | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Rev(s):
Wiki Page: |
-------------------------------------+-------------------------------------
Changes (by simonpj):
* status: new => merge
Comment:
Fixed in HEAD by
{{{
commit e38c07bf5ceb8f50fa5110b70b3b83f0ce1358ba
Author: Matthew Pickering