Opened 16 years ago

Closed 16 years ago

#198 closed defect (fixed)

PointerTest: record test has infinite recursion

Reported by: Stephen Siegel Owned by: Stephen Siegel
Priority: major Milestone: Release 1.0
Component: dynamic Version: 1.0
Keywords: Cc:

Description

Test pointers/PointerTest.simpleRecordTest fails because of an infinite recursion in the value type system when there is a cycle in the type relation. (A similar problem occurred in the static type system of the model but was fixed a while ago.)

Change History (3)

comment:1 by zirkel, 16 years ago

Status: newaccepted

comment:2 by zirkel, 16 years ago

Owner: changed from zirkel to Stephen Siegel
Status: acceptedassigned

comment:3 by Stephen Siegel, 16 years ago

Resolution: fixed
Status: assignedclosed

Solved, with some significant modifications to the value type system, described in the javadocs. The test passes now, though more thorough testing is needed, especially to see if the isomorphism flyweight technique really works.

Note: See TracTickets for help on using tickets.