Loading ATS/core_language/06_types_and_values/0605_automatic_type/060507_value_lists/Sem_060507_value_lists_002.ttcn +2 −1 Original line number Diff line number Diff line Loading @@ -5,7 +5,8 @@ module Sem_060507_value_lists_002 { type component GeneralComp {} function verifyType(inout universal charstring v) { type record of universal charstring MyRecord; function verifyType(inout MyRecord v) { setverdict(pass); } Loading Loading
ATS/core_language/06_types_and_values/0605_automatic_type/060507_value_lists/Sem_060507_value_lists_002.ttcn +2 −1 Original line number Diff line number Diff line Loading @@ -5,7 +5,8 @@ module Sem_060507_value_lists_002 { type component GeneralComp {} function verifyType(inout universal charstring v) { type record of universal charstring MyRecord; function verifyType(inout MyRecord v) { setverdict(pass); } Loading