• Maxime Perrotin's avatar
    Detect more type mismatch · 6a69775b
    Maxime Perrotin authored
    TypeA ::= SEQUENCE {
      a SEQUENCE (SIZE (2)) OF BOOLEAN
    }
    
    TypeB ::= SEQUENCE {
      a SEQUENCE (SIZE(2)) OF BOOLEAN
    }
    
    dcl a TypeA, b TypeB;
    a!a := b!a
    now rightfully raises an error, even if the types seem semantically
    equivalent- they are two different types, and Ada would not compile
    accept that.
    6a69775b
To learn more about this project, read the wiki.
README.md 10.9 KB