DSL should permit `sN[M] ++ uN[N] -> sN[M+N]` in the type system
Open
dslx
enhancement
good first issue
- Dominant language
- C++
- Stars
- 1.9k
- Forks
- 283
- Avg merge
- 2d 10h
- Merged PRs (30d)
- 135
Description
As pointed out by a user, sign bits being on the left hand side has a reasonable mathematical interpretation, scaling by 2**N and then adding the LHS, and doesn't do anything funky with the interpretation of the signed number's sign bit.
Contributor guide
Assessment
This issue has not been assessed yet.