input-output-hk / input-output-hk/cuddle
Cuddle does not properly generate `.and` rules
Open
bug
- Dominant language
- Haskell
- Stars
- 7
- Forks
- 5
- PR merge metrics
- No merged PRs in 30d
Description
```
➜ cuddle git:(js/validator) ✗ gen ctrland std-cddl/int.cddl; pretty
01 # unsigned(1)
```
Where `ctrland` is defined as:
```
ctrland = (uint .lt 3) .and (uint .gt 1)
```
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.