Project

General

Profile

Support #1034

Improve error message when args to (infix operator) IsIn have incompatible types

Added by John Abbott over 7 years ago.

Status:
New
Priority:
Low
Assignee:
-
Category:
enhancing/improving
Target version:
CoCoA-5.?.?
Start date:
17 Mar 2017
Due date:
% Done:

0%

Estimated time:

Description

The infix operator IsIn accepts many different combinations of arg types.
However, for some non-sensical combinations it gives "sub-optimal" error messages.

For instance,

S := "hello";
1 IsIn S;
--> ERROR: Expecting type STRING, but found type INT
--> 1 IsIn S;
--> ^

Also available in: Atom PDF