cddl
cddl copied to clipboard
`.and` operator not fully supported?
I have this CDDL snippet:
m = non-empty<{
? 0 => "zero"
}>
non-empty<M> = (M) .and ({ + any => any })
which produces this error:
> docker run -i --rm -v $PWD:/data -w /data ghcr.io/anweiss/cddl-cli:latest compile-cddl --cddl non-empty.cddl
error: parser errors
┌─ input:5:20
│
5 │ non-empty<M> = (M) .and ({ + any => any })
│ ^^^^ expected rule identifier followed by an assignment token '=', '/=' or '//='
Error: "Parser error"
It looks like .and
is not fully supported?
Hmmm, thanks for reporting @thomas-fossati. It should be supported but it may be the way in which the crate is being compiled for the container image. Will take a look.