Wiki

Ticket #362 (closed defect: fixed)

Opened 4 years ago

Last modified 4 years ago

False compilation error for invariants from other namespaces

Reported by: Charles Owned by:
Priority: medium Milestone:
Component: Cobra Compiler Version: 0.9.6
Keywords: Cc:

Description

The following code declares an invariant which is then implicitly used and inlined by a subclass in a different namespace. The code generation fails to fully qualify a reference to the base type which results in a false error about the type not being found.

namespace Foo


class A

	invariant
		.isSomething
	
	pro isSomething from var as bool


namespace Baz

use Foo


class B inherits A

	pass


class P

	def main
		pass

Change History

Changed 4 years ago by Charles

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

Fixed in changeset:3101

Note: See TracTickets for help on using tickets.