Description G??bor Szalai 2020-04-14 03:06:55 EDT

The following subtyping is a valid according to the standard but not accepted by the TITAN:

  type set r1  {
    charstring  f1,
    charstring  f3 optional
  } 


type r1 r1s ({f3:=omit})

proba.ttcn:10.14-24: error: Field `f1' is missing from set value

6.2.13.2:
When constraining record and set types, templates of the expanded list defined using the value list notation shall be valid (i.e. complete) templates, while templates of the expanded list defined using the field assignment notation may be partial (i.e. incomplete). In the latter case, the fields that are not explicitly present shall be considered as containing AnyValue for mandatory fields and AnyValueOrNone for optional fields.