close Warning: Can't synchronize with repository "(default)" (/var/svn/tolp does not appear to be a Subversion repository.). Look in the Trac log for more information.

Opened 20 years ago

Closed 20 years ago

Last modified 18 years ago

#263 closed defect (fixed)

No casting is performed over an element of a Set

Reported by: asalafranca Owned by: danirus
Priority: normal Milestone:
Component: Kernel Version: 1.1.3
Severity: normal Keywords:
Cc: Chakib Faghloumi

Description

In the code below Tol behaives different when an object is an ordinary variable
or the element of a set
Set s = 1?;
Real r = 1;
Polyn p1 = r; works
Polyn p2 = s[1];
error
Serie ser = r; works
Serie ser2 = s[1];
error

Change History (5)

comment:1 Changed 20 years ago by danirus

Status: newassigned

comment:2 Changed 20 years ago by danirus

Cc: Chakib Faghloumi added

comment:3 Changed 20 years ago by danirus

* Bug 265 has been marked as a duplicate of this bug. *

comment:4 Changed 20 years ago by danirus

Resolution: fixed
Status: assignedclosed

Bug fixed. This bug was discussed in "Usuarios-Tol" at "lists.tol-project.org":
http://www.tol-project.org/pipermail/usuarios-tol/2005-May/000435.html

EvElement function has been modified.

If both grammars (sentence and element grammars) were different, a casting will
be done, and after that, we can determine whether the result is acceptable or not.

comment:5 Changed 18 years ago by Víctor de Buen Remiro

bug_file_loc: http://cvs.tol-project.org/viewcvs.cgi/tol_tests/tol/Bugzilla/bug_000263
Note: See TracTickets for help on using tickets.