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 19 years ago

Closed 19 years ago

Last modified 18 years ago

#408 closed defect (fixed)

A DatCh with W TimeSet makes TOL remain in suspense

Reported by: imendez Owned by: Víctor de Buen Remiro
Priority: highest Milestone:
Component: TimeSetAlgebra Version: head
Severity: blocker Keywords:
Cc:

Description

Hi,

TOL remains in suspense when this code is compiled:

WriteLn("1");
Serie srCeros = CalInd(W, Diario);
WriteLn("2");
TimeSet tms = SerTms(srCeros);
WriteLn("3");
Serie AutoCeros= DatCh(srCeros, tms, FirstS);
WriteLn("4");
Serie AutoCeros = DatCh(srCeros, W, FirstS);

The critical point is the evaluation of 'tms' when I try to create 'AutoCeros'.
If you don't try to create this series, all seems working right (due to the
laziness of TOL).

By the way, a metaphysical question: is allowable to make a DatCh into a null
timeset as W?

Regards

Change History (5)

comment:1 Changed 19 years ago by danirus

Status: new → assigned

comment:2 Changed 19 years ago by Víctor de Buen Remiro

Owner: changed from danirus to Víctor de Buen Remiro
Status: assigned → new

comment:3 Changed 19 years ago by Víctor de Buen Remiro

Status: new → assigned

comment:4 Changed 19 years ago by Víctor de Buen Remiro

Resolution: → fixed
Status: assigned → closed

Problem has been solved in CVS

Thanks to report it

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_000408
Note: See TracTickets for help on using tickets.