ASN.1 questions

[Victor M. Gulias]

A couple of questions about the ASN.1 compiler. Could some of you tell me why
the following definition (from the SET specification) does not compile?

---------------
P2
DEFINITIONS EXPLICIT TAGS ::=
BEGIN


SETString { INTEGER:10 } ::= CHOICE {
     visibleString  VisibleString (SIZE(1..10)),
     bmpString      BMPString (SIZE(1..10))
  }

END
----------------

% erlc -bber P2.asn
Erlang ASN.1 version "1.2.7" compiling "/home/lfcia/gulias/work/set/ejemplos/SET/1/P2.asn" 
Compiler Options: [fast,
                   ber,
                   report_errors,
                   {cwd,'/home/lfcia/gulias/work/set/ejemplos/SET/1'},
                   {outdir,"/home/lfcia/gulias/work/set/ejemplos/SET/1"}]
"syntax error before: " ["'INTEGER'"] at line 6
Compiler function asn1ct:compile_asn/3 returned:
{error,{6,["syntax error before: ",["'INTEGER'"]]}}
make: *** [all] Error 1

-----------------

If we remove the { INTEGER:10 } from the LHS of the definition it
seems to work fine.

Also, the ASN.1 compiler uses per and ber to code the types. What
about *der* encoding?

Regards,

-- 
Victor M. Gulias