Parse error on sequence constraint

[yodang]

Hello !

I have encountered a parsing issue with this ASN.1 module:
https://forge.etsi.org/rep/ITS/asn1/sec_ts103097/-/blob/release2/EtsiTs103097Module.asn

I narrowed it down to the following expressions which both try to set a constraint on a list of elements.
On line 41:
certificate ((WITH COMPONENT (EtsiTs103097Certificate))^(SIZE(1)))
On line 45:

recipients  (WITH COMPONENT (
        (WITH COMPONENTS {..., 
          pskRecipInfo ABSENT,
          symmRecipInfo ABSENT,
          rekRecipInfo ABSENT
        })
      ))

As far as I can tell, this occurs before any of the imported modules are needed.

Cheers

[kurkpitaine]

I had those issues on the same standard.
These constraints are safe to ignore at compile stage, but you need to implement them yourself.
Example of what I have done available here.

[Nicceboy]

I am soon making PR in rasn/standards to include these as well with all checks.

[kurkpitaine]

If you have a repo where I can grab these @Nicceboy

[Nicceboy]

If you have a repo where I can grab these @Nicceboy

They are currently in private repo but I will let you know. There is still some work to do as I wanted to add build pattern constructors. Maybe that is something that compiler could also support some day, or it would be derive macro in rasn. There are few third-party crates that provides these but I am not sure yet if they are the best option.