Changes between Initial Version and Version 1 of Ticket #5348


Ignore:
Timestamp:
Apr 26, 2017 10:11:06 AM (3 years ago)
Author:
Jonathan Kämpe
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #5348 – Description

    initial v1  
    4646end Test5;
    4747}}}
     48
     49Here's a model that gives exception when processed as a unit test, but not as a regular compilation:
     50{{{
     51    type A = enumeration(a1, a2);
     52   
     53    record B
     54        A a;
     55    end B;
     56   
     57    model C
     58        constant B b = B(A.a1);
     59    end C;
     60   
     61    model D
     62        extends C (b = b);
     63    end D;
     64   
     65    D d;
     66}}}