Ticket #72 (closed defect: fixed)

Opened 4 years ago

Last modified 4 years ago

Missing _OT$getTeam() method after moving a role

Reported by: stephan Owned by: stephan
Priority: minor Milestone: OTDT_1.2.2
Component: compiler.adaptor Version: 1.1.6
Keywords: Cc:

Description

Given a structure like in #71, use cut&paste in the editor to move a role from outer level to inner level. This produces a compile-time error: 

The method _OT$getTeam() is undefined for the type Dozent<@tthis[PublicUniversity]>

This error seems to be quite sticky (survives restarting eclipse even).

Workaround: Project->Clean.

Change History

Changed 4 years ago by stephan

  • milestone set to OTDT_1.2.0

Changed 4 years ago by stephan

  • milestone changed from OTDT_1.2.0 to OTDT_1.2.1

Changed 4 years ago by stephan

  • milestone changed from OTDT_1.2.1 to OTDT_1.2.2

Changed 4 years ago by stephan

  • status changed from new to closed
  • resolution set to fixed

Cannot reproduce any more in head.

Perhaps recent improvements towards resilience actually produce the method in question. See r18919 ff.

Note: See TracTickets for help on using tickets.