Ticket #362 (closed defect: fixed)
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
Note: See
TracTickets for help on using
tickets.