Compiler enters infinite loop on inheritance by same type #77

Closed
ross2jd opened this Issue Oct 5, 2015 · 1 comment

Projects

None yet

2 participants

@ross2jd
ross2jd commented Oct 5, 2015

Consider the following incorrect model:

abstract LogicalBus : LogicalBus
    xor type
        CAN
        LIN

bus1 : LogicalBus

The compiler will output the following:

clafer -m choco debug.cfr 
All clafers: 5 | Abstract: 1 | Concrete: 4 | Reference: 0
Constraints: 0
Goals: 0

The Clafer process then hangs and does not complete. This type of inheritance should not be allowed and should throw an compile error.

@mantkiew mantkiew added this to the 0.4.3 milestone Oct 21, 2015
@mantkiew mantkiew self-assigned this Oct 21, 2015
@mantkiew
Member

The same happens for a model:

abstract A : B
abstract B : A
@mantkiew mantkiew closed this Dec 2, 2015
@mantkiew mantkiew referenced this issue Dec 11, 2015
Merged

Release 0.4.3 #81

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