using base inside an invariant causes COBRA INTERNAL ERROR

[nevdelap]

Minimal test code:

class A

	var x = 1

class B inherits A

	invariant
		base.x <> 0

class P

	def main
		b = B()

error: COBRA INTERNAL ERROR / InvalidOperationException / Operation is not valid due to the current state of the object

Without base compilation is successful, (with warning b not used of course).

[Chuck]

Are you okay with an error message for using "base" in an invariant? Is "base" ever needed there?

[Charles]

bump

[Charles]

Fixed in changeset:2724