Constructed types and subtyping

[Ingmar Dasseville]

Constructed types kunnen geen ISA aan.

[Broes De Cat]

Kan je een voorbeeld geven van wat je wilde schrijven?

[Ingmar Dasseville]

    type Proposition 
    type CTLProp constructed from {EX(CTLProp),AX(CTLProp),EG(CTLProp),AG(CTLProp),AF(CTLProp),EF(CTLProp),EU(CTLProp,CTLProp),AU(CTLProp,CTLProp),FOL(FOLProp),NOT(CTLProp)} isa Proposition

Error: syntax error, unexpected ISA, expecting NEWLINE At ctl.idp:5:175

[Ingmar Dasseville]

for the record:

type CTLProp isa Proposition constructed from {EX(CTLProp),AX(CTLProp),EG(CTLProp),AG(CTLProp),AF(CTLProp),EF(CTLProp),EU(CTLProp,CTLProp),AU(CTLProp,CTLProp),FOL(FOLProp),NOT(CTLProp)}

werkt ook niet

[Broes De Cat]

Die zijn nog niet geimplementeerd hoor, was gewoon geinteresseerd in het voorbeeldje ;) Ik denk dat je het voorlopig mss wel kan omdraaien: type Proposition contains CTLProp. Maar zie ook de nieuwe bug die ik gefiled heb over een stackoverflow (daar kijk ik morgen eens naar).

[Bart Bogaerts]

Dit is bewust niet toegelaten.

Het was nooit duidelijk wat de semantiek precies moest zijn. Waarop mag/moet je autocompleten? welke nestingen mogen precies? Wat als constructor functies twee keer voorkomen? ... ?

Er waren dus te veel open vragen om het al te implementeren. Als je de semantiek netjes neerschrijft, heb ik er geen problemen mee...

[Bart Bogaerts]

Fishy workaround: subtypes van constructed types kunnen wel isa aan.

http://dtai.cs.kuleuven.be/krr/idp-ide/?src=41d341b9349acebef9877b4df25bb546

Maar dit vereist dat je in de structuur wat werk doet en is extreem lelijk.