Ticket #216 (closed defect: fixed)
using base inside an invariant causes COBRA INTERNAL ERROR
Reported by: | nevdelap | Owned by: | nevdelap |
---|---|---|---|
Priority: | minor | Milestone: | |
Component: | Cobra Compiler | Version: | 0.8.0 |
Keywords: | Cc: |
Description
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).
Change History
Note: See
TracTickets for help on using
tickets.