VAR Test BASE RELATION { A0 INT } INIT ( RELATION { TUPLE { A0 999 } } ) KEY { A0 };
Ok.
VAR Test1 BASE RELATION { A0 INT } INIT ( DEE ) KEY { A0 };
ERROR: Variable of type RELATION {A0 INTEGER} cannot be initialised with an expression of type RELATION {}
Line 1
VAR Test2 BASE RELATION { A0 INT } INIT ( DUM ) KEY { A0 };
ERROR: Variable of type RELATION {A0 INTEGER} cannot be initialised with an expression of type RELATION {}
Line 1
I was not clear enough about what I was trying to do. I was trying to insert, into a relvar which has a RVA, values which contained an empty relation for the RVA. After some experimentation I have found the following works.