Project

General

Profile

Support #916

use command: unhelpful error if you use := instead of ::=

Added by John Abbott over 7 years ago. Updated over 3 years ago.

Status:
New
Priority:
Normal
Assignee:
-
Category:
enhancing/improving
Target version:
Start date:
25 Aug 2016
Due date:
% Done:

0%

Estimated time:
Spent time:

Description

Here is an excerpt from a CoCoA session containing a "typo" (OK, it's 33 degrees here, and I wasn't concentrating)

>>> use S := QQ[t[1..2]];
--> ERROR: I was expecting a semicolon but I've found ":=" 
--> use S := QQ[t[1..2]];
-->       ^^

The error message is unhelp to newcomers to CoCoA-5; can we improve the error message?


Related issues

Related to CoCoA-5 - Feature #657: use command, ring syntax, RingOfNew2015-01-20

History

#1 Updated by John Abbott over 3 years ago

The relevant source code seems to be Parser::parseUseStatement around line 356 in Parser.C.

What should the behaviour be if := is found instead of ::=?
Error? Warning (and assume that ::= was meant)?

#2 Updated by John Abbott over 3 years ago

  • Related to Feature #657: use command, ring syntax, RingOf added

Also available in: Atom PDF