Cannot inherit from a nested abstract clafer which itself has a superclafer #78

mantkiew opened this Issue Oct 21, 2015 · 0 comments


None yet

1 participant


This is a bug in implementation of issue #67.

For the following correct model:

abstract Object

abstract Person : Object
    abstract Hand : Object
    abstract Hook : Hand

CptHookHand : Person
    left : Hook
    right : Hand

CptHandHook : Person
    left : Hand
    right : Hook

the compiler incorrectly reports:

Refinement errors in the following places:
Improperly nested clafer 'Hook' on line 7 column 5

However, changing the model as follows:

abstract Person
    abstract Hand : Object
    abstract Hook : Hand

compiles without any errors.

@mantkiew mantkiew self-assigned this Oct 21, 2015
@mantkiew mantkiew added this to the 0.4.3 milestone Oct 21, 2015
@mantkiew mantkiew added a commit that referenced this issue Dec 2, 2015
@mantkiew mantkiew fixed #78, added regression tests 7df8ef3
@mantkiew mantkiew closed this Dec 2, 2015
@mantkiew mantkiew referenced this issue Dec 11, 2015

Release 0.4.3 #81

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment