Project

Profile

Help

Actions
Send by e-mail Copy link

Bug #2233

closed

Poor diagnostics on type error with higher-order function

Added by Michael Kay about 10 years ago. Updated almost 9 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Michael Kay
Category:
Diagnostics
Sprint/Milestone:
9.6.0.3
Start date:
2014-11-21
Due date:
% Done:

100%

Estimated time:
Legacy ID:
Applies to branch:
9.6
Fix Committed on Branch:
9.6
Fixed in Maintenance Release:
9.6.0.3
Platforms:

Description

Given a higher-order function call such as

filter((1 to 5), upper-case#1)

which generates a type error because upper-case() expects a string rather than an integer, the diagnostics incorrectly state that the expected type of the second argument of filter() is xs:string.

Please register to edit this issue

Actions
Send by e-mail Copy link

Also available in: Atom PDF