[erlang-bugs] asn1ct compiler bug with parametrized types

[Зражевский Максим Александрович]

Hi,

I found the strange bug when compiling ASN.1 specification:

T DEFINITIONS IMPLICIT TAGS ::=
BEGIN

Sub{Type} ::= SEQUENCE {
     val Type
}

Base{Type, TypeExt} ::= CHOICE {
     v1 [0] Type,
     v2 [1] TypeExt,
     v3 [2] Sub{Type}
}

-- Impl ::= Base{INTEGER, REAL} -- Hangup asn1 compiler


SubOk{TypeOk} ::= SEQUENCE {
     val TypeOk
}

BaseOk{Type, TypeExt} ::= CHOICE {
     v1 [0] Type,
     v2 [1] TypeExt,
     v3 [2] SubOk{Type}
}

Impl1 ::= BaseOk{INTEGER, REAL}


END