Ticket #222 (closed defect: fixed)

Opened 3 years ago

Last modified 3 years ago

role files can be named differently from contained role type

Reported by: mosconi Owned by: stephan
Priority: major Milestone: OTDT_1.3.0_M3
Component: compiler Version: 1.2.7
Keywords: Cc:

Description

If the name of a role file does not match the name of the type defined in it, the compiler should report an error as for regular types.

Change History

Changed 3 years ago by stephan

  • status changed from new to closed
  • resolution set to fixed
  • milestone set to OTDT_1.3.0_M3

Test is in 1.5.23-otjld-wrong-filename-1, implementation in r21553.

Note: See TracTickets for help on using tickets.